[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Participation: MACIS 2011

[Apologies if you receive multiple copies]

MACIS 2011 - Fourth International Conference on
Mathematical Aspects of Computer and Information Sciences
Beijing, China, October 19-21, 2011



MACIS is a series of conferences where foundational research on
theoretical and practical problems of mathematics for computing and
information processing may be presented and discussed. MACIS also
addresses experimental and case studies, scientific and engineering
computation, design and implementation of algorithms and software
systems, and applications of mathematical methods and tools to
outstanding and emerging problems in applied computer and information
sciences. Each conference focuses on two or three themes.

The themes for MACIS 2011 are:

- Design and Analysis of Complex Systems
- Numeric and Symbolic Constraint Solving
- Cryptography and Coding Theory


Martin Fraenzle (University of Oldenburg, Germany)
"Engineering Arithmetic Constraint Solvers
  for the Analysis of Hybrid Discrete-Continuous Systems"

Mark Giesbrecht (University of Waterloo, Canada)
"Sparsity and Complexity in Algebraic Computation"

Katsuhisa Horimoto (National Institute of
                     Advanced Industrial Science and Technology, Japan)
"A Constraint for Optimal Parameter Estimation
  to Solve an Issue of Molecular Network Models in Systems Biology"

Chaochen Zhou (Institute of Software, Chinese Academy of Sciences)
"Verifying Programs with Support from Computer Algebra"

For abstracts and the list of accepted papers see


and for registration