Dr. J. (Jaap) van Oosten

Universitair hoofddocent
Fundamental Mathematics
j.vanoosten@uu.nl

Activiteiten

2011

Some subtoposes of the effective toposJaap van Oosten (Invited speaker)
7 Jun 2011
, Seminar za osnove matematike in teoretičnega računalništva
Type 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 200119 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 Logic
Mathematical 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 19984 May 1998
Adequacy in an elementory toposJaap van Oosten (Invited speaker)
1 Mar 1998
, Logic Seminar
Programme 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 1999
Nederlands 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 199627 Oct 1996
, Seminar (precieze datum onbekend)
Conferentie Computer Science LogicJaap van Oosten (Organiser)
21 Sept 199627 Oct 1996