TERMGRAPH 2016
Date: Apr 08, 2016 12:00 am – Apr 08, 2016 11:00 am
Location: Eindhoven, NL
CALL FOR PAPERS
9th International Workshop on Computing with Terms and Graphs
(TERMGRAPH 2016)
a Satellite Event of ETAPS 2016
Background
Research in term and graph rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing of common subexpressions in a natural and seamless way, and improves the efficiency of computations in space and time. Sharing is ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages: many implementations of functional, logic, object-oriented, concurrent and mobile calculi are based on term graphs. Term graphs are also used in automated theorem proving and symbolic computation systems working on shared structures. The aim of this workshop is to bring together researchers working in different domains on term and graph transformation and to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in term graph rewriting.
Previous editions of the workshop took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbruecken (2011), Rome (2013) and Vienna (2014). The permanent TERMGRAPH site http://www.termgraph.org.uk/ has further information.
Topics of Interest
Topics of interest include all aspects of term graphs and sharing of common subexpressions in rewriting, programming, automated reasoning and symbolic computation. This includes (but is not limited to):
- theory of first-order/higher-order termgraph rewriting
- infinitary and rational term/graph rewriting
- graph rewriting in lambda calculus (sharing graphs, optimality)
- term/graph based models of computation
- term/graph rewriting tools: case studies and system descriptions
- term/graph rewriting based aspects of:
- semantics and implementation of programming languages
- compiler construction
- interaction nets and proof nets
- pattern recognition
- bioinformatics
Invited Speakers
- Jörg Endrullis, Vrije Universiteit Amsterdam, NL
- Barbara König, Duisburg Essen Universität, Germany
Committee
- Andrea Corradini, Dip. di Informatica, Pisa, I [co-chair]
- Maribel Fernández, King's College London, UK
- Ian Mackie, École Polytechnique, France
- Detlef Plump, University of York, UK
- Femke van Raamsdonk, Vrije Universtiteit Amsterdam, NL
- Hans Zantema, Eindhoven Univ. of Technology, NL [co-chair]
Contact
Submitted by Anonymous
on
CALL FOR PAPERS
9th International Workshop on Computing with Terms and Graphs
(TERMGRAPH 2016)
a Satellite Event of ETAPS 2016
Background
Research in term and graph rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing of common subexpressions in a natural and seamless way, and improves the efficiency of computations in space and time. Sharing is ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages: many implementations of functional, logic, object-oriented, concurrent and mobile calculi are based on term graphs. Term graphs are also used in automated theorem proving and symbolic computation systems working on shared structures. The aim of this workshop is to bring together researchers working in different domains on term and graph transformation and to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in term graph rewriting.
Previous editions of the workshop took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbruecken (2011), Rome (2013) and Vienna (2014). The permanent TERMGRAPH site http://www.termgraph.org.uk/ has further information.
Topics of Interest
Topics of interest include all aspects of term graphs and sharing of common subexpressions in rewriting, programming, automated reasoning and symbolic computation. This includes (but is not limited to):
- theory of first-order/higher-order termgraph rewriting
- infinitary and rational term/graph rewriting
- graph rewriting in lambda calculus (sharing graphs, optimality)
- term/graph based models of computation
- term/graph rewriting tools: case studies and system descriptions
- term/graph rewriting based aspects of:
- semantics and implementation of programming languages
- compiler construction
- interaction nets and proof nets
- pattern recognition
- bioinformatics
Invited Speakers
- Jörg Endrullis, Vrije Universiteit Amsterdam, NL
- Barbara König, Duisburg Essen Universität, Germany
Committee
- Andrea Corradini, Dip. di Informatica, Pisa, I [co-chair]
- Maribel Fernández, King's College London, UK
- Ian Mackie, École Polytechnique, France
- Detlef Plump, University of York, UK
- Femke van Raamsdonk, Vrije Universtiteit Amsterdam, NL
- Hans Zantema, Eindhoven Univ. of Technology, NL [co-chair]
Contact