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

Система компьютерной алгебры GAP: CFP COLA'09: Computational Logic with Applications

= EPIA 2009 - 14th PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE October 12-15, Universidade de Aveiro, Portugal http://epia2009.appia.pt/ THEMATIC TRACK: COLA - COmputational Logic with Applications = The integration of new complex intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deducti...

2009-03-25 14:06:47 + Комментировать

Система компьютерной алгебры GAP: JSC Special Issue on Symbolic Computation in Software Science

= JOURNAL OF SYMBOLIC COMPUTATION Special Issue on Symbolic Computation in Software Science = DEADLINE EXTENSION - Due to numerous requests, the submission deadline is extended to 30 March 2009. WEB PAGE - http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-scss.html ...

2009-03-25 08:16:42 + Комментировать

Система компьютерной алгебры GAP: Latin-American Algebra Colloquium

Dear Colleagues, You may know already that the next "Latin-American Algebra Colloquium" (its 18th edition) will be held in Sa~o Pedro (a city not very far from Sa~o Paulo, Brazil, from August 3rd to August 8th, 2009. See http://www.ime.usp.br/~xviiicla/ We have been asked to organize the session of "Representations of Algebras. In this session, we are planing to have some invited talks and also some contributed ones. The purpose of this message is to invite all the colleagues which are interested in attend...

2009-03-25 03:40:39 + Комментировать