Theoretical Computer Science

Activities

Activities per year 2000 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

• Koninklijke Nederlandse Akademie van Wetenschappen (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Academia Europaea (AE) (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• A Hoare like logic for verifying probabilistic programs

  J.I. den Hartog (Speaker)

  12 Feb 2000

  Activity: Lecture / Presentation › Academic

• Akademieraad voor de Wiskunde (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• CWI (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Academic Press (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• European Educational Forum (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Combining Probabilistic Choice and Action Refinement in a Metric Setting

  J.I. den Hartog (Speaker)

  20 Jul 2000

  Activity: Lecture / Presentation › Academic

• IPA (External organisation)

  F. van Raamsdonk (Member)

  2000

  Activity: Membership › Academic

• Constructor subtyping in the calculus of inductive constructions

  F. van Raamsdonk (Speaker)

  13 Sep 2000

  Activity: Lecture / Presentation › Academic

• IPA (External organisation)

  J.W. Klop (Member)

  2000

  Activity: Membership › Academic

• Proof systems for cyclic term graphs

  J.W. Klop (Speaker)

  12 Jun 2000

  Activity: Lecture / Presentation › Academic