Activities per year
Activities
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
-
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
-
-
Sequentiality in the lambda calculus
J.W. Klop (Speaker)
13 Sep 2000Activity: Lecture / Presentation › Academic
-
Termination in simply typed lambda calculus
F. van Raamsdonk (Speaker)
14 Jan 2000Activity: Lecture / Presentation › Academic
-
Koninklijke Nederlandse Akademie van Wetenschappen (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
Proof systems for cyclic term graphs
J.W. Klop (Speaker)
12 Jun 2000Activity: Lecture / Presentation › Academic
-
Technische Universiteit Eindhoven (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
European Association for Theoretical Computer Scie (External organisation)
J.W. de Bakker (Member)
2000Activity: Membership › Academic
-
-
-
-