News and Events

From International Center for Computational Logic
Revision as of 14:05, 6 March 2018 by Markus Krötzsch (talk | contribs) (larger limit to show all events)

News and Events

Recent News

view older news
2025-01-20: ICCL Researchers Contribute to Lean Standard Library
2024-11-20: Jonas Karge Wins Student Best Paper Award at PRIMA24
2024-11-05: Best Paper Award for Nemo
2024-07-01: CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann
2024-06-13: Markus Krötzsch Wins 2024 Teaching Award


Event Calendar

Subscribe to upcoming events (iCal)


April 2025

MonTueWedThuFriSatSun
78910111213
14151617181920
21222324252627
2829301234
567891011