Event Organisation by Manfred Kerber

Events and Activities

I am/was involved (to a varying degree) in the following events and activities:

Programme Committee `Deduktionstreffen 2019', 23 September 2019, Kassel, Germany.
Programme Committee ` 4th International Workshop on AI aspects in Reasoning, Languages, and Computation (AIRLangComp’19)', 1-4 September 2019, Leipzig, Germany.

I am a member of the Editoral Board of the journal `Mathematics in Computer Science (MCS)'.
I am a member of the Editoral Board of the `Journal of Applied Logic'.
Programme Committee `3rd International Workshop on AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18) ', 9-12 September 2018, Poznań, Poland
Programme Committee `11th Conference on Intelligent Computer Mathematics (CICM 2018) - Systems and Projects Track', 13-17 August 2018, RISC, Hagenberg, Austria
Programme Chair `Conference on Intelligent Computer Mathematics (CICM 2015)', 13-17 July 2015, Washington DC, USA
Programme Committee `Deduktionstreffen 2015', 2-3 August 2015, Berlin, Germany
Programme Committee `Workshop on Formal and Cognitive Reasoning 2015', 21-25 September 2015, Dresden, Germany
Local Arrangements Chair and Programme Committee of `AISB/IACAP World Congress 2012', 2-6 July 2012, Birmingham, England.
Scientific Committee `5th Workshop - Emotion and Computing, KI 2011, Berlin, 4 October 2011.
Organizing Committee `Deduktionstreffen 2011', 20-21 October 2011, Karlsruhe.
Programme Committee, MKM track of `Conference on Intelligent Computer Mathematics, CICM 2011', 18-23 July 2011, Bertinoro, Forli, Italy.
Organizing Committee `Deduktionstreffen 2010', 20-21 September 2010, Karlsruhe.
Programme Committee `9th International Conference on Mathematical Knowledge Management', 8-9 July 2010, MKM-2010, Paris.
Organizing Committee `Workshop on Mathematically Intelligent Proof Search MIPS 2010', 10 July 2010, Paris.
Scientific Committee `4th Workshop - Emotion and Computing, KI 2009, Paderborn , 15 September 2009.
Programme Committee `Fourth Workshop on Logical and Semantic Frameworks', 28 June 2009, Brasilia.
Editor of a special issue of the journal Mathematics in Computer Science on Management of Mathematical Knowledge.
Programme Committee `Seventh International Conference on Mathematical Knowledge Management', 28-30 July 2008, MKM-2008, Birmingham.
Scientific Committee `Workshop - Emotion and Computing, KI 2008, Kaiserslautern , 23 September 2008.
Programme Committee ` Deduktionstreffen 2008, Saarbrücken, 17 and 18 March 2008.
Programme Co-chair ` Mathematical Knowledge Management', 27 - 30 June 2007, MKM-2007, Schloss Hagenberg, Austria.
Programme Chair ` Deduktionstreffen', 26 - 27 März 2007, Koblenz, Germany.
Scientific Committee ` Workshop - Emotion and Computing', 10 September 2007, Osnabrück, Germany.
Programme Committee ` 29th annual German Conference on Artificial Intelligence (KI-2006)', 14-19 June 2006, Bremen, Germany.
Programme Committee ` Workshop - Emotion and Computing', 19 June 2006, KI-2006, Bremen, Germany.
Programme Committee ` The 13th Workshop on Automated Reasoning 2006', 3-4 April 2006, Bristol, England.
` The 12th Workshop on Automated Reasoning 2005', 29-30 July 2005, Edinburgh, Scotland.
` CIAO (CLAM/INKA/OMRS) 2005 Workshop', 4-6 April 2005 University of Nottingham, Nottingham, England.
` WoLLIC'2004 11th Workshop on Logic, Language, Information and Computation'. Invited Talk and Tutorial. Fontainebleau Campus of Université Paris 12, France, 19-22 July, 2004.
` Automated Reasoning Workshop', 31st March -- 1st April 2004 University of Leeds, Leeds, England.
` Mathematical Knowledge Management Symposium', Heriot-Watt University, Edinburgh, Scotland, 25-30 November 2003.
` Automated Reasoning Workshop', Liverpool University, UK, 15 - 16 April 2003.
A course on `Partiality in Deduction and Computation' at the ` Calculemus Autumn School 2002, Pisa, 23 September - 4 October 2002. (gzipped PostScript (535k), pdf (454k), )
`Calculemus-2002', Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Marseille, France, 1-5 July 2002.
`Automated Reasoning - Bridging the Gap between Theory and Practice', London, England, 2-5 April 2002.
I co-edited the book by A K Peters on Symbolic Computation and Automated Reasoning. You can find the cover as ps.gz and pdf. The table of contents and first pages of the full papers can be found here as ps.gz and pdf.
Co-editor of a special issue of the Journal of Symbolic Computation on Computer Algebra and Mechanized Reasoning.
Workshop on `Future directions in Automated Reasoning', IJCAR, Siena, one day during 18-23 June 2001.
`Calculemus-2001', Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Siena, Italy, 21-22 June 2001.
Workshop `Automated Reasoning - Bridging the Gap between Theory and Practice, York, England, 22-23 March 2001.
A course on `Human-Oriented Mechanised Mathematical Reasoning' (jointly with Mateja Jamnik, gzipped PostScript (348k), pdf (13935k), at ESSLLI-2000.
A course on `Partiality, Paradoxes, and Reasoning' (gzipped PostScript (2340k), pdf (8122k), ) at ESSLLI-2000.
`Calculemus-2000', Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St Andrews, Scotland, 6-7 August 2000
`Automated Deduction: Putting Theory into Practice', a stream at CL2000, 24-28 July 2000.
Workshop `Automated Reasoning - Bridging the Gap between Theory and Practice, London, England, 20-21 July 2000.
`Calculemus-1999', Trento, Italy, 11-12 July 1999
Workshop `Automated Reasoning - Bridging the Gap between Theory and Practice', Edinburgh, Scotland, 8-9 April 1999
Workshop `Mechanization of Partial Functions', CADE-98, Lindau, Germany, 5 July 1998
Workshop `Automated Reasoning - Bridging the Gap between Theory and Practice', St. Andrews, Scotland, 30-31 March 1998
Workshop `Representation of Mathematical Knowledge', ECAI-96, Budapest, Hungary, 13 August 1996
Workshop ``Mechanization of Partial Functions', CADE-96, New Brunswick, USA, 30 July 1996
Workshop `Tactical theorem proving', KI-94, Saarbrücken, Germany, 21-22 September1994
Workshop `From Theorem Provers to Mathematical Assistants - Issues and Possible Solutions', ECAI-94, Amsterdam, Netherlands, 9 August 1994
Workshop `Principles of Hybrid Reasoning and Representation', IJCAI-93, Chambery, France, 28 August 1993
Workshop on `Control of Problem Solving Procedures', GWAI-92, Bonn, Germany, 31 August - 3 September 1992
`7th German Annual Meeting on Deduction', Johanniskreuz, Germany, 26-28 September 1990
Compulog Net Area on Automated Deduction Systems.