News/en: Difference between revisions
From International Center for Computational Logic
Markus Krötzsch (talk | contribs) (larger limit to show all events) |
Maximilian Marx (talk | contribs) No edit summary |
||
| Line 9: | Line 9: | ||
| sort=Datum | | sort=Datum | ||
| order=descending | | order=descending | ||
| format= | | format=plainlist | ||
| template=Neuigkeit_kurz_inline/en | | template=Neuigkeit_kurz_inline/en | ||
| searchlabel=view older news | | searchlabel=view older news | ||
Latest revision as of 01:06, 20 March 2019
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)
