PC membership

• PC (co-)chair: CALCO 2007, WADT 2010, FOIS competition 2014, CALCO tools 2017, WoMoCoE 2018, WoMoCoE 2019, WoMoCoE 2020
• PC memberships
  • 2025: K-CAP 2025, LoStaN 2025, NeSy 2025, KI 2025, NFDI4Energy 2025, IMBSA 2025, FOIS 2025, IJCAI track on AI And Social Good 2025, ANSyA 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.

Teaching