spid***@l*****.by
О себе
Система компьютерной алгебры GAP - Combining Systems for Efficient and Scalable Reasoning
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Call for papers The workshop Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08) will be held as part of the 4th Int. Joint Conference on Automated Reasoning (IJCAR'08) in Sydney, Australia. Workshop website: http://www.dfki.de/cosyscare/ Workshop dates: 10/11 August 2008 Submission deadline: 31 May 2008 Large-scale reasoning can be a daunting task, so in the past this problem has been broken down into smaller parts to be attacked independently. This has allowed us to build powerful theor...
Система компьютерной алгебры GAP - UNIF'08: Second Call for papers
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
UNIF 2008 22nd International Workshop on Unification http://www.score.cs.tsukuba.ac.jp/~mmarin/UNIF2008/ July 18, 2008, Castle of Hagenberg, Austria Important Dates - Title & abstract: April 28, 2008 Paper submission: May 5, 2008 Notification: June 2, 2008 Final version: June 23, 2008 Workshop: July 18, 2008 Background - UNIF is the main international meeting on unification. The aim of UNIF 2008 is to bring together people interested in unification, present recent (even unfinished) work, and discuss ne...
Система компьютерной алгебры GAP - ECCAD'2008
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
The 15-th Annual East Coast Computer Algebra Day (ECCAD'2008) Shepherd University Shepherdstown, WV, USA May 10, 2008 Free Ristration is available online now at http://www.shepherd.edu/eccad2008 Second Call For Participation ECCAD is an annual conference that provides opportunities to learn and share new developments and to present research results in the areas of symbolic and mathematical computation. The meeting includes invited talks and contributed poster/software demo sessions, covering the breadth of...
Система компьютерной алгебры GAP - Issue 163 of ACM Communications in Computer Algebra
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Добрый день! Вышел выпуск 163 журнала ACM Communications in Computer Algebra (CCA. Его содержание публикуется ниже. Этот и предыдущие выпуски доступны на сайте http://www.sigsam.org/cca/ . (Для этого нужно сначала зарегистрироваться на http://portal.acm.org/ , регистрация бесплатна) С уважением, Коновалов А.Б. ACM Communications in Computer Algebra, Vol. 42, No. 1, March 2008 FORMALLY REVIEWED ARTICLES Reasoning in Symbolic Computation, Michael P. Barnett, pp. 1-17 ABSTRACTS AMS Special Session on Applicat...
Система компьютерной алгебры GAP - GUAVA and AutomGrp packages
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Добрый день! Вышла новая версия 3.3 пакета GUAVA , а также версия 1.1.3 пакета AutomGrp . В связи с этим обновлены архив пакетов на сайте системы GAP и дистрибутив GAP для Windows . С уважением, Коновалов А.Б. ...
Система компьютерной алгебры GAP - XX Escola de Algebra, IMPA, August 11-15, 2008
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Dear all: The XX Escola de Algebra, the 20th edition of the biannual Brazilian meeting of algebraists, will take place at IMPA, Rio de Janeiro, from August 11 to 15, 2008. There is already a page set up on the web with information about the event; please see http://www.impa.br/opencms/pt/eventos/store/evento_0024 The page is still evolving, so please bookmark it and check it every other week from now on. On that page you will find a preliminary list of speakers, the timetable, the organizing committee, inf...
Система компьютерной алгебры GAP - ISSAC 2008: online registration opens May 15
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
The organizers invite you to attend ISSAC 2008 International Symposium on Symbolic and Algebraic Computation RISC, Hagenberg, Austria, July 20-23, 2008 http://www.risc.uni-linz.ac.at/issac2008/ The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier annual conference to present and discuss new developments and original research results in all areas of symbolic mathematical computation. Planned activities include invited presentations, research papers, poster sessions, tutor...
Система компьютерной алгебры GAP - Compulog/ALP Summer School
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Computational Logic SCHOLARSHIPS AVAILABLE! 3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic Sponsored by CRA-W, CDC, ALP, Compulog Americas, NMSU http://www.cs.nmsu.edu/~ipivkina/compulog.htm New Mexico State University Las Cruces, NM, USA July 24-27, 2008 The third international summer school in Logic Programming and Computation Logic will be held on the campus of New Mexico State University in beautiful Las Cruces, New Mexico. The summer school is intended for gr...
Система компьютерной алгебры GAP - ICLP'08 calls for papers and workshops
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
CALL FOR PAPERS ICLP'08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE - Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers, position papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, ...
Система компьютерной алгебры GAP - Abel Prize 2008
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Абелевская премия 2008 Джон Томпсон и Жак Титс объявлены лауреатами Абелевской премии за 2008 г. за выдающиеся достижения в области алгебры и, в частности за их вклад в формирование современной теории групп. Объявляя о своем решении, Комитет по присуждению Абелевской премии указывает, что Томпсон революционизировал теорию конечных групп, получив чрезвычайно глубокие результаты которые легли в основу классификации простых конечных групп - одного из величайших достижений математики двадцатого века. Джон Томп...