Onderzoeksschool Logica – OzSL
The
aim of the Onderzoeksschool Logica
(Dutch Research School in Logic) is to provide a forum for researchers in the
Netherlands whose research involves logic.
The
current activities of OzSL include:
MLNL: Mathematical Logic in
the Netherlands – a yearly regional mathematical logic
meeting
MLNL09 was held in Nijmegen
MLNL10
was held in Utrecht
MLNL11
was held in Groningen
MLNL12
will be held in Amsterdam
Logic in Mastermath – coordinated
by Mai Gehrke, Jaap van Oosten,
and Yde Venema
Please let us know if you
are interested in contributing or want to suggest a course
2010
courses:
Model theory with non-standard analysis
GoedelŐs incompleteness theorem
2011
courses:
Complexity theory (organized through DIAMANT)
2012
courses:
Lambda
calculus and applications
Intuitionistic mathematics
Logic courses in the Netherlands
Events of interest | Related Projects | Colloquium on mathematical logic
Organisation
M.
Gehrke (mgehrke@math.ru.nl) - director
Scientific
Board
(under construction, but to include)
Ieke Moerdijk
(i.moerdijk@uu.nl)
Gerard
Renardel de Lavalette
(grl@cs.rug.nl)
Albert
Visser (albert.visser@phil.uu.nl)
Contact
OzsL
Heyendaalseweg 135
6525
AJ Nijmegen
Tel.
+31 24 3653220
Fax.
+31 24 3652140
Email:
ozsl@math.ru.nl