Campus Event Calendar
Event Entry
What and Who
Towards a natural representation of formalized mathematics in theorem provers
Fulya Horozal
IMPRS
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS
MPI Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 15 November 2006
13:00
60 Minutes
E1 4
024
Saarbrücken
Contact
IMPRS
9325 225
--email hidden
passcode not visible
logged in users only
Jennifer Gerling, 10/06/2006 09:34 -- Created document.