posted by user: jyotirmoy || 2186 views || tracked by 5 users: [display]

ITP 2015 : interactive theorem proving

FacebookTwitterLinkedInGoogle


Conference Series : Interactive Theorem Proving
 
Link: http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/
 
When Aug 24, 2015 - Aug 27, 2015
Where nanjing
Abstract Registration Due Mar 9, 2015
Submission Deadline Mar 12, 2015
Notification Due May 15, 2015
Final Version Due Jun 5, 2015
 

Call For Papers

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

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
IMCL 2019   International Conference on Interactive Mobile Communication, Technologies and Learning
Context and Adaptation in Games 2019   The Application of Context and Adaptation in Games and Interactive Media Special Issue