Organization, Program Commitees (in the past)
-
- CADE-29 (PC Member),
FroCoS 2023 (PC Member),
DL 2023 (PC Member),
WOLLIC 2023 (PC Member),
FROM 2023 (PC Member),
Deduktionstreffen 2023
- IJCAR 2022 (PC Member), DL 2022 (PC Member), Sicherheit 2022 (PC Member), FROM 2022 (PC Member)
- CADE 2021 (PC Member), FroCoS 2021 (PC Member), DL 2021 (PC Member), SOQE 2021 (PC Member)
- IJCAR 2020 (PC co-chair), LICS 2020 (PC Member), Sicherheit 2020 (PC Member)
- CADE 2019 (PC Member),
FroCoS 2019 (PC Member),
Tableaux 2019 (PC Member),
Deduktionstreffen 2019 (PC Member),
FROM 2019 (PC Member),
SYNASC 2019. Logic and Programming Track (PC Member)
- IJCAR 2018 (PC Member),
FSCD 2018 (PC Member),
AiML 2018 (PC Member),
Sicherheit 2018 (PC Member),
SYNASC 2018. Logic and Programming Track (PC Member),
Deduktionstreffen 2018 (PC Member)
- CADE 26 (PC Member),
FroCoS 2017 (PC Member),
CSL 2017 (PC Member),
SYNASC 2017. Logic and Programming Track (PC Member),
FROM 2017 (PC co-chair),
SOQE 2017 (PC Member),
Deduktionstreffen 2017 (PC Member)
- LICS 2016 (PC Member), IJCAR 2016 (PC Member), DL 2016 (PC Member),
AiML 2016 (PC Member),
SYNASC 2016 (PC Member),
Deduktionstreffen 2016 (PC Member)
- FM 2015 (PC Member),
FroCoS 2015 (PC Member),
DL 2015 (PC Member),
PAS 2015 (PC Member),
SYNASC 2015 (PC Member),
DT-2015: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme (PC Member),
INFORMATIK 2015 (Gutachter: SKILL 2015 und Doktorandenprogramm)
- IJCAR 2014 (PC Member), ADDCT 2014 (PC co-chair), ICTAC 2014 (PC Member),
DL 2014 (PC Member), ARW-DT 2014: Joint Automated Reasoning Workshop and Deduktionstreffen (PC Member), SYNASC 2014 (PC member),
Doktorandenprogramm, INFORMATIK 2014 (Gutachter)
- CADE 24 (PC Member), Tableaux 2013 (PC Member), FroCoS 2013 (PC Member),
ADDCT 2013 (PC co-chair),
Deduktionstreffen 2013 (organizer), SYNASC 2013, Logic and Programming track (PC Member)
- IJCAR 2012 (PC Member), DL 2012(PC member),
LfSA 2012 (PC Member),
SYNASC 2012, Logic and Programming track (PC Member)
-
CADE-23 (PC co-chair withNikolaj Bjorner);
FroCoS 2011 (Conference Chair);
FroCoS 2011 (PC member);
TABLEAUX 2011 (PC member);
FTP 2011 (PC member);
BNAIC 2011 (PC member);
SYNASC 2011, Logic and Programming track (PC member);
DL 2011 (PC member); Deduktionstreffen 2011 (committee member)
-
IJCAR 2010 (PC member),
IJCAR 2010 (Publicity chair),
DL 2010 (PC member),
LfSA 2010 (PC member),
BNAIC 2010 (PC member),
Deduktionstreffen 2010 (committee member),
-
FTP 2009 (PC co-chair with
Nicolas Peltier),
FroCos 2009 (PC member),
TABLEAUX 2009 (PC member),
ADDCT 2009 (co-chair),
Deduktionstreffen 2009 (committee member),
DL 2009 (PC member)
-
IJCAR 2008 (PC member),
Symbolic Computation and Deduction in System Design and Verification (co-organizer; special session at
ACA 2008),
Deduktionstreffen 2008 (committee member),
CEDAR 2008 (co-chair)
-
TABLEAUX 2007 (PC member),
ADDCT 2007 (co-chair),
TABLEAUX 2007 (workshops chair)
- TABLEAUX 2005 (PC member)
- IJCAR 2004 (PC member)
- ISMVL
technical committee(2002-2004)
- JIM 2003 (PC member)
- AISC 2002 (PC member)
- AISC 2000 (PC member)