18-19 Dec 2019
Paris, France
FORMALIZATION OF PROOFS, FORMALIZATION OF PROGRAMS,
*Paris, December, 18-19 2019*
Campus Lourcine, Bâtiment 2,Salle 02-Gérard Lyon-Caen. 1, rue de la
Glacière (RER : Port Royal; Metro, ligne 7 : Les Gobelins; Metro, ligne 6
: Glacière)
*Mercredi 18 décembre 2019*
9h30-10h45: Ursula Martin, What can studies of crowdsourcing tell
us about mathematical practice?
10h45-11h: Coffe Break
11h-12h15: Gilles Dowek: The absoluity of logical truth
challenged by proof formalization.
12h15- 14h00: Lunch
14h00-15h15: Gisele Secco, Diagrams and Programs in the First
Proof of the Four-Color Theorem
15h15-16h30: Raymond Turner, Some Instances of Abstraction in
Mathematics and Computer Science
16h30-16h45: Coffe Break
16h45-18h30: Table Ronde What can be formalized? with
contributions from: Simone Martini, Baptiste Mélès, Maël Pégny, Maté Szabo
*Jeudi 19 décembre 2019*
9h30-10h45: Cliff Jones, Formalisation and Proof in Computing: A
Personal View
10h45-11h00: Coffe Break
11h00-12h15: Giuseppe Primiero, Value-sensitive co-design for
resilient software systems
12h15- 14h00: Lunch
14h00-15h15: Assia Mahboubi, Verified Computations in
Mathematical Proofs
15h15-15h30: Coffe Break
15h30-16h45: Alberto Naibo, Formalizing constructions and proofs
in Euclid's geometry
16h45-18h: Cyrille Imbert, Vincent Ardourel, Program verification
in the empirical science: formal methods for all?
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam