[TYPES/announce] Fwd: [rewriting] Call for Papers: TERMGRAPH 2016

[Detlef Plump]

  [Sorry if you receive multiple copies of this message.]
------------------------------------------------------------

                      CALL FOR PAPERS

                      TERMGRAPH  2016
               9th International Workshop on
              Computing with Terms and Graphs

              a Satellite Event of ETAPS 2016
                Eindhoven, NL, April 8, 2016

          http://www.win.tue.nl/~hzantema/tg.html
------------------------------------------------------------

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

                    Programme 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]
------------------------------------------------------------

                        Submissions

Extended abstracts of at most 5 pages can be submitted. This
may include both original work and tutorials on any of the
above mentioned topics; also unfinished work is welcome.
The page limit for submissions in both categories is 5 pages
in EPTCS style: see <http://style.eptcs.org/>

Submissions should be submitted electronically in PDF via
the EasyChair submission site
<http://www.easychair.org/conferences/?conf=termgraph2016>
no later than February 8, 2016.  Papers will be judged on
relevance, originality, correctness, and usefulness.  The
informal proceedings of TERMGRAPH 2016 will be included on
the Etaps USB flash drive. Final versions of accepted papers
will be collected in EPTCS proceedings.
------------------------------------------------------------

                      Important Dates

February 8, 2016           Submission deadline
February 22, 2016          Notification
March 7,2016               Final version
April 8, 2016              Workshop in Eindhoven
------------------------------------------------------------

                          Contact

Andrea Corradini  <andrea at di.unipi.it>
Hans Zantema      <h.zantema at tue.nl>
------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151229/da8e0219/attachment-0001.html>