[Agda] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013
Wolfram Kahl
kahl at cas.mcmaster.ca
Wed Oct 24 16:28:51 CEST 2012
-------------------------------------------------------------------------
CALL FOR PAPERS
TERMGRAPH 2013
7th International Workshop on
Computing with Terms and Graphs
Rome, Italy, March 23rd, 2013
http://termgraph2013.imag.fr
http://www.termgraph.org.uk
Part of ETAPS 2013
http://www.etaps.org/
--------------------------------------------------------------------------
Important Dates
December 20, 2012 Abstract submission
January 7, 2013 Paper submission
January 25, 2013 Notification of acceptance
February 10, 2013 Proceedings version due
--------------------------------------------------------------------------
Aims and scope
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.
TERMGRAPH 2013 is a one-day satellite event of ETAPS 2013
<http://www.etaps.org/>, which will take place in Rome, Italy, from
March 16 to March 24, 2013. Previous editions of the TERMGRAPH
workshop series (http://www.termgraph.org.uk/) took place in
Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007) in
York (2009) and in Saarbrücken (2011).
--------------------------------------------------------------------------
Topics of Interest
Topics of interest are open and 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): term rewriting, graph transformation, graph-based implementations
of lambda-calculus, programming languages, models of computation,
graph-based languages, semantics and implementation of programming
languages, compiler construction, pattern recognition, databases,
bioinformatics, and system descriptions.
--------------------------------------------------------------------------
Submissions and Publication
Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), via the EasyChair system, at URL
https://www.easychair.org/conferences/?conf=termgraph2013
Submissions should be in PDF format, using the EPTCS style files
(http://style.eptcs.org/). The Proceedings will be published in
Electronic Proceedings in Theoretical Computer Science (EPTCS).
--------------------------------------------------------------------------
Programme Committee
Patrick Bahr, University of Copenhagen, Denmark
Paolo Baldan, University of Padova, Italy
Andrea Corradini, University of Pisa, Italy
Frank Drewes, Umea University, Sweden
Rachid Echahed (co-chair), CNRS and University of Grenoble, France
Maribel Fernandez, King's College London, UK
Clemens Grabmayer, Utrecht University, the Netherlands
Wolfram Kahl, McMaster University, Canada
Ian Mackie, Ecole Polytechnique, France
Detlef Plump (co-chair), University of York, UK
--------------------------------------------------------------------------
Organizers and Contact
Rachid Echahed, CNRS and University of Grenoble, France
Detlef Plump, University of York, UK
You can contact TERMGRAPH 2013 organizers via termgraph2013 at imag.fr
--------------------------------------------------------------------------
More information about the Agda
mailing list