posted by user: sierrauy || 3154 views || tracked by 4 users: [display]

ITP 2011 : 2nd International Conference on Interactive Theorem Proving

FacebookTwitterLinkedInGoogle


Conference Series : Interactive Theorem Proving
 
Link: http:// http://itp2011.cs.ru.nl/
 
When Aug 22, 2011 - Aug 25, 2011
Where Nijmegen, The Netherlands
Abstract Registration Due Feb 13, 2011
Submission Deadline Feb 20, 2011
Notification Due Apr 18, 2011
Final Version Due May 15, 2011
Categories    formal aspects hard/soft   formalization of mathematics   theorem provers   proof pearls
 

Call For Papers


Preliminary Call for Papers
ITP 2011: 2nd International Conference on Interactive Theorem Proving
22-25 August 2011, Nijmegen, The Netherlands
http://itp2011.cs.ru.nl/

-----

ITP is the premier international conference for researchers from all
areas of interactive theorem proving and its applications. 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.


The program committee welcomes submissions on all aspects of
interactive theorem proving and its applications. Examples of typical
topics include formal aspects of hardware or software (specification,
verification, semantics, synthesis, refinement, compilation, etc.);
formalization of significant bodies of mathematics; advances in
theorem prover technology (automation, decision procedures, induction,
combinations of systems and tools, etc.); other topics including those
relating to user interfaces, education, comparisons of systems, and
mechanizable logics; and concise and elegant worked examples ("Proof
Pearls").

Submission details will be provided in a forthcoming call for paper.
Two types of submissions are possible. Research papers may be no
longer than 16 pages must describe original unpublished work not
submitted for publication elsewhere. Rough diamond submissions
are limited to six pages and may consist of an extended abstract.
They will be refereed: they will be expected to present innovative and
promising ideas, possibly in an early form and without supporting
evidence. All papers must be presented in a way that users of other systems
can understand. As for the last edition, the intention is to publish the
proceedings as a Springer's LNCS volume.

Authors of accepted papers are expected to present their papers at the
conference and will be required to sign copyright release forms.
All submissions must be written in English.

Important dates (midnight GMT):

Abstract submission deadline: 13 February 2011
Paper submission deadline: 20 February 2011
Notification of paper decisions: 18 April 2011
Camera-ready papers due from authors: 15 May 2011
Conference dates: 22-25 August 2011

Web page:

http://itp2011.cs.ru.nl/

Invited Speakers:

Georges Gonthier, Microsoft Research
Don Batory, University of Texas at Austin

Conference co-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

Program Committee:

David Aspinall (Univ. of Edinburgh, UK)
Jeremy Avigad (CMU, USA)
Stefan Berghofer (TUM, Gremany)
Yves Bertot (INRIA Sofia-Antipolis, France)
Sandrine Blazy (IRISA, France)
Jens Brandt (Univ. of Kaiserslautern, Germany)
Jared Davis (Centaur, USA)
Amy Felty (Univ. of Ottawa, Canada)
Jean-Christophe Filliatre (INRIA Saclay, France)
Herman Geuvers - co-Chair (Radboud University Nijmegen, The Netherlands)
Georges Gonthier (Microsoft Research, USA)
Elsa Gunther (UIUC, USA)
John Harrison (Intel, USA)
Reiner Hähnle (Chalmers Univ. of Technology, Sweden)
Matt Kaufmann (Univ. of Texas at Austin, USA)
Gerwin Klein (NICTA, Australia)
Assia Mahboubi (LIX, France)
Panagiotis Manolios (Northeastern Univ., USA)
John Matthews (Galois, USA)
Paul Miner (NASA, USA)
J Moore (Univ. of Texas at Austin, USA)
Greg Morrisett (Harvard Univ., USA)
Magnus O. Myreen (Univ. of Cambridge, UK)
Tobias Nipkow (TU Munich, Germany)
Michael Norrish (NICTA, Australia)
Sam Owre (SRI, USA)
Christine Paulin-Mohring (Univ. Paris-Sud, France)
Lawrence Paulson (Univ. of Cambridge, UK)
Brigitte Pientka (McGill Univ., Canad)
Lee Pike (Galois, USA)
Sandip Ray (Univ. of Texas at Austin, USA)
Jose-Luis Ruiz-Reina (Univ. of Sevilla, Spain)
David Russinoff (AMD, USA)
Julien Schmalz - co-Chair (Open Univ. of the Netherlands, The Netherlands)
Konrad Slind (Rockwell Collins, USA)
Sofiene Tahar (Concordia, Canada)
Marko van Eekelen - co-Chair (Open Univ. of the Netherlands, The Netherlands)
Makarius Wenzel (Univ. of Paris-Sud, France)
Freek Wiedijk - co-Chair (Radboud University Nijmegen, The Netherlands)

Related Resources

DIS 2019   Designing Interactive Systems Conference 2019
ENTROPY 2019   ENabling TRust through Os Proofs… and beYond
ACM TVX 2019   ACM International Conference on Interactive Experiences for Television & Online Video
ICR 2019   4th International Conference on Interactive Collaborative Robotics
ESIDA 2019   ACM IUI Workshop on Exploratory Search and Interactive Data Analytics
IS 2019   14th International Conference on Interactive Systems “Problems of Human-Computer Interaction”
IEETeL 2019   10th International workshop on Interactive Environments and Emerging Technologies for eLearning
INTETAIN 2019   INTETAIN 2019 - 11th International Conference on Intelligent Technologies for Interactive Entertainment
Context and Adaptation in Games 2019   The Application of Context and Adaptation in Games and Interactive Media Special Issue
MIG 2019   Motion, Interaction and Games