Call for Participation
ITP 2014
5th International Conference on Interactive Theorem Proving
14th-17th July 2014 in Vienna, Austria
http://www.cs.uwyo.edu/~ruben/itp-2014
EARLY REGISTRATION DEADLINE: June 8
REGISTRATION
http://vsl2014.at/registration/
If you are planning to attend the Vienna Summer of Logic and want to support
ITP,
please tick ITP as the conference you are registering for.
PRELIMINARY PROGRAM:
http://www.cs.uwyo.edu/~ruben/itp-2014/Main/AdvanceProgram
CONFERENCE
ITP is the premier international conference for researchers from all areas of
interactive theorem proving and its applications. It represents the natural
evolution of the TPHOLs conference series to include research related to all
other interactive theorem provers. TPHOLs meetings took place every year from
1988 until 2009. In 2010, the first ITP conference was held in Edinburgh,
Scotland, as part of the Federated Logic Conference (FLoC). Subsequent ITP
conferences were held in Nijmegen, The Netherlands, in 2011, Princeton, New
Jersey, USA, in 2012, and Rennes, France in 2013. ITP 2014 will again be a
part of FLoC, in Vienna, Austria.
INVITED SPEAKERS
http://www.cs.uwyo.edu/~ruben/itp-2014/Main/InvitedTalks
- Anna Slobodova on
Microprocessor Verification - Another Piece of the Microprocessor Verification
Puzzle
- Rod Chapman on
Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK.
- Peter Sewell on
Retrofitting Rigour
ASSOCIATED WORKSHOPS:
- UITP 2014: http://vsl2014.at/pages/UITP-index.html
- Isabelle Workshop 2014: http://www21.in.tum.de/~nipkow/Isabelle2014/
- HOL4 Workshop 2014: http://www.cl.cam.ac.uk/~rk436/hol14/
- The 6th Coq Workshop: http://vsl2014.at/pages/Coq-index.html
- The ACL2 Workshop 2014: http://vsl2014.at/pages/ACL2-index.html
________________________________
The information in this e-mail may be confidential and subject to legal
professional privilege and/or copyright. National ICT Australia Limited accepts
no liability for any damage caused by this email or its attachments.
------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/NeoTech
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
