News and Events
From International Center for Computational Logic
News and Events
Recent News
view older news2025-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)