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.

[1] The meetings took place from July 9 to 24, 2014, and attracted more than 2000 scientists and researchers.

[2][3] The event was organized by the Kurt Gödel Society at Vienna University of Technology.

[4] Participating meetings include:[5] 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:

Logo of the scientific event