Theoretical Computer Science

Activities 2000 2015

Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)
9 Jul 2015

Activity: Lecture / PresentationAcademic

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 / PresentationAcademic

Nested Term Graphs

C.A. Grabmayer (Speaker)
13 Jul 2014

Activity: Lecture / PresentationAcademic

Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)
1 Sep 2014

Activity: Lecture / PresentationAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

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 workEditorial workAcademic

Information and Computation (Journal)

L. Aceto (Member of editorial board), W.J. Fokkink (Member of editorial board)
2004

Activity: Peer review and Editorial workEditorial workAcademic

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 workEditorial workAcademic

Vrije universiteit (External organisation)

J.W. Klop (Member)
2000

Activity: MembershipAcademic

NWO (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

IPA (External organisation)

F. van Raamsdonk (Member)
2000

Activity: MembershipAcademic

Academia Europaea (AE) (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

European Association for Theoretical Computer Scie (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

Technische Universiteit Eindhoven (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

Proof-theoretic interconnections between known axiom- and inference-systems concerning recursice type equality

C.A. Grabmayer (Speaker)
27 Oct 2000

Activity: Lecture / PresentationAcademic

Combining Probabilistic Choice and Action Refinement in a Metric Setting

J.I. den Hartog (Speaker)
20 Jul 2000

Activity: Lecture / PresentationAcademic

A Hoare like logic for verifying probabilistic programs

J.I. den Hartog (Speaker)
12 Feb 2000

Activity: Lecture / PresentationAcademic

Proof systems for cyclic term graphs

J.W. Klop (Speaker)
12 Jun 2000

Activity: Lecture / PresentationAcademic

NVTI (Nederlandse Vereniging voor Theoretische Inf (External organisation)

J.W. Klop (Member)
2000

Activity: MembershipAcademic

Koninklijke Nederlandse Akademie van Wetenschappen (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic