search
English
Bewerken
search
EN
Medewerkers
Organogram
Dr. J. (Jaap) van Oosten
Universitair hoofddocent
Bètawetenschappen
Wiskunde
Mathematisch Instituut
Fundamental Mathematics
Fundamental Mathematics
j.vanoosten@uu.nl
Dr. J. (Jaap) van Oosten
Universitair hoofddocent
Fundamental Mathematics
j.vanoosten@uu.nl
Profiel
Publicaties
Activiteiten
Onderzoek
Onderwijs
Contact
Profiel
Publicaties
Activiteiten
Onderzoek
Onderwijs
Contact
Activiteiten
2011
Some subtoposes of the effective topos
Jaap van Oosten
(Invited speaker)
7 Jun 2011
,
Seminar za osnove matematike in teoretičnega računalništva
Type theory and homotopy theory
Jaap van Oosten
(Invited speaker)
19 May 2011
,
Mathematical Logic in The Netherlands (Groningen)
Synthetic Nonstandard Arithmetic
Jaap van Oosten
(Invited speaker)
11 May 2011
,
Mathematisches Kolloquium im Sommersemester 2011 (Darmstadt)
Type Theory and Homotopy Theory
Jaap 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 Realizability
Jaap van Oosten
(Invited speaker)
14 Dec 2001
,
Thematic Afternoon on Constructivism (Amsterdam)
tweedaags symposium
Jaap van Oosten
(Organiser)
18 May 2001
→
19 May 2001
Aarhus University
Jaap 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 Realizability
Jaap van Oosten
(Invited speaker)
25 Sept 2000
,
XX Incontro di Logica Matematica, invited (Ravello)
Relative and Modified Relative Realizability
Jaap 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
Seminar
Jaap van Oosten
(Organiser)
1 May 1998
→
4 May 1998
Adequacy in an elementory topos
Jaap van Oosten
(Invited speaker)
1 Mar 1998
,
Logic Seminar
Programme Committie for FLoC '99 Workshop on Realizability
Jaap 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 Logic
Jaap 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 Logic
Jaap van Oosten
(Organiser)
21 Sept 1996
→
27 Oct 1996