CP 2010 The 16th International Conference on Principles and Practice of Constraint Programming is the annual conference on all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. The CP 2010 conference is due to be held in St Andrews, Scotland between the 6th and 10th of September 2010. Revisit http://cp2010.cs.st-andrews.ac.uk/ nearer the time for more information. ...

ANB 2010 International Conference on Algebraic and Numeric Biology July 31 - August 2, 2010 Castle of Hagenberg, Austria http://www.risc.uni-linz.ac.at/conferences/anb2010/ AIMS AND SCOPE = Since 2005, we are organizing an international conference "Algebraic Biology" that focuses on the application of computer algebra, automated reasoning, hybrid algebraic and numeric computation, which is also called symbolic computation, to all types of problems from biology: AB'05, AB'07, and AB'08. These conferences we...

Parallel Symbolic Computation 2010 International Workshop 21st - 23rd July 2010 Grenoble, France http://www.orcca.on.ca/conferences/pasco2010/site/index.html ...

Stefan Banach International Mathematical Center event: A conference GROUPS AND THEIR ACTIONS Bedlewo (near Poznan, Poland August 23, 2010 (arrival day) - August 28, 2010 (departure day) webpage: http://mat.polsl.pl/groups Main Speakers: B. Eick (Braunschweig, Germany, R. Grigorchuk (Texas A&M, USA, E. Jespers (Brussels, Belgium, W. Kimmerle (Stuttgart, Germany, A. Klyachko (Moscow, Russia, P. Kropholler (Glasgow, UK, A. Olshanskii (Nashville, USA and Moscow Russia, D. Revin (Novosibirsk, Russia, R. Schmidt...

Winter School SHAPES, ALGEBRA, GEOMETRY AND ALGORITHMS MARCH, 15-19 2010 Auron - France Important date: 15th February = Supported by EC through the Marie Curie ITN Network SAGA Web site: http://www.saga-network.eu AIMS AND SCOPE This workshop aims at supporting the exchange of ideas between the fields of Algebraic Geometry, Numerical Analysis, and Geometric Modeling. Topics of interest include: * Geometry of curves and surfaces. * Rational/implicit representation. * Resultant constructions and implicitizat...

МАЛЬЦЕВСКИЕ ЧТЕНИЯ 2010 извещение о конференции Институт математики им. С.Л. Соболева СО РАН и Новосибирский государственный университет при поддержке Российского фонда фундаментальных исследований организуют традиционную международную конференцию "МАЛЬЦЕВСКИЕ ЧТЕНИЯ. В 2010 году конференция посвящается 70-летию со дня рождения академика Юрия Леонидович Ершова. Конференция пройдет в г. Новосибирске со 2 по 6 мая 2010 года. К участию приглашаются специалисты по теории групп, теории колец, универсальной алге...

- Combinatorics, Groups, Algorithms, and Complexity Conference in honor of Laci Babai's 60th birthday March 21-25, 2010 (Sunday - Thursday) The Ohio State University, Columbus, Ohio http://www.babai60.org/ - Conference Arithmetic of Group Rings and Related Objects March 22 to March 26, 2010 in Aachen, Germany http://www.math.rwth-aachen.de/~Florian.Eisele/ArithGrpRng/ - ISCHIA GROUP THEORY 2010 NH Ischia Thermal SPA Resort (former Jolly Hotel, Ischia - Naples, Italy, April, 14th - 17th, 2010 http://www.dmi...

THIRD AND FINAL CALL FOR PAPERS ANTS-IX Ninth Algorithmic Number Theory Symposium The 9th Algorithmic Number Theory Symposium ANTS-IX will be held in Nancy (LORIA) on July 19-23, 2010. Since their inception in 1994, the biennial ANTS meetings have become the premier international forum for the presentation of new research in computational number theory. They are devoted to algorithmic aspects of number theory, including elementary number theory, algebraic number theory, analytic number theory, geometry of ...

Dear colleague, This is the third announcement for the conference to be held at CIRM, Marseille, France, from March 01, 2010 to March 05, 2010. Topological Methods for the Study of Discrete Structures You will find information on the website: http://www.lirmm.fr/MathInfo2010 Plenary speakers are: * Ron Aharoni * Herbert Edelsbrunner * Konstantin Mischaikow Each speaker will give courses during the mornings. The afternoons will be devoted to more informal working sessions, with shorter talks and discussions...

AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 CALL FOR PAPERS Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied...