[Agda] ITP 2013: Call for workshop proposals

David Pichardie david.pichardie at inria.fr
Wed Nov 21 15:10:08 CET 2012

ITP 2013: Fourth Conference on Interactive Theorem Proving

          Rennes, France, July 23 - 26, 2013



The ITP conference series is concerned with all topics related to 
Interactive Theorem Proving, ranging from theoretical foundations 
to implementation aspects and applications in program verification, 
security, and formalization of mathematics.

The fourth ITP conference, ITP 2013, will be held in Rennes, France,
between July 23th and July 26th, 2013.  

Similar to previous iterations of the conference, researchers and 
practitioners are invited to submit proposals for colocated 
workshops on topics relating to interactive theorem proving. Workshops 
can target the ITP community in general, focus on a 
particular ITP system, or highlight more specific issues or recent 
developments.Proposals for in-depth tutorials or tool introductions are
also welcome.
All colocated events will precede the main conference, and will be
held in the Inria Rennes research center. Conference facilities 
(meeting rooms, standard technical equipment) are offered free of
charge to the organizers; workshop-only attendees will enjoy a 
significantly reduced registration fee. Detailed organizational 
matters such as paper submission and review process, or publication 
of proceedings, are up to the organizers of individual workshops.
All accepted workshops will be expected to have the program ready by
May 1st 2013.

Proposals for workshops should contain at least the following pieces
of information.
• name and contact details of the main organizer(s)
• names of additional organizers (optional)
• title and organizational style of workshop (tutorial, public
  workshop, project workshop, etc)
• preferred length of workshop (half day, full day etc)
• estimated number of attendees
• short (up to 1 page) description of topic
• (if applicable) pointers to previous editions of the workshop, 
  or to similar events

Proposals are invited to be submitted by email to itp2013 at easychair.org, 
no later than December 20th, 2012.
Selected workshops will be notified by January 9th, 2013.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121121/0ec4dd08/attachment-0001.html

More information about the Agda mailing list