Professional activities
PC memberships
- PC (co-)chair: CALCO 2007, WADT 2010, FOIS competition 2014, CALCO tools 2017, WoMoCoE 2018, WoMoCoE 2019, WoMoCoE 2020
- PC memberships
- 2024: IJCAI 2024, KI 2024, FOIS 2024, COSIT 2024, EKAW 2024, WADT 2024, NFDI4Energy 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
Faculty
- Leader of course of studies computer science (Studiengangsleiter Informatik)
- Chair of examination board (Vorsitzender des Prüfungssauschusses)
- Vice chair of board of study affairs (stellv. Vorsitzender der Studienkommission)
- 2016-3/2018: Head of institute for intelligent cooperating systems