News and Events: Upcoming Events

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

1 April 2004, Logic Tea, Francien Dechesne, Universiteit Tilburg/TU Eindhoven

Speaker: Francien Dechesne, Universiteit Tilburg/TU Eindhoven
Title: IF-Logic and The Art of Theorem Reconstruction
Date: Thursday 1 April 2004
Time: 17:15-18:30
Location: Room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz ().

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