CICM 2013 - Conferences on Intelligent Computer Mathematics

You must enable JavaScript to use this site

Friday
9:00- 10:00	Chair: Jacques Carette, Room 8W 2.1 (Invited Talk) Patrick Ion. Mathematics and the World Wide Web (9:00-10:00) (DOI) MKM
10:00- 10:30	Coffee
10:30- 12:30	Room 8W 2.1 Cezary Kaliszyk and Josef Urban. Automated Reasoning Service for HOL Light (10:30-11:00) (DOI) Steven Obua, Mark Adams and David Aspinall. Capturing Hiproofs in HOL Light (11:00-11:30) (DOI) Carst Tankink, Cezary Kaliszyk, Josef Urban and Herman Geuvers. Formal Mathematics on Display: A Wiki for Flyspeck (11:30-12:00) (DOI) MKM
12:30- 14:00	Lunch
14:00- 15:30
15:30- 16:00	Coffee
16:00- 18:00

Last modified: March 31 2026 21:45:27 CEST