From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CAB947ED9B for ; Tue, 20 May 2014 09:11:19 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kutsia@risc.jku.at) identity=pra; client-ip=140.78.116.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kutsia@risc.jku.at) identity=mailfrom; client-ip=140.78.116.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtpauthhost.risc.uni-linz.ac.at) identity=helo; client-ip=140.78.116.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="postmaster@smtpauthhost.risc.uni-linz.ac.at"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhEFAOb+elOMTnQn/2dsb2JhbABZFoJwUcYBFnSCSRUBBX00AjghBgIBARKIKwQJnlC0H4tAgyuEKgSZYIE9hS2GSIVrgzpr X-IPAS-Result: AhEFAOb+elOMTnQn/2dsb2JhbABZFoJwUcYBFnSCSRUBBX00AjghBgIBARKIKwQJnlC0H4tAgyuEKgSZYIE9hS2GSIVrgzpr X-IronPort-AV: E=Sophos;i="4.98,872,1392159600"; d="scan'208";a="74772340" Received: from smtpauthhost.risc.uni-linz.ac.at ([140.78.116.39]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 May 2014 09:11:19 +0200 Received: from [10.0.0.9] (62-47-252-7.adsl.highway.telekom.at [62.47.252.7]) (authenticated bits=0) by smtpauthhost.risc.uni-linz.ac.at (8.14.3/8.14.3/Debian-9.4) with ESMTP id s4K7BHSg003134 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Tue, 20 May 2014 09:11:17 +0200 Message-ID: <537B0010.80003@risc.jku.at> Date: Tue, 20 May 2014 09:11:12 +0200 From: Temur Kutsia User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: kutsia@risc.jku.at Subject: [Caml-list] ISR 2014: call for participation (apologies for multiple copies) CALL FOR PARTICIPATION ISR 2014 7th International School on Rewriting http://isr2014.inf.utfsm.cl August 25-29, 2014 Universidad Técnica Federíco Santa María Valparaíso, Chile Co-located with the 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014) http://web.ing.puc.cl/~wollic Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming, which are taught at the universitary level in many countries. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) and are implemented in popular systems like Mathematica, Autocad, and others. Rewriting techniques play a relevant role in computing research, education, and industry. The International School on Rewriting is promoted by the IFIP Working Group 1.6 Term Rewriting. The school is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications. Two tracks are offered, including the lectures and the courses: - Track A: for newcomers in the field, or just for people who want to obtain a new, updated exposure. - Track B: for those who want to get deeper in the most recent developments and applications of rewriting. CONFIRMED LECTURERS Mauricio Ayala-Rincón, Universidade de Brasília, Brazil Eduardo Bonelli, Universidad de Quilmes, Argentina Claude Kirchner, INRIA, France Helene Kirchner, INRIA, France Aart Middeldorp. University of Innsbruck, Austria Pierre-Etienne Moreau, École des Mines de Nancy, France Camilo Rocha, Escuela Colombiana de Ingeniería, Colombia Johannes Waldmann, HTWK Leipzig, Germany Sarah Winkler, University of Innsbruck, Austria The detailed programme can be found at: http://isr2014.inf.utfsm.cl/programme REGISTRATION FEES 300 USD (early registration, until July 15, 2014) 400 USD (late registration, from July 16, 2014) For more information, please visit our web site or contact isr2014@inf.utfsm.cl ORGANIZING COMMITTEE Mauricio Ayala-Rincón, UNB, Brazil Carlos Castro (chair), UTFSM, Chile Nicolás Gálvez, UTFSM, Chile Claude Kirchner, INRIA, France Álvaro Luzzi, UTFSM, Chile Christophe Ringeissen, INRIA, France María Elena Rodríguez, UTFSM, Chile