[TYPES/announce] ITP'14: early registration deadline approaching

[Gerwin Klein]

                     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.