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 83AF17EFCD; Mon, 13 Oct 2014 08:36:10 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sophie.tison@lifl.fr) identity=pra; client-ip=193.49.225.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@lifl.fr"; x-sender="sophie.tison@lifl.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sophie.tison@lifl.fr) identity=mailfrom; client-ip=193.49.225.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@lifl.fr"; x-sender="sophie.tison@lifl.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp01.univ-lille1.fr) identity=helo; client-ip=193.49.225.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sophie.tison@lifl.fr"; x-sender="postmaster@smtp01.univ-lille1.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloBAK5xO1TBMeETnGdsb2JhbABbFoNLWMsDCoZ5gWgWAREBAQEBAQgLCQkULoQmLB90WxMWiCgECZ8kpCkBAQgBAQEBHo0HhXsPRCSBHgWTAIEFgjaCQoROgS48gwqKTIhfgWtqAYJJAQEB X-IPAS-Result: AloBAK5xO1TBMeETnGdsb2JhbABbFoNLWMsDCoZ5gWgWAREBAQEBAQgLCQkULoQmLB90WxMWiCgECZ8kpCkBAQgBAQEBHo0HhXsPRCSBHgWTAIEFgjaCQoROgS48gwqKTIhfgWtqAYJJAQEB X-IronPort-AV: E=Sophos;i="5.04,708,1406584800"; d="p7s'?scan'208";a="83001249" Received: from smtp01.univ-lille1.fr ([193.49.225.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Oct 2014 08:36:09 +0200 Received: from smtps2.univ-lille1.fr (smtps2.univ-lille1.fr [193.49.225.53]) by smtp01.univ-lille1.fr (8.14.3/8.14.3) with ESMTP id s9D6Hc4e017812; Mon, 13 Oct 2014 08:17:38 +0200 Received: from mars2.lifl.fr (mars2.lifl.fr [134.206.11.85]) (authenticated bits=0) by smtps2.univ-lille1.fr (8.14.3/8.14.3/Debian-5) with ESMTP id s9D6HTfl008527 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Mon, 13 Oct 2014 08:17:29 +0200 From: Sophie Tison Content-Type: multipart/signed; boundary="Apple-Mail=_23519E49-D555-414D-B778-30E2474845C1"; protocol="application/pkcs7-signature"; micalg=sha1 Date: Mon, 13 Oct 2014 08:17:30 +0200 To: "sophie.tison@univ-lille1.fr tison" Message-Id: Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-USTL-MailScanner-Information: Please contact the ISP for more information X-USTL-MailScanner-ID: s9D6Hc4e017812 X-USTL-MailScanner: Found to be clean X-USTL-MailScanner-From: sophie.tison@lifl.fr X-Validation-by: sophie.tison@lifl.fr Subject: [Caml-list] RTA 2015 - First Call For Papers --Apple-Mail=_23519E49-D555-414D-B778-30E2474845C1 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii ================================================================== 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@kcl.ac.uk ****************************************************** Pr. Sophie Tison (RTA publicity chair) LIFL - University of Lille- CNRS www.lifl.fr/~tison sophie.tison@lifl.fr --Apple-Mail=_23519E49-D555-414D-B778-30E2474845C1 Content-Disposition: attachment; filename=smime.p7s Content-Type: application/pkcs7-signature; name=smime.p7s Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEH AQAAoIIIbDCCA7YwggKeoAMCAQICAQMwDQYJKoZIhvcNAQEFBQAwLDELMAkG A1UEBhMCRlIxDTALBgNVBAoTBENOUlMxDjAMBgNVBAMTBUNOUlMyMB4XDTA5 MDEyMTA5MDM1MloXDTI5MDEyMDA5MDM1MlowNTELMAkGA1UEBhMCRlIxDTAL BgNVBAoTBENOUlMxFzAVBgNVBAMTDkNOUlMyLVN0YW5kYXJkMIIBIjANBgkq hkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnKlkarQHIxnDvggIxOIqXe3UKN7+ P6DtkkRrFkc1EzeNdKn1TYPkBRuPCGFM3ndb16n/u2Wdyaw8D/GJe5MioEcP Xwa+jnigC3nXQmVhcmOSQIpbZxD61ic+2HdNHnnbb0sSAFJY4thCBbIzN3fg jWwdvPj28pRYJfeC2YbZXPPYLs39cIkEh+850SrYkoxpLxxSZfpgjxB/zI/5 XC4U7UyL4J03uNI8lMpQ/UF63vY87K7svVwW3bDwc5l6gf87M9IAnk2Mxls4 LjPDdobKclTbLeIQ/ZJQaJOE7XepiWlRhevglKP5lwgRjCTwD7o4tCzW12xO Y/60MZ/vj6ZapQIDAQABo4HZMIHWMA8GA1UdEwEB/wQFMAMBAf8wHQYDVR0O BBYEFBHj2dFSRxtZsTwbeGZr9KGI7QpbMFQGA1UdIwRNMEuAFFCXtg33rDMX r/EdRjxrO/8AoOXloTCkLjAsMQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05S UzEOMAwGA1UEAxMFQ05SUzKCAQAwDgYDVR0PAQH/BAQDAgEGMD4GA1UdHwQ3 MDUwM6AxoC+GLWh0dHA6Ly9jcmxzLnNlcnZpY2VzLmNucnMuZnIvQ05SUzIv Z2V0ZGVyLmNybDANBgkqhkiG9w0BAQUFAAOCAQEAT+njF+ZMJ/UXalBV6u7P TKq97izddj5ZoC8LaInaQ9AeHSxrEvlnE55lK6SE0jHPgqDK7yLoEGzpzxd8 rK2HhUyK4dV7TObZDrKh5CmeIK8PPnu5fyRMMuCI/nrarBZgoXWuiZyKZp2U un6rDiAj7ffHhF2CSBTexNSwxU4sh9SNAxEvNtUpb66ZZxkMjW1aIN/Rn8bL r1XuC8qxWw/vXHT080aJY0d+LM6/yDANAEb2GOZsPzB+kG4QjR85Sc+TaevI nsJnc69Ki/Z8Qijdpd3tr8lVG2Q/VLxhJhDrkdXp9+7Q9gsL+qaQ3WD0QJ0L p5z4zi8hOP6rBr/aDXf6ZzCCBK4wggOWoAMCAQICAwCJCzANBgkqhkiG9w0B AQUFADA1MQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05SUzEXMBUGA1UEAxMO Q05SUzItU3RhbmRhcmQwHhcNMTQwODE5MTIxMDA3WhcNMTYwODE4MTIxMDA3 WjBqMQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05SUzEQMA4GA1UECxMHVU1S ODAyMjEVMBMGA1UEAxMMU29waGllIFRpc29uMSMwIQYJKoZIhvcNAQkBFhRz b3BoaWUudGlzb25AbGlmbC5mcjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCC AQoCggEBANlWj/42IGQLTRvSmRo0+1nmHyZstfp/orP3RYDlfWRXkcAwOiRH 6oFnab1KBlEAaGOkGX4m+wlRdEh6aCLGjOfPvTSnkA5OPiJKnsFR+ek3nldn +7pIXWDG3d92OaIe/Mn1RiwduYoN+tBJB+TdrqsrbQ1RkAwrOMWXroAS7yRs zspCLUpt6IGeuzBce52qt+2i8XnPE+w/cuIvnGWQpn/V3KdiNpCz177AqJnV CWysbqnVImF1C7DE3wV7gR7qkrx1mv5SFeJaKCRxcUmmnGX22u/XMWtoFDBF 8RVXDdXEeFUC5AwtvLQKpXTwj9Q+cdFQn8+wjYF1vObwjRBgXikCAwEAAaOC AZAwggGMMAwGA1UdEwEB/wQCMAAwEQYJYIZIAYb4QgEBBAQDAgSwMA4GA1Ud DwEB/wQEAwIF4DB6BglghkgBhvhCAQ0EbRZrQ2VydGlmaWNhdCBDTlJTMi1T dGFuZGFyZC4gUG91ciB0b3V0ZSBpbmZvcm1hdGlvbiBzZSByZXBvcnRlciDg IGh0dHA6Ly9pZ2Muc2VydmljZXMuY25ycy5mci9DTlJTMi1TdGFuZGFyZC8w HQYDVR0OBBYEFFUMtrMSMSmPLqJc4IUXm5mipBceMFQGA1UdIwRNMEuAFBHj 2dFSRxtZsTwbeGZr9KGI7QpboTCkLjAsMQswCQYDVQQGEwJGUjENMAsGA1UE ChMEQ05SUzEOMAwGA1UEAxMFQ05SUzKCAQMwHwYDVR0RBBgwFoEUc29waGll LnRpc29uQGxpZmwuZnIwRwYDVR0fBEAwPjA8oDqgOIY2aHR0cDovL2NybHMu c2VydmljZXMuY25ycy5mci9DTlJTMi1TdGFuZGFyZC9nZXRkZXIuY3JsMA0G CSqGSIb3DQEBBQUAA4IBAQAZoi/vI/jkxtM/+v5J9bg9LKqNU7EgB8M5HbiG +pBHc4LEZAUpP5vVwlZYrFIo3qnrKqzPSsVF+zA7tBvIFYtDc0j6g6yte4Xm AEGBlmCFsyvhMaprN4WmLFJn6vl5uEpkmXGcXg3n74BuD7jPqTikPM1rt8VC OBih/41zwWtpVeeYGrc1B+AxOnhjLaQVFymheBWBHllrhCVlrJUCoBOy5hem AE9bwq0Ftu+I9mSPB5lSRFhfrKDaBV614jjHBVDla7nqto0g69pRVjW4Wg+u 2dX0+AD9IZQy+RfFeDzVPguY5oZnw1TaBty//IVpyilNkmCxSTqm1nwQZw6i gUN+MYICXzCCAlsCAQEwPDA1MQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05S UzEXMBUGA1UEAxMOQ05SUzItU3RhbmRhcmQCAwCJCzAJBgUrDgMCGgUAoIH5 MBgGCSqGSIb3DQEJAzELBgkqhkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTE0 MTAxMzA2MTczMFowIwYJKoZIhvcNAQkEMRYEFPAAGUrcQEPtpUXtzRknBwZ8 JU7dMEsGCSsGAQQBgjcQBDE+MDwwNTELMAkGA1UEBhMCRlIxDTALBgNVBAoT BENOUlMxFzAVBgNVBAMTDkNOUlMyLVN0YW5kYXJkAgMAiQswTQYLKoZIhvcN AQkQAgsxPqA8MDUxCzAJBgNVBAYTAkZSMQ0wCwYDVQQKEwRDTlJTMRcwFQYD VQQDEw5DTlJTMi1TdGFuZGFyZAIDAIkLMA0GCSqGSIb3DQEBAQUABIIBAMsT lnj8DqMs+JGSK/AXFKRQwaf70tCE0NOojKtPexBQGQ6dIww7ysCWZ88eiRAA N36FQkvI5/9BODtpwR9sSX3u988l09nMc4M7Ivnzkr2dRcdUil6ciIJC0ImG 0O8vnO6jgDSD0ZqR9sB+wD3C1HQUov4xJceIv9JtCtRYkA6eVEpiFVZZqKPi AUpQL6o5VdLaFW8XrzlZazTVamvsxrKb9NVBcWkmYk9jQW3GjDq0zNNQUUxP ecCVRhxOjdyXOA20CHj/nCN8uq29Z+AMvhIAyM+E0OcA39vzn05b9YSIlpOs T3c3cX/3DuFdhid3MtifieLSsXqjvFGEW5lPwFUAAAAAAAA= --Apple-Mail=_23519E49-D555-414D-B778-30E2474845C1--