Thomas Schneider's Grants, Awards, and Activities


Grants

2015–18   Research project  Conservative Extensions in Ontology Languages (CEO): Beyond Description Logics,
recently granted by DFG
2008–10   Collaboration project  A Classification of the Complexity of Satisfiability for Fragments of Hybrid Logics,
funded by the British Council

Awards

2016   Best reviewer award at EKAW 2016
2011   Best paper award candidate at ISWC 2011 for the joint paper Decomposition and Modular Structure of BioPortal Ontologies
2008   Best paper award candidate at ESWC 2008 for the joint paper Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
2003   Award for outstanding examination results (Examenspreis), Faculty of Mathematics and Computer Science at the University of Jena

Conference Chairing and Organisation

2016–   Executive committee member, section Logic in Computer Science (LogInf), German Society of Computer Science (GI)
2012–   Chair of the WoMO steering committee
2017   PC co-chair of TIME
2016   Co-chair of track "Reasoning" at ESWC
2012   Co-chair and co-organiser of WoMO
2011   Co-chair and co-organiser of WoMO

PC Membership

2017   DL
2016   EKAW, WOMoCoE
2015   ESWC, WoMO, FOfAI
2014   ESWC, ECAI, DL, WoMO
2013   IJCAI, AAAI (AIW Track), DL, OWLED
2012   DL, OWLED
2011   IJCAI, OWLED
2010   HyLo, WoMO
2009   ISWC (Research Track), IJCAI, M4M-6, DL
2008   ISWC (Research Track), OWLED

Reviewing

Journals

2016   Journal of Computer and System Sciences
2015   Journal of Artificial Intelligence Research
Journal of Applied Logic
Semantic Web Journal
2014   Fundamenta Informaticae
Journal of Web Semantics
Journal of Automated Reasoning
2013   Journal of Automated Reasoning
2012   Journal of Artificial Intelligence Research
Journal of Computer and System Sciences
ACM Theory of Computing Systems
2011   Applied Ontology
Journal of Web Semantics
Journal of Automated Reasoning
Data & Knowledge Engineering
2010   Review of Symbolic Logic
Journal of Logic and Computation
Data & Knowledge Engineering
2009   Journal of Automated Reasoning
2008   Journal of Logic and Computation

Conferences and Workshops

2017   PODS, LICS
2016   IJCAR
2015   AAAI
2014   JELIA, AiML, STACS, SOFSEM
2013   KESW, RR, CADE
2012   JELIA, ECAI, CiE, IJCAR, LPAR, STACS
2011   AAAI, TABLEAUX, CADE, M4M, WoLLIC
2010   ISWC, JELIA, KR, DL
2009   FroCoS, TABLEAUX, LSFA
2008   FSTTCS, KR, JELIA, AiML, IJCAR, AAAI, ESWC, DL
2007   LATA

Standard

2008/9   W3C standard "OWL 2 Web Ontology Language" by the OWL Working Group
Document OWL 2 Direct Semantics

International Teaching


Valid HTML 4.01 Transitional     Valid CSS!     25 Feb 2017 TS