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=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,FROM_EXCESS_BASE64, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lj1-x23d.google.com (mail-lj1-x23d.google.com [IPv6:2a00:1450:4864:20::23d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 5862afd8 for ; Fri, 22 Mar 2019 16:54:47 +0000 (UTC) Received: by mail-lj1-x23d.google.com with SMTP id v67sf824839lje.15 for ; Fri, 22 Mar 2019 09:54:47 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1553273686; cv=pass; d=google.com; s=arc-20160816; b=HCE0IabwZZiiq/R+P4fuNMmV9/sUftJg9Uq4XY63gdthu23JhnAC4Nm4jcImwaxO0a BMsVIa3WOu9YT43Bg10dQq/zyo8jALzN2y88uFFhYykqEmRdgyR1gXFg/IBryqUltBqy 2S6rZq3QwqT/+SB36RfgvSbs4JIYUOBXkeudc2IqsoVENxmCdRjM1c4pYKWAreIXlRnQ WUZFRztnVjC+aoOsbmJe4RvtrxMCrkG2ktPfLnyprKpWzXRd5Fpjs03AGBsHe+C2LSAZ eDr8Ba0q1gGov2UDjjq9C2OsKx13m7F1r4yrcepK53no2EVcmhpgcnpo5eohU3g4TDrl U0qQ== 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=qK6/Hn4Aw6H1joni8NWdTUlNCM/cd9N9S+IIhypAlmc=; b=HcA898VWriMDOPRTaU9Uy15h3/e9CvMhF2YFVLIN6ggjRxhevoMM9KLKg7Foor4fY1 Z7AHPUgqVlVlGLl9UmrPgnWKSwKoMJLtPqaGw6byU49PcJaKFRS1OrDcCegvU8C5BIE2 LcOw6jSHjhwWN58n01cAf0AASFU3zks9kjLLrFTyTsdW1S+vZCL8ToyrUbFpD2C9MLnw i7MC4MquLvbGqpdxDiLtsjKoY+wMO6a0Fvv/x7cIPHeT+B/ygXPT6vzjmJPqDhwx64Ix kQRzxxi72HEyRhYJhLONzqz/deymY9WA4BGjXLKymRmXd79lwtCISx7oOYOzFpFxEeLs h7Mg== 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=qK6/Hn4Aw6H1joni8NWdTUlNCM/cd9N9S+IIhypAlmc=; b=eY+Qsf1m39RQGqNgcTCNKWO/PX+qZsPQ7RGqiLlARijJMgU4VXXNhoYeN8pycGoKt/ cc+wAVKV/ejAX1fvO9wJyqtE0FqzadVY0AhAhQU1K+6rnoRyu6nbyNpc9w6TH1P8ynn3 FbG1Rd7eLytZq3SMDLFlK9VdLlgUXQcy39eHuYpJRmrUkN0wEMuN3taWED1DT/RLlviv aCiXCVsQ5j6HFChPDSVb+7UKgu5PRg2jwHvuWLEJCbz2bzGUmoU0RgNva+SZkdWHutXz SysyodYw90tB05sixjc0fQbNGxKsyuXtaOgzwtjFrryXHAaAfXwx1vttnyV92YX7qM3Y aYGA== 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=qK6/Hn4Aw6H1joni8NWdTUlNCM/cd9N9S+IIhypAlmc=; b=ZLL+UIFr0Rs7+caZrhAK+Dh0jYiqzImzplQqhbAPsfeVeqYAoh9tGh3WAK+vSeUzaf YHMuhFX4ySv0t/KgVzLG3jbgRwCC4JbaSBk9Tycul683BPhzlweM/G+5MrQxu0XFIyPD v94CmekoBnwT+d2oSIHV2U9g4h5NawdIRfm41KaG0k5HfasQKxTBPHUhus4Gk9rVZl0r 3+A7Z4uPN9dQYRrzET+2iql+pSPIgutHzohxL5svDwR3dMdY71nzKVQvLayRDpwjfRd1 XjVChZnkWpMqMCj6EWc+gGXlOcNq0QbP2CqM44ewq1lv8vK+mLBM4Ohu9VGfxO5ZKrrY C1+w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAU9KwgggRBj9x8vgdeqTlUJMi6tDnpF8k1GQmOMoGaVMy1hBQ4R /xqcB7sswtJjwKG0Z4KaMMs= X-Google-Smtp-Source: APXvYqxWAnx1pDlcv3iJxvEeGi5alp6lDsHkY/33zvDfoC2iOg4FZHPyOKXs1V/nsSA2iyVcySR6JA== X-Received: by 2002:a2e:6a18:: with SMTP id f24mr6141098ljc.97.1553273686706; Fri, 22 Mar 2019 09:54:46 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:8013:: with SMTP id j19ls1209999ljg.0.gmail; Fri, 22 Mar 2019 09:54:46 -0700 (PDT) X-Received: by 2002:a2e:89c7:: with SMTP id c7mr5793423ljk.187.1553273686085; Fri, 22 Mar 2019 09:54:46 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1553273686; cv=none; d=google.com; s=arc-20160816; b=Twl0ONRskQ3T9WyYVblnFnPhrpt8FSLTvpXHZLx1ct6ubeyrN6ASK6zENRPmLxvdM0 hEFh8uGZcDQy6vX/L0jcwFtmGJeF5zHY0CEKo2+XRs3h+cve6wtwkty1IjXA2rRhoO4i c/opSwsFja39jUNafMm0V89dpwNMEixNQRnFQJclz8pEQ9bKf7CoQdMUpL+kydWlbpoV s+FdZnHJ8ReHeP2xJp0RdL34XwNRUSwCcnKgeE3tYkjBtKWq+jsbtoRCe5JK3vWcRfli JJUyIXtj1JHIEaZIXhU/9Jh+N+F4xAT3vxB5hBf2s2cKQxEr9HQ7J7LvkUiVmiy2MLsO Tq2g== 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=7HB7UeH4YBLhKLRPzs7BZ3keG+tDkzbvy3doOTYgQak=; b=ql8LuU0BuQXQ26gCngYiS1N0ix7+y9BXPuFeCQw//Q/5XnsfDVR/GT/IWueubC3Q7o 9gZHLYhxLnhfSNBCHBGjXH2TM3QVL52eFM1nKhSYEGoWgIH+w4b4yDgjdisf/Zv3LQu3 +xCxY3MdgCTnDSQHNf3Bo20KailwvcZGBGF6DPqJ4U3N3Wrmfm+MrsmnWJyz25938xZh Fo0LMUP28fI9VFLMzdvXAhoYF5bV3R8SqRN8fOLbPVzG7tHWnPUEreKe5PBps4tM1I5m TQ9VwGVXYWlgTfUlmUBDNdZSSTaWZFfAs5uTNxak6yhpI9mBWyV0FtjGCKyywtmItX0h kCDA== 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 n21si383566lfl.2.2019.03.22.09.54.45 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 22 Mar 2019 09:54:46 -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,256,1549926000"; d="scan'208";a="300428295" Received: from 248.35.98.84.rev.sfr.net (HELO [192.168.1.84]) ([84.98.35.248]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 22 Mar 2019 17:54:42 +0100 Subject: [HoTT] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France References: To: HomotopyTypeTheory@googlegroups.com From: =?UTF-8?B?RnLDqWTDqXJpYyBCbGFucXVp?= X-Forwarded-Message-Id: Message-ID: <6fb2e229-3d0c-8d36-26be-34ee8ea309be@inria.fr> Date: Fri, 22 Mar 2019 17:54:42 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 MIME-Version: 1.0 In-Reply-To: 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: , Registration is now open until 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- =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=C2=A0=C2=A0=C2=A0 Deadlin= e for registration: 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, CNRS, 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.