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 D73A57FBC5; Thu, 8 Jan 2015 14:43:30 +0100 (CET) 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: Ak8AAEaIrlTBMeETnGdsb2JhbABcDoNKWMV3CoUpSoERQwEBAQEBEQEBAQEBCAsJCRQuhDBLEWNbExaIFgQJxxoBAQEHAQEBAQEdjEmDMII0DEAdgRMFj3+Bd4IDg0GBDjCCQY1vgjGBIj5uAYJCAQEB X-IPAS-Result: Ak8AAEaIrlTBMeETnGdsb2JhbABcDoNKWMV3CoUpSoERQwEBAQEBEQEBAQEBCAsJCRQuhDBLEWNbExaIFgQJxxoBAQEHAQEBAQEdjEmDMII0DEAdgRMFj3+Bd4IDg0GBDjCCQY1vgjGBIj5uAYJCAQEB X-IronPort-AV: E=Sophos;i="5.07,723,1413237600"; d="p7s'?scan'208";a="95745581" Received: from smtp01.univ-lille1.fr ([193.49.225.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Jan 2015 14:43:28 +0100 Received: from smtps1.univ-lille1.fr (smtps1.univ-lille1.fr [193.49.225.52]) by smtp01.univ-lille1.fr (8.14.3/8.14.3) with ESMTP id t08DTMaW005069; Thu, 8 Jan 2015 14:29:22 +0100 Received: from mars2.lifl.fr (mars2.lifl.fr [134.206.11.85]) (authenticated bits=0) by smtps1.univ-lille1.fr (8.14.3/8.14.3/Debian-5) with ESMTP id t08DTDts032461 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Thu, 8 Jan 2015 14:29:13 +0100 From: Sophie Tison Content-Type: multipart/signed; boundary="Apple-Mail=_C476D85B-3C0D-4626-910F-F5799EF0C39E"; protocol="application/pkcs7-signature"; micalg=sha1 Message-Id: Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) Date: Thu, 8 Jan 2015 14:29:11 +0100 Cc: "sophie.tison@univ-lille1.fr tison" 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: t08DTMaW005069 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: 2nd CFP --Apple-Mail=_C476D85B-3C0D-4626-910F-F5799EF0C39E 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; planning; 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. 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 --Apple-Mail=_C476D85B-3C0D-4626-910F-F5799EF0C39E 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 MBgGCSqGSIb3DQEJAzELBgkqhkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTE1 MDEwODEzMjkxMVowIwYJKoZIhvcNAQkEMRYEFBtsul6GaJ9c+8PeZuwFi15x YUaEMEsGCSsGAQQBgjcQBDE+MDwwNTELMAkGA1UEBhMCRlIxDTALBgNVBAoT BENOUlMxFzAVBgNVBAMTDkNOUlMyLVN0YW5kYXJkAgMAiQswTQYLKoZIhvcN AQkQAgsxPqA8MDUxCzAJBgNVBAYTAkZSMQ0wCwYDVQQKEwRDTlJTMRcwFQYD VQQDEw5DTlJTMi1TdGFuZGFyZAIDAIkLMA0GCSqGSIb3DQEBAQUABIIBABEJ TSthBt5iy7WN5oX7KLvh/lHIu99vo8Fw5rtuK8petC7IS07/3vyJLgV5SqB6 mUVbIENePB6W4iBdyZf7lynI/7/TfMIIgNmuThVbR2jQHG4SYtKFzTBUIvMB pHDNX8iKBp11tws6zL9qBAjT1SSx3ppinqYJqKNt+xZyVBExE5z54EJygFF2 v5YIY/4cPHQApHfnocljA0Fs4FHKElLsrgpWA3fCl+x5iCIZhpFmBY0ZIldF +A76GnZtVWvnsQyG/hzbPXw67HfE3iM9FEo9VFvH3ZPV0QMR3jlA+DaZUzjS V4b1J89WkIrNV+ZXbqUmvhy809kjBl02W2N8L4kAAAAAAAA= --Apple-Mail=_C476D85B-3C0D-4626-910F-F5799EF0C39E--