From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F056F7F6CC; Tue, 3 Feb 2015 08:51:43 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sophie.tison@univ-lille1.fr) identity=pra; client-ip=193.49.225.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@univ-lille1.fr"; x-sender="sophie.tison@univ-lille1.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sophie.tison@univ-lille1.fr designates 193.49.225.20 as permitted sender) identity=mailfrom; client-ip=193.49.225.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@univ-lille1.fr"; x-sender="sophie.tison@univ-lille1.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp02.univ-lille1.fr) identity=helo; client-ip=193.49.225.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@univ-lille1.fr"; x-sender="postmaster@smtp02.univ-lille1.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DLAAC4fdBUnBThMcFaDoNKxVMKhSdKgR9DAQEBAQERAQEBAQEICwkJFC6EMB0uEVZoExaIGwnVawEBAQEGAQEBAQEBAQEBGYMMiTyDMII0DEAdgRMFkleCDYRhNoJNgiOMH4JUfz5uAYJBAQEB X-IPAS-Result: A0DLAAC4fdBUnBThMcFaDoNKxVMKhSdKgR9DAQEBAQERAQEBAQEICwkJFC6EMB0uEVZoExaIGwnVawEBAQEGAQEBAQEBAQEBGYMMiTyDMII0DEAdgRMFkleCDYRhNoJNgiOMH4JUfz5uAYJBAQEB X-IronPort-AV: E=Sophos;i="5.09,511,1418079600"; d="scan'208";a="98631130" Received: from smtp02.univ-lille1.fr ([193.49.225.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Feb 2015 08:51:43 +0100 Received: from smtps1.univ-lille1.fr (smtps1.univ-lille1.fr [193.49.225.52]) by smtp02.univ-lille1.fr (8.14.3/8.14.3) with ESMTP id t137UXGH013858; Tue, 3 Feb 2015 08:30:33 +0100 Received: from [192.168.0.11] (81-67-78-12.rev.numericable.fr [81.67.78.12]) (authenticated bits=0) by smtps1.univ-lille1.fr (8.14.3/8.14.3/Debian-5) with ESMTP id t137UHmB009529 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Tue, 3 Feb 2015 08:30:17 +0100 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) From: Sophie Tison Date: Tue, 3 Feb 2015 08:30:16 +0100 Cc: "sophie.tison@univ-lille1.fr Tison" Content-Transfer-Encoding: 7bit Message-Id: <1C259AFC-B94F-412F-8143-C9C048179167@univ-lille1.fr> To: Maria Isabel Fernandez X-Mailer: Apple Mail (2.1510) X-USTL-MailScanner-Information: Please contact the ISP for more information X-USTL-MailScanner-ID: t137UXGH013858 X-USTL-MailScanner: Found to be clean X-USTL-MailScanner-From: sophie.tison@univ-lille1.fr X-Validation-by: sophie.tison@univ-lille1.fr Subject: [Caml-list] RTA 2015: Last Call for Papers- Extended Deadline: title and abstract: 6 February 2015, full paper: 13 February 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@kcl.ac.uk