Services to the Scientific Community

Co-organizer & PC member of the International Conferences on Intelligent Computer Mathematics (CICM'12), Bremen, Germany, 09-13 July 2012
PC member of the 10th Mexican International Conference on Artificial Intelligence, Puebla, Mexico, 26-04 December 2011
PC member of the International Conference on Intelligent Computer Mathematics, Bertinoro, Italy, 17-23 July 2011
Trustee of the Mathematical Knowledge Management Interest Group, 2010-2013
PC member of the 9th Mexican International Conference on Artificial Intelligence, Pachuca, Mexico, 08-13 November 2010
Co-chair & Co-organizer of the 6th Verification Workshop (VERIFY'10) in connection with IJCAR'10 at FLOC'10, Edinburgh, Scotland, 20-21 July 2010
PC member of the 9th Workshop on User-Interfaces for Theorem Provers (UITP'10) in connection with ITP'10 at FLOC'10, Edinburgh, Scotland, 20th July 2010
Co-organizer of the Workshop on Mathematically Intelligent Proof Search in connection with CICM 2010, Paris, France, 10th July 2010
PC member of the 9th International Conference on Mathematical Knowledge Management in connection with CICM 2010, Paris, France, 09-10 July 2010
PC member of the 4th Workshop on Programming Languages for Mechanized Mathematics Systems in connection with CICM 2010, Paris, France, 05th July 2010
Chair of the 10th International Conference on Artificial Intelligence and Symbolic Computation in connection with CICM 2010, Paris, France, 05-06 July 2010
Trustee of the Artificial Intelligence and Symbolic Computation Conference Series (AISC) , since 2010
Member of the organising committee of the Deduktionstreffen 2009, Jacobs University, Bremen, Germany, 15-16 October 2009
PC member of the 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS'09) in connection with CICM'09, Canada, 06-07 July 2009
PC member of the 4th Workshop on Logical and Semantic Frameworks, with Applications (LSFA'09) in connection with RDP'09, Brasília, Brazil , 28th June 2009
Co-Editor of the Special Issue Authoring, Digitalization and Management of Mathematical Knowledge, Mathematics in Computer Science, Springer, 05th January 2009
Co-Editor of the Special issue on User Interfaces for Theorem Proving, (ENTCS), forthcoming, 30th September 2008
PC member of the 7th International Workshop on the Implementation of Logics (IWIL'08) in connection with LPAR 2008, Doha, Qatar, 22nd November 2008
Co-chair & Co-organizer of the 8th International Workshop on User Interfaces for Theorem Provers (UITP'08) in connection with TPHOLS'08, Montréal, Québec, Canada, 22nd August 2008
PC member of the 5th International Verification Workshop (VERIFY'08) in connection with IJCAR'08, Sydney, Australia, 10-11 August 2008
PC member of the Workshop on Practical Aspects of Automated Reasoning (PAAR-2008) in connection with IJCAR'08, Sydney, Australia, 10-11 August 2008
Co-chair of the 7th International Conference on Mathematical Knowledge Management (MKM'08) in connection with CICM'08, Birmingham, UK, 28-30 July 2008
Deputy Spokesman of the German Interest Group on Automated Deduction, 2008-2011
Member of the organising committee of the Deduktionstreffen 2008, Saarbrücken, Germany, 17-18 March 2008
Trustee (ex-officio) of the Mathematical Knowledge Management Interest Group, 2007-2010
PC member of the Workshop on Empirically Successful Automated Reasoning in Large Theories (ESARLT) in connection with CADE'07, IUB, Bremen, Germany, 16th July 2007
PC member of the 4th Verification Workshop (VERIFY'07) in connection with CADE-21, IUB, Bremen, Germany, 15-16 July 2007
Co-Editor of the Special issue on Formal Modeling and Verification of Critical Systems, 01st July 2007
Member of the organising committee of the Deduktionstreffen 2007, Koblenz, Germany, 26-27 March 2007
PC member of the 6th International Workshop on the Implementation of Logics in connection with LPAR 2006, Phnom Penh, Cambodia, 12th November 2006
Co-chair & Co-organizer of the Seventh Workshop on User-Interfaces for Theorem Provers (UITP'06) in connection with IJCAR'06 at FLOC'06, Seattle, USA, 21st August 2006
Co-chair & Co-organizer of the 3rd Verification Workshop (VERIFY'06) in connection with IJCAR'06 at FLOC'06, Seattle, USA, 15-16 August 2006
Organizer of the Workshop "Trustworthy Software", Saarland University, Saarbrücken, Germany, 18-19 May 2006
Co-organizer of the Theorema-Ultra-Omega'05 Workshop, Saarland University, Germany, 14-15 November 2005
Co-organizer of the 3rd Nancy-Saarbrücken Workshop on Logic, Proofs and Programs, LORIA, Nancy, France, 13-14 October 2005
Co-organizer of the Nancy-Saarbrücken Workshop on Logic, Deduction and Applications, Saarland University, Saarbrücken, Germany, 25-26 November 2004
Co-organizer of the Nancy-Saarbrücken Workshop on Logic, Deduction and Applications, LORIA, Nancy, France, 17-18 June 2004
Co-organizer of the Jahrestreffen der GI-Fachgruppen Deduktionssysteme (FG 1.2.1) und Logik in der Informatik (FG 0.1.6), Saarland Universty & DFKI GmbH, Saarbrücken, Germany, 2004
Co-organizer of the Theorema-Omega'03 Workshop, Schloss Hagenberg, Linz, Austria, 2003
Co-chair & Co-organizer of the Verification Workshop (VERIFY'02) in connection with CADE'02 at FLOC'02, Copenhagen, Denmark, 25-26 November 2010
Steering committee of the Verification Workshop Series, 25th July 2001
Co-chair & Co-organizer of the Verification Workshop (VERIFY'01) in connection with IJCAR'01, Siena, 19th June 2001
Co-organizer of the Deduktionstreffen, Saarland Universty, Saarbrücken, Germany, 06-07 October 2000