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.
A detailed guide for Austria travellers. Recommendations for shopping, attractions and eating option...
Click here for the official website of ITP 2014