About ITP 2014

  • 2014-07-14 12:00:00 2014-07-17 12:00:00 Europe/London ITP 2014 FLOC 2014 Interactive Theorem Proving Vienna University Eventegg info@eventegg.com

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:


Vienna University

Address : Universitätsring 1, 1010 Vienna, Austria

Other Events in Vienna

the-state-theater-burgtheater-The State Theater Burgtheater
International Trade Fair for Manufacturing Technology 2018
Vienna, Austria
15 - 18 May 2018
interior-of-a-baroque-palace-in-vienna-Interior of a Baroque Palace in Vienna
10th International Numismatic Fair in Vienna 2018
Vienna, Austria
06 - 07 April 2018
vienna-hofburg-imperial-palace-Vienna Hofburg Imperial Palace
Pioneers Festival
Vienna, Austria
24 - 25 May 2018
the-state-theater-burgtheater-The State Theater Burgtheater
European Utility Week
Vienna, Austria
06 - 08 November 2018

Leave Your Comment

captcha image eventegg
load time : 74ms - last update time : 24-08-2016