Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ITP 2011 (Call for Workshop Proposals)


view this post on Zulip Email Gateway (Aug 18 2022 at 16:47):

From: Freek Wiedijk <freek@cs.ru.nl>
Call for Workshop Proposals
ITP 2011: 2nd International Conference on Interactive Theorem Proving

22-25 August 2011, Nijmegen, The Netherlands
http://itp2011.cs.ru.nl/

-----

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@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


Last updated: Mar 29 2024 at 01:04 UTC