The workshop "Mathematical Logic and Computers" is a satellite
ALC 10. Kobe University is a center of developping
computer algebra systems, studying algebraic algorithms
and editing a collection of mathematical software systems.
For example, some local people here work hard for editing
Knoppix/Math DVD series, which include proof checkers coq and hol.
In the ocasion of the ALC 10, we plan to have a one day workshop
for logicians, researchers in algorithms, and
developpers of software systems for possible future interdiciplinary
Organizers: Nobuki Takayama and Toshiyasu Arai.
Place: Department of Mathematics, Graduate School of Science(Faculty of Science),
Kobe University, room B314
(Building B of the graduate school of science, Room 314($B&P(B)).
Date: August 31, 2008 (Sun)
How to reach to the room B314? Click Here . The building B is near the ALC 10 conference place (10 minutes by walk).
Hotel reservation for participants: If you are not invited speaker, please reserve a hotel by yourself for the Saturday night. ALC 10 will reserve rooms only for the ALC 10 period. You can reserve a room in the downtown of Kobe, for example, by expedia.com. For example, "Sannomiya terminal hotel", which is near the airport limousine bus stop, in this picture (left) , is listed in the expedia.com. If you have a hardship for reserving a room, please contact to email@example.com
Program 9:30--10:30 Jeremy Avigad , Formally Verified Mathematics, in Theory and Practice. Abstract 11:00--12:00 Alan Woods , Quadratic equations over GF(q), and proofs of unsatisfiability. Abstract Lunch break. (The campus cafeterias are closed on Sunday. We recommend you to bring a lunch box, which you can buy at convenience stores.) 13:20--14:20 Michael Beeson , Mathematical Logic and Computers. Abstract 14:50--15:50 Freek Wiedijk , Merging the Procedural and Declarative Proof Styles 16:20--17:20 Yatsuka Nakamura, The Jordan Curve Theorem and Mizar Mathematical Library
$Id: 2008-08-31.html,v 1.16 2008/08/18 02:46:36 taka Exp $