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 :

Conference

Categories :

About ITP 2014

FLOC 2014 Interactive Theorem Proving , to be held from 14 Jul to 17 Jul 2014.

It will be a sensational Science and Technology Congress at the Vienna University in Vienna, Austria.

With a major programme covering a large array of issues such as Science, Technology, Program Security and Formalization Of Mathematics, ITP 2014 is going to be a must-attend event.

FLOC 2014 Interactive Theorem Proving is organized once.

When you are in Vienna for ITP 2014, look at these three must visit locations and adore the elegance of this city:

Venue

Vienna University

Address : Universitätsring 1, 1010 Vienna, Austria