You must enable JavaScript to use this site
  • CICM gave out awards for individual submissions in four categories roughly organized by the 2x2 matrix of {theory,practice} x {result, presentation of result}. The decisions were made by the PC chairs taking both the PC's reviews and votes by the CICM attendees into account.

    Best Paper & Best Presentation of a Paper

    The program chairs presented the best paper award and the award for best presentation of a paper to Alexander Maletzky and his absent co-author Fabian Immler for their paper Groebner Bases of Modules and Faugere's F4 Algorithm in Isabelle/HOL.

    Best System

    The program chairs presented the best system award to Yutaka Nagashima and Julian Parsert for their system described in the paper Goal-Oriented Conjecturing for Isabelle/HOL.

    Best Demo of a System

    The program chairs presented the best demo award to Richard Marcus for his demo of the TGView3D system for Immersive Theory Graph Exploration.
  • 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: September 04 2018 15:06:50 CEST