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-wm1-x33d.google.com (mail-wm1-x33d.google.com [IPv6:2a00:1450:4864:20::33d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 72289be1 for ; Fri, 1 Feb 2019 07:38:09 +0000 (UTC) Received: by mail-wm1-x33d.google.com with SMTP id 129sf1484543wmy.7 for ; Thu, 31 Jan 2019 23:38:09 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1549006689; cv=pass; d=google.com; s=arc-20160816; b=0cUMARZp3SRFlAl+KDHMLn2iQqO6aFLS6XJpKfnRvU8u2UczX3+6nl62b6yoFcHeKw FGACh07YunDmGXkWzfyul/jWdSCFK0eN5re2j9ZIO4OuS6Y3QKZrTnVZdxsWtHN5Y603 tMVUp6ZwtB9Fymhe5LbV5sc0I6NXKckVAJbnbUQGO1744TFA+Mxdegsh+AHgt8BqYV+m FE7GkZ0yyAWU6S/iShtiXaHNQWKP3cFC0VNtPSg6c6IUYQku1PdoUnS2L7iomQ/Gsak8 gL0WnZRR13LdjUPcrIcVdHzMaCKYaytgRYojHFL/gdgJ9QqaS44L+FQFM90zEv1ugO67 SuWw== 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=H6rRL627JoRoQWKfxBHfz2BOXFEco/qy1yo0U1uZ9l0=; b=vfNZ6FY519jwyxx/5/gLTgrM85bjQeHsd5C9zWW3tfNsDIN+3/khdwiSlxh9q8bybg zJnJLlz3RH67xqZ4sblari5KUsDvwQxHSBuPGVawrgiZlH7MBD0SKd0BtorR9obmx7+y D7+ppyXo0eMArchz9Rv+ZeIPe8XqrpvrA1Umqs+KTMvu2gfKMt5R5WnV0kngTtCDqZZa bzCIxVOp0dC4hJKWT1gpKCxfR0fRP1yGnvVT8UJld4L9Zwp0gEQ0RYBoMgio4+zc7mIk 1VBaKIAfyTsDZrMjZn4H+Mp8Nf03JrAjwOv8tMEizUGORbQuY0QVZg03je1464RF4qK0 WRYg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.83 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=H6rRL627JoRoQWKfxBHfz2BOXFEco/qy1yo0U1uZ9l0=; b=sElI4rjQzw8twR1tU+p0KUUcw4kJlarfLFWva8uYpVRPP4CYisSMxe1X2BXFCL5+U2 3uk3SbBvYNoA6Jzb7izDAkuOeuHcYmYIBmVMxa+GTzFq3PumswGKuCcz2ZxyFFuZI+2G fVv5NV6wmAVisN9W43AoSL6GJyUaPzCgHUd4xKlTzTm+pecgDoJSk0EZBw9zIpGBRs3j 9T8ic3KMAEST7eoJGMA3a7z5qvFro4gTHAr/QJjhbyy9B/jWyFMWjtgLZ4U/tqB5ao8T w4Wc2g5JvkDxtztt5hNrRJH1DAZuzmRTct60vL/HlohLWMcqtgwL/j1fnE02DzO3hFjW qapw== 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=H6rRL627JoRoQWKfxBHfz2BOXFEco/qy1yo0U1uZ9l0=; b=sxR+7W/jbp5JHrSTxsXYjKsfyB0A4FwP9dk1LthYiQL419K4ZJHyiobapKP2+V316d r4IjFIsjaxmNglx7KY9vITFUgwYR3/4ePuZMxhG3MSoNAmo27b9I5MZOMTIE2hk/UIxW FeKa+UHZJVF2qmK8AsHn6es//jDWlNlkSZskvZnX4frCS49jBsbcPW4xYpNAQ8izWmgd 6rqYi/YJdD91AKd/4E8I+MtJ6WA47bILA98vd+ZnK5bCV1XLrggfwUpRrE8NYg4wyXGN 4xbbX2EaQ0LhWYUFm/BMtKPMgcSTezLbexu1A5gY5jCwYg2blAw9JKG8aKhUhb8JzZvQ MOGg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AHQUAuZPi+kEq931oSxWkT+IWRQbGFWgl9InlKlxbTtDBqVdUXXJkBti wSGAzA9eZ+DuNMGakD/mchg= X-Google-Smtp-Source: AHgI3IYgclZc6jdwEfjMnpnyQy9KgPWxsIF75WCw1ygtlGrmakhslhiCBazn2EYO2nht1C7LrkD4EA== X-Received: by 2002:adf:e743:: with SMTP id c3mr198963wrn.5.1549006688936; Thu, 31 Jan 2019 23:38:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:7e4e:: with SMTP id z75ls690088wmc.1.canary-gmail; Thu, 31 Jan 2019 23:38:08 -0800 (PST) X-Received: by 2002:a7b:ca4d:: with SMTP id m13mr105668wml.19.1549006688546; Thu, 31 Jan 2019 23:38:08 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1549006688; cv=none; d=google.com; s=arc-20160816; b=PIG9APCVqGA6f91ZCjBrSAul0qBd7RGKI5UYkWKiRKZH/MhCxlTaiPGHlOSS4XBGK0 wOuaulqP7Bwb6bO9AyUeOnkmRDCsLuS4oe44lQroBifeD2AxbLGXNswtdOq2c8NWtoe1 ivcCShd+k4RBkLufRSElBUa7YBmMit3blLH26m5sff4HFfhLJwjCUVc6ezyRfmmqnIoR YYcOcN81VWAxXDBYSjrDd3a0v52PD70SNLpdbBQH/CkGi+vMxBGfsaWndUpZ9yG96ExI UIJCvEAnC7024AAYmUhe29nUscNgp6U2roBCESNqNjzqrN31edaerNqLVbzz0YuS5+t8 3mzQ== 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=aZ7prakq8c8jGBjkdBByzfly0a6GvWNQRqINJUSMHRM=; b=qLGmZXH2oDS1TMNGqmG7YQq/1zbgx/17Uob2qcPqdkoYSS8l8kbD2rweLH5T/8AaZ+ uIZK2xHEImKYhCgbDrxf7B6keP8JzDts3gcfe5tYlb7yeROgrDd0nQVfhVs0FmeVACF1 uPeDhLmE2Hakl0YH07tYh2SxfkwK8ObDKqRAuw9ytktbO6lY9iD8RzsrCkztFeVxzLHy OwiMqJYoTyWjX2C0z5LhRj3zrGuDtq5Q4n+z8TMQ27kzzROZ1Jo7y1NZvyHgfxigFvUS H8j350wDPNh/48FdipD2342mLXSwIVEGmEvo6A7uNpfoXV9DVr2e8H36vKrNZlHM4raa zW5A== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.83 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr. [192.134.164.83]) by gmr-mx.google.com with ESMTPS id i11si76742wmb.2.2019.01.31.23.38.08 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 31 Jan 2019 23:38:08 -0800 (PST) Received-SPF: pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.83 as permitted sender) client-ip=192.134.164.83; X-IronPort-AV: E=Sophos;i="5.56,547,1539640800"; d="scan'208";a="367296400" Received: from 228.108.97.84.rev.sfr.net (HELO [192.168.1.84]) ([84.97.108.228]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 01 Feb 2019 08:38:08 +0100 Subject: [HoTT] Announcement: 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: <00bf1e46-813b-a976-8ca9-10de08760506@inria.fr> Date: Fri, 1 Feb 2019 08:38:07 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Content-Language: en-US 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.83 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: , -=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=C2=A0=C2=A0= =C2=A0=C2=A0 https://isr2019.inria.fr/ -=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 Registration will open in March. The organizers are Fr=C3=A9d=C3=A9ric Blanqui (INRIA, LSV and ENS Paris-Sac= lay)=20 and Olivier Hermant (MINES ParisTech). -=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- ISR'19 is promoted by the IFIP WG1.6 and supported by RFSI, R=C3=A9gion=20 Ile-de-France, INRIA, LSV and CNRS. --=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.