[Om-announce] RTA 2015: Last Call for Papers- Extended Deadline: title and abstract: 6 February 2015, full paper: 13 February 2015

Sophie Tison sophie.tison at univ-lille1.fr
Tue Feb 3 08:30:16 CET 2015


 ==================================================================
              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; planning; 
cryptographic protocols; security policies;  systems biology; 
linguistics; rewriting in education.

Important Dates:
# Submission: title and abstract: 6 February 2015 
              full paper: 13 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. Papers 
should present original work (i.e., not published or under 
reviewing elsewhere), 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 
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.

Invited Speakers:
Helene Kirchner, INRIA
Grigore Rosu, U. Illinois at Urbana-Champaign
Carolyn Talcott, SRI International

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







More information about the Om-announce mailing list