[isabelle] ITP'14: early registration deadline approaching



                      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.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.