ITP: Interactive Theorem Proving

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2016 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ITP 2015 interactive theorem proving
Aug 24, 2015 - Aug 27, 2015 nanjing Mar 12, 2015 (Mar 9, 2015)
ITP 2014 International Conference on Interactive Theorem Proving
Jul 14, 2014 - Jul 17, 2014 Vienna Jan 31, 2014 (Jan 24, 2014)
ITP 2011 2nd International Conference on Interactive Theorem Proving
Aug 22, 2011 - Aug 25, 2011 Nijmegen, The Netherlands Feb 20, 2011 (Feb 13, 2011)
 
 

Present CFP : 2015

ITP is the premier international conference for researchers from all areas of
interactive theorem proving and its applications. The sixth conference will be
held on 24 through 27 August 2015 in Nanjing.
Topics
The programme committee welcomes submissions on all aspects of interactive
theorem proving and its applications. The topics include, but are not limited
to, the following:
Specification and verification of hardware: microprocessors, memory
systems, pipelines, etc; formal semantics of hardware design languages;
synthesis; formal design flows.
Specification and verification of software: program verification, refinement, and synthesis for functional, declarative and imperative languages;
formal semantics of programming languages; proof carrying code.
Industrial application of theorem provers.
Formalization of mathematical theories.
Advances in theorem prover technology: proof automation and decision procedures, induction, combination of deductive and algorithmic
approaches, incorporation of theorem provers into larger systems, combination of theorem provers with other provers and tools.
Other topics, including formal verification of security policies and configurations (formal analysis, verification of security algorithms, etc);
specification and requirements analysis of systems; user interfaces for
theorem provers; development and extension of higher order logics.
Proof Pearls: concise and elegant presentations of interesting examples.
Submission is electronic. Papers should be no more than 16 pages in length
and are to be submitted in PDF format. They must conform to the LNCS style
preferably using LaTeX2e. The proceedings are to be published as a volume in
the Lecture Notes in Computer Science series.
In addition to regular papers, described above, there will be a “rough diamond”
section. Rough diamond submissions are limited to 6 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. Accepted diamonds will be published in the main proceedings,
and will be presented as short talks.
Authors of all accepted papers are expected to present their paper at the conference
 

Related Resources

SCSS 2016   The 7th International Symposium on Symbolic Computation in Software Science
EICS 2017   ACM SIGCHI Symposium on Engineering Interactive Computing Systems
CICM 2016   9th Conference on Intelligent Computer Mathematics
SIGGRAPH 2017   International Conference on Computer Graphics and Interactive Techniques
DIS 2017   Designing Interactive Systems
CGIIT 2017   2017 International Conference on Graphics,Images and Interactive Techniques (CGIIT 2017)--IEEE(CPS)-Final Call !
FILM 2016   Future of Interactive Learning Machines Workshop @ NIPS 2016
RO-MAN 2016   The 25th IEEE International Symposium on Robot and Human Interactive Communication
ESIDA 2017   IUI Workshop on Exploratory Search and Interactive Data Analytics
jAUTI 2016   V Iberoamerican Conference on Applications and Usability of Interactive TV / V Jornada Iberoamericana de Aplicaciones y Usabilidad de la TVDi