Aktivitaet2025
Aus International Center for Computational Logic
Mitglied im Steering Committee von CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013)
- Franz Baader
- Mitglied im Steering Committee von CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013)Member of the steering committee CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013) (★★★)
- http://www.cadeinc.org/
- 2015 – 2025
