Home Organization Program Participants Pictures Satellites Travel Info

Calculemus 2007 will be held jointly with MKM 2007. Calculemus will be surrounded by the following workshops on topics of related interest.

  • WING 2007 (Workshop on Invariant Generation; June 25/26)
  • PLMMS 2007 (Workshop on Programming Languages for Mechanized Mathematics; June 29/30)

MKM 2007 will be surrounded by three workshops. The overall structure of the program is as follows.

Sa 23rd So 24th Mo 25th Tue 26th Wed 27th Thu 28th Fri 29th Sat 30th




WING 2007
CALCULEMUS 2007 PLMMS 2007
W3C face2face OpenMath/MathML/JEM 2007 MathUI 2007
MKM 2007

The Calculemus/MKM meeting is part of the RISC Summer conference series which includes the following events:

  • CoCoA School (June 18--20)
  • SCIEnce Training Event (June 24--July 8)
  • MEGA 2007 (June 24--30)
  • AB 2007 (July 2--4)
  • ISPDC 2007 (July 5--7)

Please consult the RISC Summer homepage for further details. Here are some further events on related subjects:

  • ICIAM07: 6th International Congress on Industrial and Applied Mathematics; July 16--20