Activities per year
- 25 - 50 out of 58 results
Search results
-
Technische Universiteit Eindhoven (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
-
-
-
-
-
-
Akademieraad voor de Wiskunde (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
Journal of Logic and Computation (Journal)
F. Kamarreddine (Member of editorial board) & J.W. Klop (Member of editorial board)
2000Activity: Peer review and Editorial work › Editorial work › Academic
-
-
Cambridge University Press (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
-
-
-
Proof-theoretic interconnections between known axiom- and inference-systems concerning recursice type equality
C.A. Grabmayer (Speaker)
27 Oct 2000Activity: Lecture / Presentation › Academic
-
-
Combining Probabilistic Choice and Action Refinement in a Metric Setting
J.I. den Hartog (Speaker)
20 Jul 2000Activity: Lecture / Presentation › Academic
-
-
-
-
Academia Europaea (AE) (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
NVTI (Nederlandse Vereniging voor Theoretische Inf (External organisation)
J.W. Klop (Member)
2000Activity: Membership › Academic
-
-
-
Constructor subtyping in the calculus of inductive constructions
F. van Raamsdonk (Speaker)
13 Sept 2000Activity: Lecture / Presentation › Academic