<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div><br></div><div> RTA 2013: SECOND CALL FOR PAPERS</div><div><br></div><div>24th International Conference on Rewriting Techniques and Applications</div><div><br></div><div> June 24 - 26, 2013</div><div><br></div><div> Eindhoven, The Netherlands</div><div> </div><div> collocated with TLCA 2013 as part of RDP 2013 </div><div><br></div><div> <a href="http://rta2013.few.vu.nl/">http://rta2013.few.vu.nl/</a></div><div><br></div><div>*************************************************************************</div><div>abstract submission February 1 2013</div><div>paper submission February 5 2013</div><div>rebuttal period March 18-21 2013 </div><div>notification April 4 2013</div><div>final version April 26 2013</div><div>*************************************************************************</div><div><br></div><div>The 24th International Conference on Rewriting Techniques and Applications</div><div>(RTA 2013) is organized as part of the Federated Conference on Rewriting, </div><div>Deduction, and Programming (RDP 2013), together with the 11th International </div><div>Conference on Typed Lambda Calculi and Applications (TLCA 2013), and several </div><div>workshops. RDP 2013 will be held at the Eindhoven University of Technology</div><div>in the Netherlands.</div><div><br></div><div>*** INVITED SPEAKERS (NEW) ***</div><div>- Simon Peyton-Jones (Microsoft Research, UK) </div><div>joint invited speaker for TLCA+RTA 2013</div><div>- Jarkko Kari (University of Turku, Finland) invited speaker for RTA 2013</div><div>- Mitsu Okada (Keio University, Japan) invited speaker for RTA 2013</div><div><br></div><div>*** TOPICS OF INTEREST ***</div><div>RTA is the major forum for the presentation of research on all aspects of </div><div>rewriting. Typical areas of interest include (but are not limited to):</div><div><br></div><div>Applications: case studies; analysis of cryptographic protocols; rule-based </div><div> (functional and logic) programming; symbolic and algebraic computation; </div><div> SMT solving; theorem proving; system synthesis and verification; proof </div><div> checking; reasoning about programming languages and logics; program </div><div> transformation; XML queries and transformations; systems biology;</div><div> homotopy theory; implicit computational complexity; </div><div><br></div><div>Foundations: equational logic; universal algebra; rewriting logic; </div><div> rewriting models of programs; matching and unification; narrowing; </div><div> completion techniques; strategies; rewriting calculi; constraint solving; </div><div> tree automata; termination; complexity; modularity; </div><div><br></div><div>Frameworks: string, term, and graph rewriting; lambda-calculus and </div><div> higher-order rewriting; constrained rewriting/deduction; categorical and </div><div> infinitary rewriting; stochastic rewriting; net rewriting; binding </div><div> techniques; Petri nets; higher-dimensional rewriting;</div><div><br></div><div>Implementation: implementation techniques; parallel execution; rewrite and </div><div> completion tools; certification of rewriting properties; abstract </div><div> machines; explicit substitutions; automated (non)termination and </div><div> confluence provers; automated complexity analysis.</div><div><br></div><div>*** PUBLICATION ***</div><div>The proceedings will be published by LIPIcs (Leibniz International </div><div>Proceedings in Informatics). LIPIcs is open access, meaning that </div><div>publications will be available online and free of charge, and authors </div><div>keep the copyright for their papers. LIPIcs publications are indexed </div><div>in DBLP. For more information about LIPIcs please consult:</div><div> <<a href="http://www.dagstuhl.de/en/publications/lipics">http://www.dagstuhl.de/en/publications/lipics</a>></div><div><br></div><div>*** SUBMISSION GUIDELINES ***</div><div>Submissions must be</div><div>- original and not submitted for publication elsewhere,</div><div>- written in English,</div><div>- a research paper, or a problem set, or a system description,</div><div>- in pdf prepared with pdflatex using the LIPIcs stylefile:</div><div> <<a href="http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz">http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz</a>>,</div><div>- at most 10 pages for system description,</div><div> at most 15 pages for the other two types of submissions</div><div>- submitted electronically through the EasyChair system at:</div><div> <<a href="https://www.easychair.org/conferences/?conf=rta2013">https://www.easychair.org/conferences/?conf=rta2013</a>>.</div><div><br></div><div>The page limit and the deadline for submission are strict.</div><div><br></div><div>Additional material for instance proof details, may be given in an appendix </div><div>which is not subject to the page limit. However, submissions must be </div><div>self-contained within the respective page limit; reading the appendix should </div><div>not be necessary to assess the merits of a submission.</div><div><br></div><div>*** PROGRAMME COMMITTEE CHAIR ***</div><div><br></div><div>Femke van Raamsdonk (VU University Amsterdam, The Netherlands)</div><div><br></div><div>*** PROGRAMME COMMITTEE ***</div><div><br></div><div>Eduardo Bonelli National University of Quilmes, Argentina</div><div>Byron Cook Microsoft Research Cambridge, UK</div><div>Stephanie Delaune ENS Cachan, France</div><div>Gilles Dowek Inria Paris-Rocquencourt, France</div><div>Maribel Fernandez King's College London, UK</div><div>Nao Hirokawa JAIST Ishikawa, Japan</div><div>Delia Kesner University Paris-Diderot, France </div><div>Helene Kirchner Inria Paris-Rocquencourt, France</div><div>Barbara Koenig University Duisburg Essen, Germany</div><div>Temur Kutsia Johannes Kepler University Linz, Austria</div><div>Aart Middeldorp University of Innsbruck, Austria</div><div>Vincent van Oostrom Utrecht University, The Netherlands</div><div>Femke van Raamsdonk VU University Amsterdam, The Netherlands</div><div>Kristoffer Rose IBM Research New York, USA</div><div>Manfred Schmidt-Schauss Goethe University Frankfurt, Germany</div><div>Peter Selinger Dalhousie University, Canada </div><div>Paula Severi University of Leicester, UK</div><div>Aaron Stump The University of Iowa, USA</div><div>Tarmo Uustalu Institute of Cybernetics Tallinn, Estonia </div><div>Roel de Vrijer VU University Amsterdam, The Netherlands</div><div>Johannes Waldmann HTWK Leipzig, Germany</div><div>Hans Zantema Eindhoven University of Technology, The Netherlands</div><div><br></div><div>*** CONFERENCE CHAIR ***</div><div><br></div><div>Hans Zantema (Eindhoven University of Technology, The Netherlands)</div><div><br></div><div>*** STEERING COMMITTEE ***</div><div><br></div><div>Mauricio Ayala-Rincon Brasilia University, Brasilia</div><div>Frederic Blanqui INRIA Tsinghua University Beijing, China</div><div>Salvador Lucas Technical University of Valencia, Spain</div><div>Georg Moser (chair) University of Innsbruck, Austria</div><div>Masahiko Sakai Nagoya University, Japan</div><div>Sophie Tison University of Lille, France</div><div><br></div><div>*** FURTHER INFORMATION ***</div><div>Questions related to submission, reviewing, and programme should be sent to </div><div>the programme committee chair Femke van Raamsdonk, email femke at <a href="http://few.vu.nl/">few.vu.nl</a>.</div><div apple-content-edited="true">
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Pr. Sophie Tison<br>LIFL - University of Lille- CNRS<br>Cité Scientifique</div><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Bâtiment M3<br>59655 Villeneuve d'Ascq Cedex<br><a href="http://www.lifl.fr/~tison">www.lifl.fr/~tison</a><br><a href="mailto:sophie.tison@lifl.fr">sophie.tison@lifl.fr</a><br>Phone: <span class="Apple-tab-span" style="white-space: pre; ">        </span>(33 | 0)3 28 77 85 42 (M3)<br><div><span class="Apple-tab-span" style="white-space: pre; ">        </span><span class="Apple-tab-span" style="white-space: pre; ">        </span>(33 | 0)3 59 35 87 14 (Haute-Borne)</div><div><br></div></div></span><br class="Apple-interchange-newline"></div></span><br class="Apple-interchange-newline"></div></span><br class="Apple-interchange-newline"></span><br class="Apple-interchange-newline">
</div>
<br></body></html>