About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Awards Received at the ICCL

2014

EMCL Distinguished Alumni Award 2014

The former EMCL student, Dr María Magdalena Ortíz de la Fuente received the EMCL Distinguished Alumni Award 2014 for her outstanding contributions to the field of Computational Logic. She was elected by the Free University of Bozen-Bolzano, the Technische Universität Dresden, the Universidade Nova de Lisboa and the Technische Universität Wien. The award was given during the Vienna Summer of Logic Award Ceremony on July 21, 2014.

Distinguished Student Paper Award of the DL2014

Stefan Borgwardt received the Distinguished Student Paper Award of the 27th International Workshop on Description Logics (DL2014) for the paper Fuzzy DLs over Finite Lattices with Nominals.

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.

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.

Lohrmann-Medaille der TU Dresden

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

2012

Distinguished Young Alumnus/Alumna-Award

The former EMCL student, Mr Ronald de Haan received the 2000 EUR "Distinguished Young Alumnus/Alumna-Award" for his master's thesis on "Description Logic Based Reasoning on Programming Languages" at the Faculty of Informatics at the Technische Universität Wien, Austria.
For more information see the web page of TUW.

Best Paper Award of the RR2012

Stefan Borgwardt and Dr. Rafael Peñaloza were runners-up of the best paper award of the 6th International Conference on Web Reasoning and Rule Systems (RR2012), Vienna, Austria, for their paper 'A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices'.

2011

N. J. Lehmann Award

Stefan Borgwardt received the N. J. Lehmann Award of the TU Dresden for his Diploma thesis on 'The Infimum Problem as a Generalization of the Inclusion Problem for Automata'. Here is a picture of the award ceremony.

2010

Commerzbank Dissertation Prize

Dr. Boontawee Suntisrivaraporn is nominated by the faculty for the Commerzbank dissertation prize for his PhD thesis on 'Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies'.

Best Dissertation Award from SAP Research Center

Dr. Rafael Peñaloza received the Best Dissertation Award from SAP Research Center, Dresden for his PhD thesis on 'Axiom-Pinpointing in Description Logics and Beyond'. Here is a picture of the award ceremony.

Best Paper Award of the ICFCA 2010

Felix Distel received the best paper award of the 8th International Conference on Formal Concept Analysis (ICFCA 2010) in Agadir, Morocco in March 2010 for his paper on 'Complexity of Enumerating Pseudo-Intents in the Lectic Order'.

2009

Future Fellowship Award by the Australian Research Council

Prof. Michael Thielscher received the Future Fellowship Award by the Australian Research Council (ARC).

Award for Outstanding Paper with Student Author

Prof. Michael Thielscher received the Award for an Outstanding Paper with a Student Author (Hannes Straß) at the 9th International Symposium on Logical Formalizations of Commonsense Reasoning in Toronto, Canada in June 2009.

Best Paper Award in the Research Track of the ASWC 2008

Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji and Peter Haase received one of the three Best Paper Awards in the Research Track of the 3rd Asian Semantic Web Conference (ASWC 2008) in Bangkok, Thailand in February 2009 for their scientific contribution on 'A Modularization-based Approach to Finding All Justifications for OWL DL Entailments'.

2008

Award for German University Coordinators in Erasmus Mundus 2004-2008

Prof. Steffen Hölldobler received the Award for German University Coordinators in Erasmus Mundus 2004-2008 by the DAAD for the organization of the European Master's Program in CL. For more information please click here.

Georg-Helm Award

Dr. Anni-Yasmin Turhan received the Georg-Helm Award of the Technische Universität Dresden for her PhD thesis 'On the Computation of Common Subsumers in Description Logics'. Here is a picture of the award ceremony.

Best Poster Award of the ESWC 2008 Doctoral Symposium

Martin Knechtel received the best poster award of the ESWC 2008 doctoral symposium in June 2008 for his poster on 'Access rights and collaborative ontology integration for reuse across security domains'.

2007

Best Paper Award of the Medinfo 2007 Congress

Dr. Stefan Schulz, Boontawee Suntisrivaraporn and Prof. Franz Baader received one of the three Best Paper Awards (from 900 submissions and 300 presented papers) of the Medinfo 2007 Congress in Brisbane, Australia in August 2007 for their article 'SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions'.

Best Paper Award of the German Conference on Artificial Intelligence

Prof. Franz Baader, Rafael Peñaloza and Boontawee Suntisrivaraporn have been nominated for the Best Paper Award of the German Conference on Artificial Intelligence (KI-2007) in September 2007 for their scientific contribution on Pinpointing in the Description Logic EL+.

2006

Honorary Doctoral Degree

Prof. Luís Moniz Pereira from the Universidade Nova de Lisboa, Portugal received the Honorary Doctoral Degree from Technische Universität Dresden on 4th December 2006. For more information please click here.

Dresden Congress Award 2006

Prof. Steffen Hölldobler received the Dresden Congress Award 2006 for the organization of the ICCL Summer School on Logic-based Knowledge Representation on 8th November 2006. For more information please click here.

Georg-Helm Award

Dr. Sebastian-Philipp Brandt received the Georg-Helm Award of the Technische Universität Dresden for his PhD thesis on 'Standard and Non-standard Reasoning in Description Logics'. Here is a picture of the award ceremony.

AI's Ten to Watch

Dr. Carsten Lutz received the 'AI's Ten to Watch' award of the IEEE Intelligent Systems Magazine.

General Game Playing World Championship

The program Fluxplayer developed by Prof. Michael Thielscher and Stephan Schiffel won the 2nd International General Game Playing Competition at AAAI-06 in Boston, USA in July 2006.

2005

IBM Award for the Diploma Thesis

Andreas Doms received the 2005 IBM award for the best diploma thesis (Diplomarbeit) on May 23, 2005. For details see the laudatio.

Accenture Award for the Best Student's Project

Jeannette Bohg received the 2005 Accenture award for the best student's project (Belegarbeit) on May 23, 2005. For details see the laudatio.

2004

2004 Teaching Award by the Association of Friends and Sponsors of the TU Dresden

Prof. Steffen Hölldobler received the 2004 Teaching Award by the Association of Friends and Sponsors of the Technische Universität Dresden on July 15, 2005. See here for details.

Membership in ECCAI Fellow Program

Prof. Franz Baader was selected as an ECCAI Fellow. Here is a picture of the award ceremony at the ECCAI fellows lunch at ECAI'04 in August 2004.


Best Master Thesis Awards of the EMCL

2013: Fariz Darari

2012: Ronald de Haan

2011: Giorgio Stefanoni

2010: Christian Drescher

2009: Carroline Dewi Puspa Kencana Ramli

2008: Jean Christoph Jung

2007: Novak Novakovic

2006: María Magdalena Ortíz de la Fuente


Last update:   Thu, 22 Jan 2015 17:32:45