logo-ozsl.gif

Onderzoeksschool LogicaOzSL

 

 

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:

            Proof theory

            Set theory

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