Gerwin Klein | 20 Dec 11:10 2013

Call for Papers: ITP 2014

                         Call for Papers

                            ITP 2014
      5th International Conference on Interactive Theorem Proving 
                 14th-17th July 2014 in Vienna, Austria 


Abstract submission:   24th January 2014
Paper submission:      31st January 2014
Author notification:   21st March 2014
Camera-ready:          18th April 2014
Conference:            14th-17th July 2014


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.


ITP welcomes submissions describing original research on all aspects of
(Continue reading)