- From: Serge Autexier <serge.autexier@dfki.de>
- Date: Thu, 10 Jun 2010 10:13:11 +0200 (CEST)
- To: www-math@w3.org
[Apologies for Multiple Copies] CALL FOR PRESENTATIONS MIPS 2010 -International Workshop on Mathematically Intelligent Proof Search http://www.dfki.de/~serge/mips2010 CNAM, Paris, France, July 10th, 2010 MIPS explores the relationship between mathematical theory development and proof construction, both in formal and informal contexts. In either context, they are deeply connected as the choice of a language and a corresponding inference mechanism correlates with how effectively proofs can be obtained and how well mathematical arguments can be communicated. Thus languages can range from mathematical vernaculars that are close to natural languages to purely formal ones; inference mechanisms can structure arguments conceptually but may also be based on automated proof procedures that are mathematically intelligent. MIPS will bring together researchers from Computer Science, Linguistics, Mathematics and Philosophy who are interested in the whole subject or parts of it, in order to get an overview of the state of the art, present original results and discuss directions for future research. More information on MIPS can be found at http://www.dfki.de/~serge/mips2010. You are invited to submit a title and a short abstract proposing a presentation on state of the art, work in progress, original results or future directions of the workshop themes. Please submit title and abstract (up to 2-5 pages) in PDF format to http://www.easychair.org/conferences/?conf=mips2010 Deadlines ========= Submission of title and abstracts: 18 June 2010 Notification of acceptance: 24 June 2010 Organizing Committee: ===================== Serge Autexier (DFKI Bremen, Germany, Co-Organiser) Christoph Benzmueller (Articulate Software, USA) Fairouz Kamareddine (Heriot-Watt University, Scotland) Manfred Kerber (University of Birmingham, UK) Peter Koepke (University of Bonn, Germany, Co-Organiser) Michael Kohlhase (Jacobs University, Germany) Andrei Paskevich (University Paris-Sud, France) Dominique Pastre (University Paris Descartes, France) Larry Paulson (University of Cambridge, UK) Aarne Ranta (Chalmers University of Technology, Sweden) Claudio Sacerdoti-Coen (University of Bologna, Italy) Bernhard Schroeder (University of Duisburg-Essen, Germany, Co-Organiser) Wilfried Sieg (CMU, USA, Co-Organiser) Josef Urban (Radboud University, The Netherlands) Wolfgang Windsteiger (RISC, Austria) Claus Zinn (University of Konstanz, Germany)
Received on Thursday, 10 June 2010 08:13:44 UTC