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. |
11th Conference on Intelligent Computer Mathematics
CICM 2018
August 13-17, 2018
RISC, Hagenberg, Austria
You must enable JavaScript to use this site
-
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