Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP: Three Spring conferences

- 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...

2010-01-12 17:45:20 + Комментировать

Система компьютерной алгебры GAP: Ninth Algorithmic Number Theory Symposium

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 ...

2010-01-12 00:45:50 + Комментировать

Система компьютерной алгебры GAP: Topological Methods for the Study of Discrete Structures

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...

2010-01-12 00:45:35 + Комментировать

Система компьютерной алгебры GAP: Artificial Intelligence and Symbolic Computation

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...

2010-01-12 00:45:20 + Комментировать