TERMGRAPH 2014

Computing with Terms and Graphs

8th International Workshop
Vienna Summer o f Logic

13 July 2014, Vienna

Committees


Program Committee

Beniamino Accattoli Bologna University
Zena Ariola University of Oregon
Guillaume Bonfante LORIAINRIA
Vincent Danos University of Edinburgh
Wolfram Kahl McMaster University
Damiano Mazza CNRSLIPN Paris
Aart Middeldorp University of Innsbruck (co-chair)
Pierre-Etienne Moreau INRIA-LORIA Nancy
Femke van Raamsdonk   VU University Amsterdam   (co-chair)

Steering Committee

Andrea Corradini
Maribel Fernández
Ian Mackie
Detlef Plump