[Agda] ITP 2013 Call for Participation (Early Registration Deadline
June 17th)
David Pichardie
David.Pichardie at irisa.fr
Fri Jun 7 22:28:45 CEST 2013
CALL FOR PARTICIPATION
ITP 2013: 4th International Conference on Interactive Theorem Proving
22-26 July 2013, Rennes, France
http://itp2013.inria.fr
-----
Important dates
_____________
Early registration deadline:17 June 2013
Conference: 23-26 July 2013
Affiliated workshops: 22 July 2013
-----
Program
____________________
ITP 2013: http://itp2013.inria.fr/program.html
AI4FM 2013: http://www.ai4fm.org/ai4fm-2013/programme/
Coq Workshop: http://coq.inria.fr/coq-workshop/2013
-----
Registration and Hotel
____________________
Registration is open, visit:
http://itp2013.inria.fr/registration.html
For hotel reservation, visit:
http://itp2013.inria.fr/accomodations.html
-----
Conference
__________
ITP brings together researchers working in all areas of interactive
theorem proving. It combines the communities of two venerable
meetings: the TPHOLs conference and the ACL2 workshop. 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).
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 final programme will include 26 regular paper presentations and 7
rough diamonds presentations. It will also include 3 invited talks by
renown speakers from industry and academia and 2 tutorials. ITP 2013 has
2 affiliated workshops. Submission to these workshops is still open.
Invited Speakers
_______________
Applying formal methods in the large
by Dominique Bolignano (Prove & Run, France)
Automating theorem proving with SMT
by Rustan Leino (Microsoft Research, USA)
Certifying Voting Protocols
by Carsten Schürmann (IT University of Copenhagen, Denmark)
Invited tutorials
_______________
The Mathematical Components library: principles and design choices
by Assia Mahboubi and Enrico Tassi (Inria, France)
Counterexample Generation Meets Interactive Theorem Proving: Current
Results and Future Opportunities
by Pete Manolios (Northeastern University, USA)
Affiliated Workshops
___________________
The 5th Coq workshop
http://coq.inria.fr/coq-workshop/2013
Workshop day: July 22
AI4FM Workshop
http://www.ai4fm.org/ai4fm-2013/
Workshop day: July 22
More information about the Agda
mailing list