Theoretical Computer Science

Activities

Activities per year 2000 2015

• 30 Membership
• 17 Lecture / Presentation
• 10 Editorial work

Activities per year

Search results

• Regularity-Preserving but not Reflecting Encodings

  C.A. Grabmayer (Speaker)

  9 Jul 2015

  Activity: Lecture / Presentation › Academic

• Nested Term Graphs

  C.A. Grabmayer (Speaker)

  13 Jul 2014

  Activity: Lecture / Presentation › Academic

• Maximal Sharing in the Lambda Calculus with Letrec

  C.A. Grabmayer (Speaker)

  1 Sep 2014

  Activity: 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 2014

  Activity: Lecture / Presentation › Academic

• Electronic Proceedings in Theoretical Computer Science (Journal)

  B. Luttik (Member of editorial board) & F. Valencia (Member of editorial board)

  2011

  Activity: 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)

  2011

  Activity: 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)

  2010

  Activity: 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)

  2009

  Activity: 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)

  2008

  Activity: 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)

  2008

  Activity: 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)

  2007

  Activity: 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)

  2004

  Activity: 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)

  2002

  Activity: 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)

  2000

  Activity: Peer review and Editorial work › Editorial work › Academic

• IPA (External organisation)

  F. van Raamsdonk (Member)

  2000

  Activity: Membership › Academic

• Sequentiality in the lambda calculus

  J.W. Klop (Speaker)

  13 Sep 2000

  Activity: Lecture / Presentation › Academic

• Termination in simply typed lambda calculus

  F. van Raamsdonk (Speaker)

  14 Jan 2000

  Activity: Lecture / Presentation › Academic

• Koninklijke Nederlandse Akademie van Wetenschappen (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Proof systems for cyclic term graphs

  J.W. Klop (Speaker)

  12 Jun 2000

  Activity: Lecture / Presentation › Academic

• Technische Universiteit Eindhoven (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• European Association for Theoretical Computer Scie (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• IFIP (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Contexts

  M. Bognar (Speaker)

  18 Apr 2000

  Activity: Lecture / Presentation › Academic

• ACM (External organisation)

  J.W. Klop (Member)

  2000

  Activity: Membership › Academic

• IFIP (External organisation)

  J.W. Klop (Member)

  2000

  Activity: Membership › Academic