Hauptinhalt
Topinformationen
Prof. Dr. Till Mossakowski
Institut für Informatik
Wachsbleiche 27
49090 Osnabrück
Room: 73/E19
Tel.: +49 541 969-7152
Fax: +49 541 969-2799
till.mossakowski@uni-osnabrueck.de
PC memberships
- PC (co-)chair: CALCO 2007, WADT 2010, FOIS competition 2014, CALCO tools 2017, WoMoCoE 2018, WoMoCoE 2019, WoMoCoE 2020
- PC memberships
- 2025: NFDI4Energy 2025, IMBSA 2025
- 2024: IJCAI 2024, IJCAI track on AI And Social Good 2024, KI 2024, FOIS 2024, COSIT 2024, EKAW 2024, WADT 2024, NFDI4Energy 2024, NeSy 2024
- 2023: IJCAI 2023, KI 2023, FOIS 2023, K-CAP 2023, Modular knowledge 2023
- 2022: IJCAI-ECAI 2022, KI 2022, AGI 2022, EKAW 2022, COSIT 2022, MK 2022, WADT 2022, IMBSA 2022
- 2021: IJCAI 2021 (senior PC) , FOIS 2021, KI 2021, K-CAP 2021
- 2020: GCAI 2020, ECAI 2020, KI 2020, EKAW 2020, FOIS 2020, IMBSA 2020, WADT 2020, WoMoCoE 2020
- 2019: KI 2019, COSIT 2019, CALCO 2019, IMBSA 2019, K-CAP 2019, WoMoCoE 2019
- 2018: KI 2018, ESWC 2018, WADT 2018, FOIS 2018, GCAI 2018, WoMoCoE 2018
- 2017: IMBSA 2017, KI 2017, FroCoS 2017, CALCO 2017, CALCO tools 2017 (chair), GCAI 2017, KESW 2017, K-CAP 2017, WoMoCoE 2017, FMHE 2017
- 2016: KI 2016, FOIS 2016, WOMoCoE 2016, LRCM 2016, ARQNL 2016
- 2015: FroCoS 2015, IJCAI 2015, KI 2015, WoMo 2015, FOFAI 2015
- 2014: IBMSA 2014, KI 2104, FOIS 2014, FOIS 2014 competition chair, WADT 2014, ARNQL 2014
- 2013: IJCAI 2013, FroCoS 2013, CICM 2013, CALCO 2013, CALCO tools 2013, CALCO early ideas 2013, DoForm 2013, LRCM2013
- 2012: WoMO 2012, WADT 2012, SWUMA 2012
- 2011: FroCoS 2011, CALCO 2011, WoMO 2011
- 2010: AMAST 2010, MLPA 2010, WoMO 2010, WADT 2010
- 2009: CALCO 2009, MLPA-09, WoMO 2009
- 2008: AMAST 2008, WADT 2008
- 2007: FroCoS 2007, VERIFIY 07, ISWC workshop on modular ontologies 2007
- earlier: WADT 2006, MKM 2005, CSL 2004, CombLog 2004, AMiLP-3 2003, FLIRTS track at WADT 2002, FroCoS 2000
Research community
- IFIP WG 1.3 Foundations of systems specification (member, chair 2010-2015)
- WADT, CALCO (member of steering committees, co-chair 2010-2015)
- CoFI: Common Framework Initiative for Algebraic Specification and Development (chair of steering committee)
- PhD Summer School: Logics of Formal Software Specification Languages Slides: CASL CASL tutorial HasCASL CoCASL SB-CASL HetCASL
- FLIRTS group: Formalisms, Logics, Institutions - Representing, Translating, Structuring (coordinator
Personal
- Public GPG key
- Mossakowski
- My Erdös number is 3: Till Mossakowski, George E. Strecker, Marcel Erne, Paul Erdös
- Beware of predatory publishers! See this list of predatory publishers.
CV
| 1967 Born in Kiel, Germany |
| 1986 University-entrance diploma |
| 1987 - 1989 Civilian service |
| 1986 - 1992 Study of computer science, University of Bremen |
| 1989 - 1992 Scholarship of the German National Academic Foundation (Studienstiftung) |
| 1992 Diploma, grade 1.0 (best possible grade) |
| 1993 - 1996 PhD scholarship of the German National Academic Foundation (Studienstiftung) |
| 1996 PhD, grade "summa cum laude" (best possible grade) |
| 1996 - 2000 Scholarship of the University of Bremen at Prof. Hans-Jörg Kreowski |
| 2000 - 2002 Research assistant, University of Bremen, Bremen institute for safe and secure systems, Prof. Bernd Krieg-Brückner |
| 2002 - 2005 Assistent professor in the group of Prof. Bernd Krieg-Brückner |
| 2005 Habilitation (habilition is without grade) |
| 2006 - 2013 Senior Researcher at German research center for artificial intelligence (DFKI), Bremen |
| 2008 - 2009 Substitute professorship "Foundations of artificial intelligence" (in place of Prof. Dr. Bernhard Nebel) at the Albert Ludwigs University of Freiburg |
| 2011 Grant of the title "extraordinary Professor" by University of Bremen |
| 2013 Offer of the professorship "Cognitive systems" of Friedrich-Alexander-University Erlangen-Nürnberg (declined) since October 2013 Professor for theoretical computer science, Otto-von-Guericke University Magdeburg |
| 2015-2016 Head of department for knowledge and language engineering |
| 2016-2018 Head of department for intelligent cooperating systems |
| 2024 Professor for hybrid AI, University of Osnabrück |
