Scientific Calendar Event



Home > Timetable > Session details
PDF | iCal

Constructive logic

Place

Location: Trieste - Italy
Room: Leonardo da Vinci Building Main Lecture Hall
Date: 12 Aug 14:00 - 15:00

Timetable | Contribution List

Displaying 1 contribution out of 1
Presented by THIERRY COQUAND on 12/8/2008 at 14:00
Building timetable...

Organizers

Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche