You must enable JavaScript to use this site
  • Workshops & Tutorials (Organiser: Osman Hasan)

    Workshop Proposals

    Proposals for workshops to be held at CICM 2018 are solicited. Both well-established workshops and newer or brand new ones are encouraged.

    Some of the workshops that have been held at past CICM meetings are:

    • Automated Reasoning: Bridging the Gap between Theory and Practice
    • Compact Computer Algebra
    • Empirically Successful Automated Reasoning for Mathematics
    • Formal Mathematics for Mathematicians
    • Intelligent Proof Search
    • Mathematical user Interfaces
    • Mathematics Information Retrieval
    • OpenMath
    • Pen-Based Mathematical Computation
    • Programming languages for Mechanized Mathematics Systems
    • Proof Engineering
    • SCIEnce
    • The Notion of Proof
    • User Interfaces for Theorem Provers

    Please provide the following information:

    • Workshop title
    • Names and affiliations of organizers
    • Brief description of workshop goals and/or topics
    • Proposed workshop duration (half a day up to two days)
    • If the workshop has met previously, the recent conference affiliations

    Tutorial Proposals

    Tutorial topics should have a direct relevance to any topic in the scope of CICM. Tutorials may be focus on theoretical methods or practical systems. We especially welcome tutorials with a hands-on component.

    Please provide the following information:

    • Tutorial title
    • Names and affiliations of organizers
    • Brief description of tutorial’s goals and/or topics
    • Tutorial duration (half or up to two days)
    • Relationship to previous tutorials (if any).

    CICM will take care of copying and distributing informal printed proceedings for workshops/tutorials (if the organizers wish that) as well as permanently archiving open access online proceedings with Workshop and Tutorial proposals should be submitted via easychair.
  • News

    • CICM is over
    • award winners online
    • detailed program online
    • accepted papers online
    • registration open
    • program overview online
    • deadline extended: April 22 (abstract), April 29 (paper)
    • 6 workshops accepted
    • 3 invited speakers
    • CfP and CfW available
    • PC completed
    • initial website online
Privacy policy and legal information
Last modified: April 04 2018 09:42:34 CEST