Theoretical Computer Science

Activities

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

• 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

• Maximal Sharing in the Lambda Calculus with Letrec

  C.A. Grabmayer (Speaker)

  1 Sept 2014

  Activity: Lecture / Presentation › Academic

• Electronic Proceedings in Theoretical Computer Science (Journal)

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

  2011

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

• Theoretical Computer Science (Journal)

  Jacobs, B. (Member of editorial board), Niqui, M. (Member of editorial board), Rutten, J. J. M. M. (Member of editorial board) & Silva, A. (Member of editorial board)

  2011

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

• Electronic Notes in Theoretical Computer Science (Journal)

  Jacobs, B. P. F. (Member of editorial board), Niqui, M. (Member of editorial board), Rutten, J. J. M. M. (Member of editorial board) & Silva, A. M. (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)

  Jacobs, B. (Member of editorial board) & Rutten, J. J. M. M. (Member of editorial board)

  2002

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

• European Association for Theoretical Computer Scie (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Technische Universiteit Eindhoven (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Contexts

  M. Bognar (Speaker)

  1 Feb 2000

  Activity: Lecture / Presentation › Academic

• Akademieraad voor de Wiskunde (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• IFIP (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• Cambridge University Press (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• IPA (External organisation)

  J.W. de Bakker (Member)

  2000

  Activity: Membership › Academic

• CSL (Computer Science Logic) (External organisation)

  J.W. Klop (Member)

  2000

  Activity: Membership › Academic

• Sequentiality in the lambda calculus

  J.W. Klop (Speaker)

  13 Sept 2000

  Activity: Lecture / Presentation › Academic

• Proof systems for cyclic term graphs

  J.W. Klop (Speaker)

  12 Jun 2000

  Activity: Lecture / Presentation › Academic

• Cyclic term graphs

  J.W. Klop (Speaker)

  18 Jan 2000

  Activity: Lecture / Presentation › Academic

• RTA (External organisation)

  F. van Raamsdonk (Member)

  2000

  Activity: Membership › Academic