Topic: Logical Theorems Winner: Nate Ackerman
Topic: Translation between Logical Systems Winner: Razvan Diaconescu (joint work with Till Mossakowski and Andrzej Tarlecki)
Topic: Combination of Logics Winner: Vladimir Vasyukov
Topic: Identity between Logical Structures Winner: Carlos Caleiro (joint work with Ricardo Gonçalves)
