With over 2100 participants, the Vienna Summer of Logic 2014 was the largest event in the history of logic. It consisted of twelve large conferences and numerous workshops, attracting researchers from all over the world. Conferences and workshops dealt with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence.

For more information, visit the Vienna Summer of Logic website.