Awards in 2013

Distinguished Student Paper Award of the DL2013

Stefan Borgwardt, Marcel Lippmann, and Veronika Thost received the Distinguished Student Paper Award of the 26th International Workshop on Description Logics (DL2013) for their paper on Temporal Query Answering in DL-Lite.

Lohrmann-Medaille der TU Dresden

Andreas Ecke received the "Lohrmann-Medaille der TU Dresden" for his diploma thesis.

SAT 2013 Best Paper Award

Norbert Manthey, Tobias Philipp and Christoph Wernhard received the SAT 2013 Best Paper Award for their paper "Soundness of Inprocessing in Clause Sharing SAT Solvers", which was presented at the SAT, the leading international conference on theory and applications of satisfiability testing. For more information, please click the conference web page, the proceedings web page or the paper.