July 23, 2014: Vienna Summer of Logic

The Computational Logic group just returned from the Vienna Summer of Logic, which was held in Vienna from July 9 until July 24.

With about 2500 participants in 12 large conferences, 82 workshops, and 14 tool competitions it is the largest event in the history of logic.

In 20 talks the Computational Logic group presented its eight conference and twelve workshop papers. Furthermore the tools developed in the group participated in three different competitions, took various first places, and were awarded three of the prestigious Kurt Gödel silver medals. Apart from numerous PC memberships, two workshops and one competition have been organized by CL members.