Activities per year
- 1 - 25 out of 57 results
Search results
-
Regularity-Preserving but not Reflecting Encodings
C.A. Grabmayer (Speaker)
9 Jul 2015Activity: Lecture / Presentation › Academic
-
-
Maximal Sharing in the Lambda Calculus with Letrec
C.A. Grabmayer (Speaker)
1 Sep 2014Activity: Lecture / Presentation › Academic
-
hogere orde en erste orde (ter ere van het afscheid van Vincent van Oostrom van de Universiteit Utrecht)
C.A. Grabmayer (Speaker)
2 Jul 2014Activity: Lecture / Presentation › Academic
-
Electronic Proceedings in Theoretical Computer Science (Journal)
B. Luttik (Member of editorial board) & F. Valencia (Member of editorial board)
2011Activity: Peer review and Editorial work › Editorial work › Academic
-
Theoretical Computer Science (Journal)
B. Jacobs (Member of editorial board), M. Niqui (Member of editorial board), J.J.M.M. Rutten (Member of editorial board) & A. Silva (Member of editorial board)
2011Activity: Peer review and Editorial work › Editorial work › Academic
-
Electronic Notes in Theoretical Computer Science (Journal)
B.P.F. Jacobs (Member of editorial board), M. Niqui (Member of editorial board), J.J.M.M. Rutten (Member of editorial board) & A.M. Silva (Member of editorial board)
2010Activity: Peer review and Editorial work › Editorial work › Academic
-
Journal of Logic and Algebraic Programming (Journal)
L. Aceto (Member of editorial board), J.C.M. Baeten (Member of editorial board), W.J. Fokkink (Member of editorial board), A. Ingolfsdottir (Member of editorial board) & U. Nestmann (Member of editorial board)
2009Activity: Peer review and Editorial work › Editorial work › Academic
-
Journal of Logic and Algebraic Programming (Journal)
L. Aceto (Member of editorial board), M. Bravetti (Member of editorial board), W.J. Fokkink (Member of editorial board) & A.D. Gordon (Member of editorial board)
2008Activity: Peer review and Editorial work › Editorial work › Academic
-
Journal of Logic and Algebraic Programming (Journal)
L. Aceto (Member of editorial board), M. Bravetti (Member of editorial board), W.J. Fokkink (Member of editorial board) & A.D. Gordon (Member of editorial board)
2008Activity: Peer review and Editorial work › Editorial work › Academic
-
Journal of Logic and Algebraic Programming (Journal)
L. Aceto (Member of editorial board), M. Bravetti (Member of editorial board), W.J. Fokkink (Member of editorial board) & A.D. Gordon (Member of editorial board)
2007Activity: Peer review and Editorial work › Editorial work › Academic
-
Information and Computation (Journal)
L. Aceto (Member of editorial board) & W.J. Fokkink (Member of editorial board)
2004Activity: Peer review and Editorial work › Editorial work › Academic
-
Theoretical Computer Science (Journal)
B. Jacobs (Member of editorial board) & J.J.M.M. Rutten (Member of editorial board)
2002Activity: Peer review and Editorial work › Editorial work › Academic
-
Koninklijke Nederlandse Akademie van Wetenschappen (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
Academia Europaea (AE) (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
A Hoare like logic for verifying probabilistic programs
J.I. den Hartog (Speaker)
12 Feb 2000Activity: Lecture / Presentation › Academic
-
Akademieraad voor de Wiskunde (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
-
-
European Educational Forum (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
Combining Probabilistic Choice and Action Refinement in a Metric Setting
J.I. den Hartog (Speaker)
20 Jul 2000Activity: Lecture / Presentation › Academic
-
-
Constructor subtyping in the calculus of inductive constructions
F. van Raamsdonk (Speaker)
13 Sep 2000Activity: Lecture / Presentation › Academic
-
-
Proof systems for cyclic term graphs
J.W. Klop (Speaker)
12 Jun 2000Activity: Lecture / Presentation › Academic