From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_EF,FROM_EXCESS_BASE64,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_DKIMWL_WL_MED autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ed1-x540.google.com (mail-ed1-x540.google.com [IPv6:2a00:1450:4864:20::540]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id b37ea252 for ; Mon, 6 May 2019 06:28:52 +0000 (UTC) Received: by mail-ed1-x540.google.com with SMTP id p14sf2110484edc.4 for ; Sun, 05 May 2019 23:28:52 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1557124132; cv=pass; d=google.com; s=arc-20160816; b=Yq0iw24/53gdNy6Vm85taDPHo8m6KD8r/6hpuhM43kmIN4GmFhsiJSupFkqKWK21pi +CWUSqlig8EMGTpsO4ZBrDggucV6AIilgA4uVGrxH3cOKCmhurh9gOd87y2hBPpAnbsh 8gemN6FXwoSxM6Na7bzc1dO5+Ni1re+m6CwLSuI3fBBItjwTZuhdB0H3N0A4bdTmjoQx 2w//gGRAiExVgT3sMQUJaLO919GltrHfZVJI40axahVZ6aBeADFj/HVF8ITzVoKgZHgq Ci7CzBONLvLlB3QsUAin9HPAqe53x78snTeBgWLqGSU86ejgEyQeWbllDbHKcfiMxQgm iBXA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-language:content-transfer-encoding :in-reply-to:mime-version:user-agent:date:message-id:from:to :references:subject:sender:dkim-signature; bh=vvwlRk7Y4ScmnZ/qN86odp7mBEpQGUiSmMQLwZzOc6I=; b=z/YCMzB0aA2PgRTi622vsr+3kQFpoRU/gVHCownwxe7Yc3+64HnmclWDOlccdkm1Rp WngRm2CweKv7LyyYuYOUhxW46MeWyrqJG3NGoDD50++NUashIxWdk41L/PJZSpilzKx2 LmFOz/k6mAAieje0ILpl34UR1VqxCPt2/IC0EW3gxfZNxqXaOAowU3hGF0/NP5PHl4FV RDYMa4jfPEH6LN2FF/4iGDNZw+nAZONcij6zhS1JFs6z1c8hvC+FzmJtVkQ39DFZ5r0X fYEB8c8Itc+hgakyTDwitIG2ULC365+ScLFBp++fo2Btn8oE18c1dldhj7ie+UWN6Q2N YWnw== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:subject:references:to:from:message-id:date:user-agent :mime-version:in-reply-to:content-transfer-encoding:content-language :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=vvwlRk7Y4ScmnZ/qN86odp7mBEpQGUiSmMQLwZzOc6I=; b=JAuc1JBsSXuwCowqmkekDd8ysv3GU+tMSwGUGtJu1VcEgBYPW8nxu8rozC/4CzGSFp aiPkK+ryUvMtWKF5pVDUnBXLlCQddssFwkB8WGCptwnVdz0ikGbJO24Evgtq7NDKAL80 yeTlvh9MMqNrF3dmH40ZvxYSBPxnDwR/EtgGZfdUpfe2kYiVQXsfUjjIqHuaHR2uT+80 M/CCu1stHc2NSQdH5z3OvnpQ5nF0Z3ELoWYlNax1l5GvK5mOm/c8msJfgXVsULOCeEOG S5w4AsRYlag1IMLmmebjbs2bblHgJHEjGBwNBwWbdh4ILqNCGN8Zl34VquCktGdp7StX +rIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:subject:references:to:from:message-id :date:user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=vvwlRk7Y4ScmnZ/qN86odp7mBEpQGUiSmMQLwZzOc6I=; b=DXfcxLFNnaqbvA37mSUKLiRTmGbfW1RSXiM5DSDF7P/ikpkcwGmjodrAoHfE0OIz2E 3EVOKvHJ0jFKxwmtCOreNBd+4U8skVNhQHtphEDQFaclIycAOGXONLwwRc91EMkq/z/z Nr4/ERtt4wz2oGP2xEHk9KBGymEfFMUymUuEQmdMFA+/Bi8tbaUuGTPTxBDZzW5g8GQV AoCX7vl4GLQfP6NRgj+ANWfJAnTMAv7TAmEstNdBAvrXWv9IqKZl8uNC/uSXT6QTboNh 6TeAlzFKHu1RpVxHXJzFgWzu6zyJXk8N+m40n8j6mx4cIx+AIWLP6D8zrpI7kFxUjV5m larQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWRAPSjw6IkLjOF0mzEhhbW8j/Tgydra/T6aNwlItQ3gePjApP0 +KFug4fStglaGnboze4dzAg= X-Google-Smtp-Source: APXvYqzzQ90xIo2cnzMruwEwgbzx8RzbaH4++urnVhDTI26d2KcuveAZbnEzumrVTeM34Bh8XQO75A== X-Received: by 2002:a50:991d:: with SMTP id k29mr23204650edb.29.1557124132176; Sun, 05 May 2019 23:28:52 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:906:d043:: with SMTP id bo3ls2325953ejb.14.gmail; Sun, 05 May 2019 23:28:51 -0700 (PDT) X-Received: by 2002:a17:906:4988:: with SMTP id p8mr17663906eju.220.1557124131772; Sun, 05 May 2019 23:28:51 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1557124131; cv=none; d=google.com; s=arc-20160816; b=Co2Ay+ka6iMNWpHqQJDpey/PVrpZgoKC+wT0ow3mtC7ijwNQqkkUMspdk3cYHHGDt5 9Pco9F/JhQW4qwLjTDlDRj8vWfumq82kplvL8OEDTpVGWQh3kuHK2GJCVDYHrUw+JLPJ 3cT/71B7hqbR2f3/bjuizqlc7n2AVh3a/usFPDmSffemRilpsureiKJmMJAG3k+tnyPc JggPX6VHuAGi6+IxuG/qocXwx5b59jp2KzexCQrtGLq5xga92ybpN4sPorlZ1rmlTnyU +/C8PrN1x9RA1Wj+uPVTmSuCwCrBip1PWQICQdv8ZJgX6U6XnQKbVzZqCPca6lIKY6Wy d0Mg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-language:content-transfer-encoding:in-reply-to:mime-version :user-agent:date:message-id:from:to:references:subject; bh=emaZXhr7TWFVKaNAg0NHWupOgXSH5r7AC3WUVuvktfk=; b=GMl31fId1P92LzXGCzkt4tq7mvqwQ2ocMie3xe7Y5lodSWNZF5JMr/ClEQ0JgMpleo 3SwgxDmBNknEGn85Li2GvrYEzsrpSlnNsfRc5mWmew6IvrOuHPgdTpm9+TzQyDaVbrqH /03Zr8duCrdGNWhfp35G1dqOI5bHloLl1OXltIK0gMzr2AkEA75qa72jsB2jz+JB3hQj hH8iOEYmp2A92zFA7GUiHri79pMlVgd1htGhIgypIgOklMcCdmD3/24A0svtXT2Bda/g F5fjeC8dChPEquI1Kj+ZjAQrgHrHJ8nCCYAq88YqvZHOwxTQjYnZJLhwqwmjmB3k+p+d CKrw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr. [192.134.164.104]) by gmr-mx.google.com with ESMTPS id l30si514689edd.4.2019.05.05.23.28.51 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 05 May 2019 23:28:51 -0700 (PDT) Received-SPF: pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) client-ip=192.134.164.104; X-IronPort-AV: E=Sophos;i="5.60,437,1549926000"; d="scan'208";a="304986822" Received: from 192.35.98.84.rev.sfr.net (HELO [192.168.1.84]) ([84.98.35.192]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 06 May 2019 08:28:20 +0200 Subject: [HoTT] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France References: <0e053da6-842b-eeff-e569-aecb478ab88d@inria.fr> To: HomotopyTypeTheory@googlegroups.com From: =?UTF-8?B?RnLDqWTDqXJpYyBCbGFucXVp?= X-Forwarded-Message-Id: <0e053da6-842b-eeff-e569-aecb478ab88d@inria.fr> Message-ID: Date: Mon, 6 May 2019 08:28:20 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 In-Reply-To: <0e053da6-842b-eeff-e569-aecb478ab88d@inria.fr> Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Content-Language: fr X-Original-Sender: frederic.blanqui@inria.fr X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.104 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , The early registration deadline is May 17! Special price for master=20 students. -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D- =C2=A0=C2=A0=C2=A0=C2=A0 11th International School on Rewriting (ISR'19) =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 1-6 July 2019, MINES Pari= sTech, France =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 https://isr20= 19.mines-paristech.fr/ =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Deadline for early regist= ration: May 17 -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D- Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music... ISR'19 is hosted in the center of Paris and proposes to master students, PhD students and researchers, two parallel tracks: - basic track: introduction to first-order term rewriting and =CE=BB-calcul= us =C2=A0 with lectures by Aart Middeldorp, Sarah Winkler and Femke van Raams= donk - advanced track: lectures on rewriting theory and applications =C2=A0=C2=A0=C2=A0 . Automated complexity analysis of term rewrite systems= , Martin=20 Avanzini =C2=A0=C2=A0=C2=A0 . Reachability in logically constrained term rewriting = systems,=20 =C8=98tefan Ciob=C3=A2c=C4=83 =C2=A0=C2=A0=C2=A0 . Deduction modulo rewriting, Gilles Dowek =C2=A0=C2=A0=C2=A0 . Introduction to graph rewriting, Rachid Echahed =C2=A0=C2=A0=C2=A0 . Rewriting and music, Florent Jacquemard =C2=A0=C2=A0=C2=A0 . Picturing quantum processes, rewriting quantum pictur= es, Aleks=20 Kissinger =C2=A0=C2=A0=C2=A0 . Stochastic graph rewriting and (executable) knowledge= =20 representation for molecular biology, Jean Krivine =C2=A0=C2=A0=C2=A0 . Higher-order term rewriting, Cynthia Kop =C2=A0=C2=A0=C2=A0 . Homotopy and homology of rewriting, Yves Lafont =C2=A0=C2=A0=C2=A0 . Rewriting in theorem proving, Christopher Lynch =C2=A0=C2=A0=C2=A0 . Formal specification and analysis of real-time system= s in=20 Real-Time Maude, Peter Csaba =C3=96lveczky =C2=A0=C2=A0=C2=A0 . Infinitary rewriting and streams, Hans Zantema The organizers are Fr=C3=A9d=C3=A9ric Blanqui (INRIA, LSV and ENS Paris-Sac= lay)=20 and Olivier Hermant (MINES ParisTech). ISR'19 is promoted by the IFIP WG1.6 and supported by the DIM RFSI, the=20 R=C3=A9gion Ile-de-France, INRIA, the GDR GPL and the LSV. --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.