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

Система компьютерной алгебры GAP: 27th International Conference on Logic Programming (ICLP 2011)

= FIRST CALL FOR PAPERS 27th International Conference on Logic Programming (ICLP 2011) Theory and Practice of Logic Programming Lexington, Kentucky, USA, July 6-10, 2011 Submission deadline: Jan 10/17, 2011 http://www.cs.uky.edu/iclp2011/ = CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not rest...

2010-12-13 15:45:48 + Комментировать

Система компьютерной алгебры GAP: Workshop 'Discrete Groups and Geometric Structures'

Dear Colleagues, We are pleased to announce the 4-th edition of the workshop Discrete Groups and geometric Structures, with Applications IV = Crystallographic Groups and their Generalizations VI) which will be held at Oostende (Belgian Coast, from May 30 to June 2, 2011. The program of the last two days of this workshop will be dedicated to the memory of Fritz Grunewald, who was involved in the organization and the program of all previous editions. The main speakers for this conference are M. Bridson (Oxfo...

2010-12-13 15:15:57 + Комментировать

Система компьютерной алгебры GAP: Hereditarily just infinite groups

Dear all, We would like to remind you about the one-day meeting on Hereditarily just infinite groups which is to take place at Royal Holloway, University of London, on Friday 17 December 2010. This meeting will introduce newcomers to hereditarily just infinite groups and then move on to cover recent results, constructions and open problems from a profinite perspective. For more details visit the web site http://www.ma.rhul.ac.uk/profinite_groups/meetings.html (note that the meeting will be held in McCrea B...

2010-12-13 15:05:34 + Комментировать

Система компьютерной алгебры GAP: Second International Conference on Order, Algebra and Logics

= SECOND ANNOUNCEMENT = SECOND INTERNATIONAL CONFERENCE ON ORDER ALGEBRA AND LOGICS (Honoring Ralph McKenzie, Hiroakira Ono and Andrzej Wronski on the occasion of their 70th Birthdays) http://2oal.tcs.uj.edu.pl June 6-10, 2011, Krakow, POLAND = This meeting shares the goals of the conference with the same title, held Nashville in June 2007, and continues the tradition of related conferences in Prague, Novi Sad and Szeged. Recent years have witnessed increased research activity on the interface between logi...

2010-12-13 14:55:27 + Комментировать

Система компьютерной алгебры GAP: PhD studies in Computer Algebra and Semantics of Mathematics at Bath

PhD studies in Computer Algebra and Semantics of Mathematics at Bath Apply by January 18th 2011 to be considered for University Research Studentships Applications are invited for PhD study in the Mathematical Foundations of Computation research group at the University of Bath. Our staff include James Davenport, John ffitch, Russell Bardford and Julian Padget. We welcome students interested in any aspects of computer algebra, and its relationship to the semaantics of mathematics such as OpenMath/MathML. The...

2010-12-13 14:55:18 + Комментировать