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:25 | AProS: Intercalating and Tutoring Wilfried Sieg | 9:25-9:50 | Proof Search Formalisms and Grammar Formalisms in OMEGA Serge Autexier, Dominik Dietrich and Marc Wagner | 9:50-10:15 | Natural Proof Search and Proof Writing Dominique Pastre | 10:15-10:40 | What 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:25 | A Study of Mathematical Formalization in Economics Manfred Kerber and Colin Rowat | 11:25-11:50 | Towards typed repositories of proofs Matthias Puech and Yann Régis-Gianas | 11:50-12:15 | Premise Selection in the Naproche System Daniel Kuehlwein | 12:15-12:40 | Human-Oriented Proof Techniques are Relevant for Proof Tutoring Marvin Schiller and Christoph Benzmueller |
|
12:40-13:00 Discussion (with Piotr Rudnicki) & Closing Remarks |