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

• Wednesday 9:00-10:00 UITP WorkshopChair: Cezary Kaliszyk, West Hall 2 Wolfgang Windsteiger. Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System (9:00-9:30) Mikheil Rukhaia, Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Daniel Weller and Bruno Woltzenlogel Paleo. ProofTool: GUI for the GAPT Framework (9:30-10:00) Unrelated 10:00-10:30 Unrelated Coffee Unrelated Coffee 10:30-12:30 UITP WorkshopChair: Christoph Lüth, West Hall 2 Makarius Wenzel. READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking (10:30-11:00) Vincent Rahli. Interfacing with Proof Assistants for Domain Specific Programming Using EventML (11:00-11:30) Andrei Lapets, Richard Skowyra, Christine Bassem, Assaf Kfoury and Azer Bestavros. Towards an Infrastructure for Integrated Accessible Formal Reasoning Environments (11:30-12:00) Mihnea Iancu and Florian Rabe. An MMT-Based User-Interface (12:00-12:30) OpenMath WorkshopWest Hall 1 Welcome and general discussion (10:30-10:45) Ken Wenzel and Heiner Reinhardt. Mathematical Computations for Linked Data Applications with OpenMath (10:45-11:15) Olga Caprotti and Jordi Saludes. The Gf Mathematical Grammar Library (11:15-11:45) OpenMath Society Business Meeting (open to all workshop participants) (11:45-12:30) 12:30-14:00 Lunch 14:00-15:30 Doctoral ProgrammeChair: Serge Autexier, West Hall 2 Rui Hu. Pen-Based Collaboration Tools for Mathematics (14:00-14:30) Alin Iacob. Knowledge Management Integration in Computer-Aided Design (14:30-15:00) Fulya Horozal. Representing Declarative Languages and their Translations (15:00-15:30) MathUI WorkshopChair: Paul Libbrecht, West Hall 1 Hans Cuypers and Jan Willem Knopper. MathDox Select: A tool for creating SCORM packages from existing exercises (14:00-14:30) Andrea Kohlhase. Navigation in Mathematical Documents (14:30-15:00) Paul Libbrecht. Skills Text Box A Tool to Access Resources by Mathematical Concepts (15:00-15:30) 15:30-16:00 Unrelated Coffee Unrelated Coffee 16:00-18:00 Doctoral ProgrammeChair: Serge Autexier, West Hall 2 Moritz Schubotz. Content based Formula Search (16:00-16:30) Randa Almomen. Semantic Understanding of Mathematical Formulae in Documents (16:30-17:00) David Wilson. Real Geometry and Connectedness via Triangular Descriptions (17:00-17:30) Unrelated this conferenceChair: Michael Kohlhase, Campus Center/IRC, Library, 5th Floor Stephen Wolfram. Special Address (19:00-20:00) (Video) this conferenceChair: Michael Kohlhase, Campus Center/IRC, Library, 5th Floor Stephen Wolfram. Special Address (19:00-20:00) (Video)

• 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 07 2025 09:42:40 CEST