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

Система компьютерной алгебры GAP: Conferences on Intelligent Computer Mathematics (CICM) 2009



Conferences on Intelligent Computer Mathematics (CICM) 2009

6-12 July 2009, Grand Bend, Ontario (CANADA)

First Announcement and Call For Workshops

www.orcca.on.ca/conferences/cicm09

This summer past, the Artificial Intelligence and Symbolic Computation
(AISC),
Calculemus and Mathematical Knowledge Management (MKM) conferences
were co-located
in Birmingham, together with a number of related workshops.

This combined event was named the "Conferences on Intelligent Computer
Mathematics"
(CICM), and allowed attendees to conveniently attend a number
conferences and workshops.

The second CICM will take place next summer in Grand Bend, Ontario
from July 6 to July 12.
This follows shortly after the Applications of Computer Algebra
conference in Montreal.

The scheduled events for CICM 2009 include the

* 9th International Conference on Mathematical Knowledge Management
(MKM 2009)

* 16th Symp. on the Integration of Symbolic Computation & Mechanised
Reasoning
(Calculemus 2009)

* 2nd Workshop Towards a Digital Mathematics Library
(DML 2009)

* 4th Mathematical User Interfaces Workshop
(MathUI 2009)

* 2nd Compact Computer Algebra Workshop
(CCA 2009)

* 3rd Pen-Based Mathematical Computation
(PenMath 2009)

There is a limited opportunity to hold additional events as part of
CICM 2009.
Proposals for additional workshops are invited. Please sumit proposals
to

Stephen M. Watt, CICM 2009 General Chair, <Stephen.Watt@uwo.ca>.

Proposals received by Monday, 15 December 2008 will receive priority.

В избранное