Email Gateway (Aug 19 2022 at 14:38): Email Gateway (Aug 19 2022 at 14:38):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
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:
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.
Last updated: Nov 21 2024 at 12:39 UTC