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).