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

Система компьютерной алгебры GAP: Call for papers: Towards a Digital Mathematics Library (DML

Call for papers: Towards a Digital Mathematics Library (DML 2009) July 8-9th, 2009, Ontario, CA c/o CICM 2009 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2009.html Deadlines: April 29th: abstract submissions May 4th: paper submissions May 22nd: paper acceptance/rejection decision May 29th: versions for the proceedings due Jul 8th: workshop date, proceedings on site Submissions: http://www.easychair.org/conferences?conf=dml2009 Submissions will be refereed on the basis of technical quality, novelty, ...

2009-03-26 22:55:09 + Комментировать

Система компьютерной алгебры GAP: 2009 Workshop on Automated Reasoning

CALL FOR PAPERS 2009 Workshop on Automated Reasoning Bridging the Gap between Theory and Practice http://www.csc.liv.ac.uk/~arw09/ 21st - 22nd April 2009 University of Liverpool Deadline for submissions of extended abstracts: 31st March 2009 Topics - The workshop will cover the full breadth and diversity of automated reasoning and will include topics such as: * Theorem proving in classical and non-classical logics * Reasoning systems and mechanisms: - Description logics - Equational reasoning, unification ...

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

Система компьютерной алгебры GAP: Abel Prize 2009 !!!

Академия наук Норвегии приняла решение присудить Абелевскую Премию за 2009 г. Михаилу Леонидовичу Громову Постоянному профессору Института высших научных исследований (IHE'S, Франция за его революционизирующий вклад в геометрию http://www.abelprisen.no/en/ ...

2009-03-26 15:35:39 + Комментировать

Система компьютерной алгебры GAP: Abel Prize 2009 !!!

Академия наук Норвегии приняла решение присудить Абелевскую Премию за 2009 г. Михаилу Леонидовичу Громову Постоянному профессору Института высших научных исследований (IHE'S, Франция за его революционизирующий вклад в геометрию http://www.abelprisen.no/en/ ...

2009-03-26 15:32:21 + Комментировать