Conferences on Intelligent Computer Mathematics 2010

CICM 2010 Programme

Details of the programme tracks can be found by clicking on the sessions in the timetable, or by event (below):

Monday
July 5, 2010

SCIEnce⁽¹⁾

SCIEnce⁽¹⁾

Invited talk⁽¹⁾
J. Davenport

SCIEnce⁽¹⁾

SCIEnce⁽¹⁾

AISC⁽¹⁾ Business Meeting

Tuesday
July 6, 2010

	Invited talk⁽¹⁾ B. Salvy
CCA⁽²⁾
EUDML^(6,7)
CMTC⁽⁵⁾

AISC⁽¹⁾
CCA⁽²⁾
EUDML^(6,7)
CMTC⁽⁵⁾

Keynote talk⁽¹⁾
J. Campbell
J. Calmet

Calculemus⁽¹⁾

Calculemus⁽¹⁾

Calculemus⁽¹⁾ Business Meeting

Wednesday
July 7, 2010

Invited talk⁽¹⁾
A. Asperti

Calculemus⁽¹⁾

Calculemus⁽¹⁾

Invited talk⁽¹⁾
M. Suzuki

CMTC + DP⁽⁸⁾

CMTC + DP⁽⁸⁾

DML⁽¹⁾ Business Meeting

Thursday
July 8, 2010

Invited talk⁽³⁾
J. Carette

Invited talk⁽²⁾
P. Cartier

CMTC + DP⁽⁸⁾

CMTC + DP⁽⁸⁾

CICM⁽²⁾ Business Meeting

Social Event
Banquet

Friday
July 9, 2010

TH Colloquium⁽³⁾

TH Colloquium⁽³⁾

Invited talk(1)
D. Zeilberger

TH Colloquium⁽³⁾

TH Colloquium⁽³⁾

MKM⁽¹⁾ Business Meeting

Saturday
July 10, 2010

Amphitheaters and rooms:

(1) ≡ Amphi C (Abbé Grégoire)
(2) ≡ Amphi Y (Jean-Baptiste Say)
(3) ≡ Amphi Z (Robert Faure)
(4) ≡ Amphi PP (Paul Painlevé)

(5) ≡ Room 11.A3.33
(6) ≡ Room 11.A2.31
(7) ≡ Room 11.A2.32
(8) ≡ Room 31.3.03