Workshop on
Mathematically Intelligent Proof Search
MIPS 2010

Paris, France, 10th July 2010

Conference Programme

Saturday, July 10th 2010

8:50-9:00 Welcome

Session 1 (9:00-10:30)

9:00-9:25AProS: Intercalating and Tutoring
Wilfried Sieg
9:25-9:50Proof Search Formalisms and Grammar Formalisms in OMEGA
Serge Autexier, Dominik Dietrich and Marc Wagner
9:50-10:15Natural Proof Search and Proof Writing
Dominique Pastre
10:15-10:40What a text-linguistic analysis could reveal about cognitive structures of mathematical proofs
Bernhard Schroeder

Coffee Break (10:40-11:00)

Session 2 (11:00-13:00)

11:00-11:25A Study of Mathematical Formalization in Economics
Manfred Kerber and Colin Rowat
11:25-11:50Towards typed repositories of proofs
Matthias Puech and Yann Régis-Gianas
11:50-12:15Premise Selection in the Naproche System
Daniel Kuehlwein
12:15-12:40Human-Oriented Proof Techniques are Relevant for Proof Tutoring
Marvin Schiller and Christoph Benzmueller

12:40-13:00 Discussion (with Piotr Rudnicki) & Closing Remarks