[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
http://macis2011.cc4cm.org/ CALL FOR PARTICIPATION 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 INVITED SPEAKERS 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 http://macis2011.cc4cm.org/index_Program.htm and for registration http://macis2011.cc4cm.org/index_Registration.htm _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
