RTA 2015 - First Call For Papers

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 20 Oct 2014 13:09:40 +0200

==================================================================
              RTA 2015 - CALL FOR PAPERS
           26th International Conference on
        REWRITING TECHNIQUES AND APPLICATIONS
        29 June - 1 July, 2015, Warsaw, Poland
      co-located with TLCA, as part of RDP 2015
           http://rdp15.mimuw.edu.pl/
==================================================================

RTA is the major forum for the presentation of research on all
aspects of rewriting. Topics of interest include:

* Foundations: string, term, net and graph rewriting; higher-order
rewriting; binding techniques; constrained rewriting and deduction;
categorical and infinitary rewriting; stochastic rewriting;
higher-dimensional rewriting; tree automata; confluence;
termination; complexity; modularity; equational logic;
universal algebra; rewriting logic; rewriting calculi.

* Algorithmic aspects and implementation: strategies; matching;
unification; anti-unification; narrowing; completion; parallel
execution; certification of rewriting properties; abstract machines;
automated (non)termination and confluence provers; automated
complexity analysis; system descriptions.

* Applications of rewriting: programming languages (functional,
logic, object-oriented and other programming paradigms); type
systems; program analysis, transformation and optimisation;
rewriting models of programs; semantics; process calculi;
functional calculi; explicit substitution; constraint solving;
symbolic and algebraic computation; theorem proving;
proof checking; system modelling; system synthesis and
verification; XML queries and transformations; cryptographic
protocols; security policies; systems biology; linguistics;
rewriting in education.

Important Dates:
# Submission: title and abstract: 30 January 2015
              full paper: 6 February 2015
# Rebuttal period: 19-21 March 2015
# Notification: 8 April 2015
# Final version: 25 April 2015

Submission and publication:
The RTA 2015 proceedings will be published by LIPIcs (Leibniz
International Proceedings in Informatics). Papers should present
original work, and should be submitted via Easychair:
https://www.easychair.org/conferences/?conf=rta2015
Papers should be at most 15 pages (10 for system descriptions)
in the style described in:
http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz
This year we particularly welcome submissions on applications of
rewriting. Application papers are regular papers (15 pages); their
originality is judged based on the novelty of the application or the
depth of the rewriting methods applied.
System description papers present new software tools in which
rewriting plays an important role, or significantly new versions
of such tools. The paper should also include an evaluation of the
tool.

Programme Committee:
M. Ayala-Rincon, U. Brasilia
H. Cirstea, Loria Nancy
S. Delaune, ENS Cachan
A. Di Pierro, U. Verona
G. Dowek, Inria
M. Fernandez, KCL, chair
J. Giesl, RWTH Aachen U.
M. Hanus, CAU Kiel
D. Kesner, U. Paris-Diderot
T. Kutsia, Johannes Kepler U. Linz
J. Levy, IIIA-CSIC Barcelona
S. Lucas, Polytechnic U. Valencia
C. Lynch, Clarkson U.
I. Mackie, E. Polytechnique
G. Moser, U. Innsbruck
D. Plump, U. York
F. van Raamsdonk, VU Amsterdam
K. Rose, Two Sigma, US
M. Sakai, Nagoya U.
A. Scedrov, U. Pennsylvania
M. Schmidt-Schauss, U. Frankfurt
C. Schuermann, ITU Copenhagen
P. Selinger, Dalhousie U.
P. Severi, U. Leicester
K. Ueda, Waseda U.

Conference Chair:
Aleksy Schubert
Warsaw University

For more information, please contact the PC chair:
Maribel.Fernandez_at_kcl.ac.uk
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mon Oct 20 2014 - 13:12:39 CEST

This archive was generated by hypermail 2.3.0 : Thu Sep 19 2019 - 07:15:09 CEST