News and Events

From International Center for Computational Logic
Revision as of 01:06, 20 March 2019 by Maximilian Marx (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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