Allgemein
First-class containers for Datalog accepted at ECOOP 2025
Prof. Tanter and Prof. Toro from the University of Chile are visiting us April 7 – 17
Incremental Computing by Differential Execution accepted at ECOOP 2025
André Pacak receives dissertation award by the University of Mainz, congratulations!
Typed Multi-Level IR for Datalog accepted at OOPSLA
Object-oriented Datalog paper accepted at OOPSLA
Prof. Matias Toro (U Chile) is visiting our lab for two weeks.
https://pleiad.cl/people/mtoro
Sebastian serves as Associate Editor for OOPSLA 2025
2m Euro funding through ERC Consolidator Grant on Automatic Incremental Computing
ACM SIGPLAN Most Influential Paper Award for SLE 2013 paper.
