<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>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;RTA 2013: SECOND CALL FOR PAPERS</div><div><br></div><div>24th International Conference on Rewriting Techniques and Applications</div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; June 24 - 26, 2013</div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Eindhoven, The Netherlands</div><div>&nbsp;</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; collocated with TLCA 2013 as part of RDP 2013&nbsp;</div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<a href="http://rta2013.few.vu.nl/">http://rta2013.few.vu.nl/</a></div><div><br></div><div>*************************************************************************</div><div>abstract submission &nbsp; &nbsp;February 1 &nbsp; 2013</div><div>paper submission &nbsp; &nbsp; &nbsp; February 5 &nbsp; 2013</div><div>rebuttal period &nbsp; &nbsp; &nbsp; &nbsp;March 18-21 &nbsp;2013&nbsp;</div><div>notification &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; April 4 &nbsp; &nbsp; &nbsp;2013</div><div>final version &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;April 26 &nbsp; &nbsp; 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,&nbsp;</div><div>Deduction, and Programming (RDP 2013), together with the 11th International&nbsp;</div><div>Conference on Typed Lambda Calculi and Applications (TLCA 2013), and several&nbsp;</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)&nbsp;</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&nbsp;</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&nbsp;</div><div>&nbsp; (functional and logic) programming; symbolic and algebraic computation;&nbsp;</div><div>&nbsp; SMT solving; theorem proving; system synthesis and verification; proof&nbsp;</div><div>&nbsp; checking; reasoning about programming languages and logics; program&nbsp;</div><div>&nbsp; transformation; XML queries and transformations; systems biology;</div><div>&nbsp; homotopy theory; implicit computational complexity;&nbsp;</div><div><br></div><div>Foundations: equational logic; universal algebra; rewriting logic;&nbsp;</div><div>&nbsp; rewriting models of programs; matching and unification; narrowing;&nbsp;</div><div>&nbsp; completion techniques; strategies; rewriting calculi; constraint solving;&nbsp;</div><div>&nbsp; tree automata; termination; complexity; modularity;&nbsp;</div><div><br></div><div>Frameworks: string, term, and graph rewriting; lambda-calculus and&nbsp;</div><div>&nbsp; higher-order rewriting; constrained rewriting/deduction; categorical and&nbsp;</div><div>&nbsp; infinitary rewriting; stochastic rewriting; net rewriting; binding&nbsp;</div><div>&nbsp; techniques; Petri nets; higher-dimensional rewriting;</div><div><br></div><div>Implementation: implementation techniques; parallel execution; rewrite and&nbsp;</div><div>&nbsp; completion tools; certification of rewriting properties; abstract&nbsp;</div><div>&nbsp; machines; explicit substitutions; automated (non)termination and&nbsp;</div><div>&nbsp; confluence provers; automated complexity analysis.</div><div><br></div><div>*** PUBLICATION ***</div><div>The proceedings will be published by LIPIcs (Leibniz International&nbsp;</div><div>Proceedings in Informatics). LIPIcs is open access, meaning that&nbsp;</div><div>publications will be available online and free of charge, and authors&nbsp;</div><div>keep the copyright for their papers. LIPIcs publications are indexed&nbsp;</div><div>in DBLP. For more information about LIPIcs please consult:</div><div>&nbsp; &lt;<a href="http://www.dagstuhl.de/en/publications/lipics">http://www.dagstuhl.de/en/publications/lipics</a>&gt;</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>&nbsp; &lt;<a href="http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz">http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz</a>&gt;,</div><div>- at most 10 pages for system description,</div><div>&nbsp; at most 15 pages for the other two types of submissions</div><div>- submitted electronically through the EasyChair system at:</div><div>&nbsp; &lt;<a href="https://www.easychair.org/conferences/?conf=rta2013">https://www.easychair.org/conferences/?conf=rta2013</a>&gt;.</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&nbsp;</div><div>which is not subject to the page limit. However, submissions must be&nbsp;</div><div>self-contained within the respective page limit; reading the appendix should&nbsp;</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 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; National University of Quilmes, Argentina</div><div>Byron Cook &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Microsoft Research Cambridge, UK</div><div>Stephanie Delaune &nbsp; &nbsp; &nbsp; &nbsp; ENS Cachan, France</div><div>Gilles Dowek &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Inria Paris-Rocquencourt, France</div><div>Maribel Fernandez &nbsp; &nbsp; &nbsp; &nbsp; King's College London, UK</div><div>Nao Hirokawa &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;JAIST Ishikawa, Japan</div><div>Delia Kesner &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University Paris-Diderot, France&nbsp;</div><div>Helene Kirchner &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Inria Paris-Rocquencourt, France</div><div>Barbara Koenig &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University Duisburg Essen, Germany</div><div>Temur Kutsia &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Johannes Kepler University Linz, Austria</div><div>Aart Middeldorp &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; University of Innsbruck, Austria</div><div>Vincent van Oostrom &nbsp; &nbsp; &nbsp; Utrecht University, The Netherlands</div><div>Femke van Raamsdonk &nbsp; &nbsp; &nbsp; VU University Amsterdam, The Netherlands</div><div>Kristoffer Rose &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; IBM Research New York, USA</div><div>Manfred Schmidt-Schauss &nbsp; Goethe University Frankfurt, Germany</div><div>Peter Selinger &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Dalhousie University, Canada&nbsp;</div><div>Paula Severi &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University of Leicester, UK</div><div>Aaron Stump &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; The University of Iowa, USA</div><div>Tarmo Uustalu &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Institute of Cybernetics Tallinn, Estonia&nbsp;</div><div>Roel de Vrijer &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;VU University Amsterdam, The Netherlands</div><div>Johannes Waldmann &nbsp; &nbsp; &nbsp; &nbsp; HTWK Leipzig, Germany</div><div>Hans Zantema &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;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 &nbsp; &nbsp;Brasilia University, Brasilia</div><div>Frederic Blanqui &nbsp; &nbsp; &nbsp; &nbsp; INRIA Tsinghua University Beijing, China</div><div>Salvador Lucas &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Technical University of Valencia, Spain</div><div>Georg Moser (chair) &nbsp; &nbsp; &nbsp;University of Innsbruck, Austria</div><div>Masahiko Sakai &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Nagoya University, Japan</div><div>Sophie Tison &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; University of Lille, France</div><div><br></div><div>*** FURTHER INFORMATION ***</div><div>Questions related to submission, reviewing, and programme should be sent to&nbsp;</div><div>the programme committee chair Femke van Raamsdonk, email femke at&nbsp;<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:&nbsp;<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>