[TYPES/announce] ITP 2011 (Call for Workshop Proposals)

Freek Wiedijk freek at cs.ru.nl
Tue Jan 18 04:33:22 EST 2011

                      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. 

Important dates:

Submission deadline:                    13 February 2011
Notification:                           13 March 2011

Workshop proposals should be submitted per email to itp2011 at 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 Netherlands
Herman Geuvers, Radboud University Nijmegen
Julien Schmaltz, Open University of the Netherlands/Radboud University Nijmegen
Freek Wiedijk, Radboud University Nijmegen

More information about the Types-announce mailing list