Vienna Summer of Logic

The Vienna Summer of Logic was a scientific event in the summer of 2014, combining 12 major conferences and several workshops from the fields of mathematical logic, logic in computer science, and logic in artificial intelligence. The meetings took place from July 9 to 24, 2014, and attracted more than 2000 scientists and researchers.

The event was organized by the Kurt Gödel Society at Vienna University of Technology. Participating meetings include:

In the Logic in Computer Science stream (representing the Federated Logic Conference (FLoC)):

In the Mathematical Logic stream:

In the Logic in Artificial Intelligence stream:

...
Wikipedia