[ The Types Forum (announcements only),
Call for Workshop Proposals
ITP 2011: 2nd International Conference on Interactive Theorem Proving
22-25 August 2011, Nijmegen, The Netherlands
ITP brings together researchers working in all areas of interactive
theorem proving. The inaugural meeting of ITP was held on 11-14
July 2010 in Edinburgh, Scotland, as part of the Federated Logic
Conference (FLoC, 9-21 July 2010). The second edition of ITP will
take place in Nijmegen, The Netherlands, on 22-25 August 2011.
ITP is the evolution of the TPHOLs conference series to the broad
field of interactive theorem proving. TPHOLs meetings took place
every year from 1988 until 2009.
Researchers and practitioners are invited to submit proposals
for workshops on topics relating to interactive theorem proving.
Workshops can target the ITP community in general or be focused
to one particular ITP system.
Possible dates for workshops are 26 and 27 August 2011 (two days after ITP).
The duration of workshops can be one or two days.
Submission deadline: 13 February 2011
Notification: 13 March 2011
Workshop proposals should be submitted per email to itp2...@easychair.org.
All accepted workshops will be expected to have the programme ready by
July 1st 2011.
The workshop selection committee consists of the ITP chairs:
Marko Van Eekelen, Radboud University Nijmegen/Open University of the
Herman Geuvers, Radboud University Nijmegen
Julien Schmaltz, Open University of the Netherlands/Radboud University Nijmegen
Freek Wiedijk, Radboud University Nijmegen