**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