Activities
2011
Some subtoposes of the effective toposJaap van Oosten (Invited speaker)
7 Jun 2011
, Seminar za osnove matematike in teoretičnega računalništvaType theory and homotopy theoryJaap van Oosten (Invited speaker)
19 May 2011
, Mathematical Logic in The Netherlands (Groningen)Synthetic Nonstandard ArithmeticJaap van Oosten (Invited speaker)
11 May 2011
, Mathematisches Kolloquium im Sommersemester 2011 (Darmstadt)Type Theory and Homotopy TheoryJaap van Oosten (Invited speaker)
17 Mar 2011
, Staff Colloquium Mathematical Institute (Utrecht)Mathematical Structures in Computer Science (Journal)Jaap van Oosten (Editor)
2011
Journal of Pure and Applied Algebra (Journal)Jaap van Oosten (Editor)
2011
Annals of Pure and Applied Logic (Journal)Jaap van Oosten (Editor)
2011
2001
A Partial Analysis of Modified RealizabilityJaap van Oosten (Invited speaker)
14 Dec 2001
, Thematic Afternoon on Constructivism (Amsterdam)tweedaags symposiumJaap van Oosten (Organiser)
18 May 2001 → 19 May 2001
Aarhus UniversityJaap van Oosten (Visiting researcher)
16 Jan 2001 → …
Mathematical Structures in Computer Science (Journal)Jaap van Oosten (Editor)
2001
Annals of Pure and Applied Logic (Journal)Jaap van Oosten (Editor)
2001
2000
Towards an Axiomatics for Modified RealizabilityJaap van Oosten (Invited speaker)
25 Sept 2000
, XX Incontro di Logica Matematica, invited (Ravello)Relative and Modified Relative RealizabilityJaap van Oosten (Invited speaker)
29 Apr 2000
, Peripatetic Seminar on Sheaves and LogicMathematical Structures in Computer Science (Journal)Jaap van Oosten (Editor)
2000
Annals of Pure and Applied Logic (Journal)Jaap van Oosten (Editor)
2000
1998
SeminarJaap van Oosten (Organiser)
1 May 1998 → 4 May 1998
Adequacy in an elementory toposJaap van Oosten (Invited speaker)
1 Mar 1998
, Logic SeminarProgramme Committie for FLoC '99 Workshop on RealizabilityJaap van Oosten (Organiser)
1998
Programme Committee for ASL Logic Colloquium 1999 (Event)Jaap van Oosten (Member)
1998 → …
, Programme Committee for ASL Logic Colloquium 1999Nederlands Mathematisch Congres 1999 (External organisation)Jaap van Oosten (Member)
1998 → …
1997
Model Completions and Categoprical LogicJaap van Oosten (Invited speaker)
9 Apr 1997
, Voordracht (Utrecht)1996
Seminar (precieze datum onbekend)Jaap van Oosten (Organiser)
26 Oct 1996 → 27 Oct 1996
, Seminar (precieze datum onbekend)Conferentie Computer Science LogicJaap van Oosten (Organiser)
21 Sept 1996 → 27 Oct 1996