You must enable JavaScript to use this site

• • General Information
  • Call for Papers
  • Important Dates
  • Submission
  • Programme Overview
  • Day schedule
  • All Talks and Events
  • Venue
  • Registration and Accommodation
  • Travel Information
  • Student Grants

• Detailed Programme Sunday 8. July Monday 9. July Tuesday 10. July Wednesday 11. July Thursday 12. July Friday 13. July 9:00-10:00 MIR systems introductions [M13] [M5] [M8] [M10] [M1] [WIP4] [WIP5] [I1] [uitp1] [uitp3] [I2] [I3] 10:00-10:30 Coffee Coffee Coffee Coffee Coffee Coffee Coffee 10:30-12:30 MIR Happening (formulae search, document search and open search categories) [R4] [R20] [P1] [R22] [R30] [R32] [R21] [uitp2] [uitp4] [uitp5] [uitp7] [OM0] [OM1] [OM2] [OM3] [R2] [R7] [R10] [R24] [R16] 11:30-12:30: Calculemus Business meeting 12:30-14:00 Lunch Lunch Lunch Lunch Lunch Lunch 14:00-15:30 MIR Invited videolecture [M12] [R13] [R36] [R17] [R5] [R8] [R25] [DP4] [DP5] [DP3] [MUI1] [MUI2] [MUI3] [] [R6] [Teasers2] [R14] [R29] [R37] 15:30-16:00 Coffee Coffee [Teasers1] Coffee Coffee Coffee Coffee Coffee 16:00-18:00 MIR Workshop papers II and other announcements, discussions, demos, position papers [M4] [M3] [M6] [M9] [M2] [M7] [M11] [R23] [R31] [R19] [WIP1] [WIP2] [R12] [R3] [R18] [R38] [R26] [R9] [R27] [R34] [DP6] [DP2] [DP7] [R11] [R1] [R15] [WIP3] 17:00-18:00: CICM Business meeting [R33] [R28] [R35] End of CICM 2012 18:00-18:30: DML Business meeting 18:30-19:00: MKM Business meeting 18:15 -- 19:45: Bremen Old City Centre Tour 20:00 -- : Conference Dinner at "Kaffee Mühle" [C1] [C1] 18:00 -- 19:45: Excursion 20:00 -- : Conference Dinner at "Zur Gläsernen Werft"

• News

  • CICM 2012 is over. CICM 2013 will be in Bath, UK, organized by James Davenport
  • Special Address by Stephen Wolfram
  • Venue Information
  • Travel Information
  • Registration is open
  • Accepted papers online
  • Schedule reorganized

  
  

  
  

Last modified: September 15 2025 22:07:19 CEST