Theoretical Computer Science

Activities 2000 2015

Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)
9 Jul 2015

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

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

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

Academic Press (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

Contexts

M. Bognar (Speaker)
1 Feb 2000

Activity: Lecture / PresentationAcademic

IFIP (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

Koninklijke Nederlandse Akademie van Wetenschappen (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

Elsevier (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

Constructor subtyping in the calculus of inductive constructions

F. van Raamsdonk (Speaker)
13 Sep 2000

Activity: Lecture / PresentationAcademic

ACM (External organisation)

J.W. Klop (Member)
2000

Activity: MembershipAcademic

IPA (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic

NWO (External organisation)

J.W. de Bakker (Member)
2000

Activity: MembershipAcademic