Logic List Mailing Archive

OzSL Event on Intuitionistic Propositional Logic (Utrecht, The Netherlands, June 4-5, 2004)

OzsL EVENT ON INTUITIONISTIC PROPOSITIONAL LOGIC

PROGRAMME

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Friday, June 4, 2004
location: zaal C010 van Aardwetenschappen, Budapestlaan 4,
Uithof, Utrecht. Het gebouw zit achter het Minnaertgebouw.
(Zie:
<http://www.geo.uu.nl/homegeosciences/aboutthefaculty/addressesandmaps/2717
1main.html>
Door te klikken op de kaart kun je inzoomen. Doe het twee
keer voor voldoende detail.)

10.45-11.00 Coffee
11.00-11.15 Opening by Albert Visser
11.15-12.15 Dick de Jongh & Nick Bezhanishvili:
            Introduction to Intuitionistic Propositial Logic 1
12.15-14.00 Lunch
14.00-15.00 Dick de Jongh & Nick Bezhanishvili:
            Introduction to Intuitionistic Propositial Logic 2
15.00-15.15 Tea
15.15-16.15 Marta Bilkova: the Disjunction Property
16.15-17.00 Problem Session (chair Albert Visser)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Saturday, June 5, 2004
location: Hoog Brabant, Radboudkwartier 23, Utrecht
(in Hoog Catharijne op 3 minuten loopafstand van Utrecht CS)

10.45-11.00 Coffee
11.00-12.00 G?ran Sundholm: What is an intuitionistic proposition?
12.00-14.00 Lunch
14.00-15.00 Dick de Jongh & Nick Bezhanishvili:
            Introduction to Intuitionistic Propositial Logic 3
15.00-15.15 Tea
15.15-16.15 Dick de Jongh & Nick Bezhanishvili:
            Introduction to Intuitionistic Propositial Logic 4