ITP 2014 FLOC 2014 Interactive Theorem Proving

Share this event

14 - 17 July 2014 / Add to calendar

Venue: Vienna University   Click for map

Event Type :


Categories :

About ITP 2014

ITP 2014 is planned to start on 14 Jul and end on 17 Jul 2014.

The venue of the Congress will be Vienna University which is one of the amazing area for such a decisive event.

FLOC 2014 Interactive Theorem Proving (ITP 2014) is going to be where Science and Technology pros unite to deliberate perceptions and point of views to advance insight for Science, Technology, Program Security and Formalization Of Mathematics matters.

ITP 2014 is organized once.

When you are in Vienna for ITP 2014, consider these three must visit parts and adore the beauty of this city:

To learn more about the Congress please visit the official ITP 2014 website.


Vienna University

Address : Universitätsring 1, 1010 Vienna, Austria