The LogiCS doctoral program is funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities Vienna University of Technology, Graz University of Technology and Johannes Kepler University Linz.

Our faculty is affiliated with the following nine research groups at TU Vienna, and the two groups at TU Graz and JKU Linz:

Vienna University of Technology (TU Wien)

Graz University of Technology (TU Graz)

Johannes Kepler University Linz

The following institutions provide additional support for our research by funding talks, conferences, etc.:

The largest event in the history of logic, the Vienna Summer of Logic, will take place in July 2014 at TU Vienna and is organized by us!

Both the Austrian Society for Rigorous Systems Engineering (ARiSE) and the Vienna Center for Logic and Algorithms (VCLA) host a talk / seminar series bringing international guests to our universities: