David Booth
Enrico Franconi
Gannon Dick
ICDM 2016
Irlan Grangel
Jeff Pan
Magdalena Ortiz
Miel Vander Sande
Phil Archer
Serge Autexier
- CICM 2016, Call for Work-In-Progress Papers & Submissions to the Doctoral Programme, 20. May
- Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016)