Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8 November 2002, Computing with LLI Seminar, Rick Sommer

Speaker: Rick Sommer
(EPGY Stanford)
Title: Theorem-Proving Environment for Undergraduate Mathematics
Date: Friday 8 November 2002
Time: 13:30
Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Nov8 .

Please note that this newsitem has been archived, and may contain outdated information or links.