Awards

Awarded Researchers

Picture of

ERC Starting Grant

awarded to Vera Demberg

Individualized Interaction in Discourse (from February 2021)

Picture of

AAAI Fellowship

awarded to Jörg Hoffmann

for significant contributions to AI planning and related areas, particularly in the design and analysis of heuristic functions and other search methods (see News)

Picture of

Distinguished Alumnus Award

awarded to Rupak Majumdar

awarded by the Indian Institute of Technology, Kanpur

Picture of

Herbrand Award

awarded to Franz Baader

for Distinguished Contributions to Automated Reasoning, awarded by CADE Inc. (see News)

Picture of

Academia Europaea

awarded to Joël Ouaknine

elected member of the Academia Europaea

Picture of

BMBF grant to fund junior AI research groups

awarded to Sarah Gaggl

Navigation im Lösungsraum von Answer Sets (NAVAS), from October 2020

Picture of

Skolem Award

CADE-16 test of time award

Publications Awards

AwardVenueAuthorsTitle
Shortlist for EASST Best Paper Award
2021
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian SchwengerRTLola on Board: Testing Real Driving Emissions on your Phone.
Distinguished Paper
2021
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)Florian Luca, Joël Ouaknine, James WorrellUniversal Skolem Sets
EAPLS Best Paper Award
2021
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)Rupak Majumdar, Ramanathan S. Thinniyam, Georg ZetzscheGeneral Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.
Distinguished Paper Award
2021
48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg ZetzscheContext-bounded verification of liveness properties for multithreaded shared-memory programs.
Honorable Mention Award
2020
Conference on Human Factors in Computing Systems (ACM CHI)Konstantin Klamka, Raimund Dachselt, Jürgen SteimleRapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile Prototypes.
Best Demo Paper Award
2020
28th International Conference on Computational Linguistics (COLING)Ernie Chang, Jeriah Caplinger, Alex Marin, Xiaoyu Shen, Vera DembergDART: A Lightweight Quality-Suggestive Data-to-Text Annotation Tool
Best Paper Award
2019
Quantitative Evaluation of Systems, 16th International Conference (QEST)Sebastian Biewer, Pedro R. D’Argenio, Holger HermannsDoping Tests for Cyber-Physical Systems
Best Paper Award
2019
ACM Interactive Surfaces and Spaces (ACM ISS)Patrick Reipschläger, Raimund DachseltDesignAR: Immersive 3D-Modeling Combining Augmented Reality with Interactive Displays.
Shortlist for Best Paper Award
2019
42nd German Conference on AI (KI)Franz Baader, Adrian NuradiansyahMixing Description Logics in Privacy-Preserving Ontology Publishing
Best Paper Award
2019
16th European Conference on Logics in Artificial Intelligence (JELIA)Stefan Borgwardt, Walter ForkelClosed-World Semantics for Conjunctive Queries with Negation over ELHbot Ontologies
Best Paper Award
2019
15th International Conference on integrated Formal Methods (iFM)Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin TurhanOntology-Mediated Probabilistic Model Checking

Further Awards

Hochschulperle des Jahres

awarded to Sarah Sterz, Kevin Baum and Holger Hermanns

The lecture “Ethics for Nerds” by Sarah Sterz, Kevin Baum and Holger Hermanns is Hochschulperle des Jahres 2019.