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=-0.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,FIN_FREE,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-wr1-x43f.google.com (mail-wr1-x43f.google.com [IPv6:2a00:1450:4864:20::43f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 020c125d for ; Mon, 14 Oct 2019 13:07:29 +0000 (UTC) Received: by mail-wr1-x43f.google.com with SMTP id w2sf8521082wrn.4 for ; Mon, 14 Oct 2019 06:07:29 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1571058448; cv=pass; d=google.com; s=arc-20160816; b=BGdG/7dBAtJzHJMNaZ5KwSEi5eF6Y/22kFQZuaMsBuTUhjeNWHIbf+s5vKZVU2R2wq 0oiTDKGkg14yyvIvW6EeUOYDHcIE1mN721sNhAcca8kst2H4KFg0NbWtAcCT4yBBJnDr WrYTWvwjGlRqXF4BNgI4xoLorayd0lH+Zyq85vZ9vhIosRssPX6bVV24mXF8nB96T/nT D2U7/Ojo53bq1zSwolsOqk/xAKsYh4LimH7XV4bfQU83FkVv9kxx4F8FMFmvfp75wP2l e255DRYo8FfLwS8wU5axwFHzbIDo8RNPG+XuZ50mWf5gbovpAriNUm3LuifFGSgj+FqC P5mA== 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=UwTSkU6/+F/aBcUmVqBe834l8KUYb047BAFhAY54hD0=; b=dlAcqMQ9kYRnE/5QbBg2gDvCmc5SxJ34LHNFYAKItDrBXbMd3zgrbrx9jp6tCBVUrB O1foLQH2FQvlXHB9CSuUQ9gq7wJYm9Nz7JGmgVeBYcmxm0h5CejE0zfv5pnR6Y9PDUQe qJOBgSNDeGcBtR87nc3/EiAIVMzjgo6fKYwJy5GQqD1F1DARcBKNUMr5RIrS/4x2IFdg TxNsxNyAFdwob9NjIqqGccFKDn341aNXh7e1qhxc7BhnER92t6E3hO0nFLekElTbob03 5b0nHN1byCPqIXJtwG0+ANAo4PlibHE+l+hx/oBrKCjNsuFVIV2KdQzBzOA1vrODjn69 IRpQ== 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=UwTSkU6/+F/aBcUmVqBe834l8KUYb047BAFhAY54hD0=; b=KweI/sGYNjVDuu5bxEsOIqYLgymnx/vapLDEdocE9yQsT3WmYiGZleNY2x0WYhi75w OFCj0wUINo8EH/r7R6TWxAaY23iDZOUQMYAP4Y25YULMFtYYXqNw8PVjfGZHyrTYisTC wMl/+t08IH3RdtMNwl6JHLtCNaDrybKcNjoT4aK4qyWbLCoshOijzJJlcIUFh0l8Ue32 kbs7JQc7V+SRxonKyWSf1AxdzL4876d7sWXyBmwW1ypVF0J0FTMKsIU+T2KC3+yL7NTT 5dvysY8hjFvyCsNAnAm+4hSqrSnUCVjPRzhP3YB+5gVYQT3bBmG9RD0rohRKuqGp190Q p5/Q== 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=UwTSkU6/+F/aBcUmVqBe834l8KUYb047BAFhAY54hD0=; b=ZDWWZDIN1EqJoFHbhX0dieDsTkxRwO37a+tMUfA+4KLHIDfPl4ga7OMXucAIRBx/dC vinQL9Vz965SkCxzwyG0Hp8Ykk7dZ2ti4Oyrz/whE/SWHx/99lmLD3B58IE/VAOVOeFl X6iqBAna2Edcuq0WX/K00aX97aMekVg8L5HlpIPMmnCcZvp42Lz+TTZiFykei6TfPEqk Lg98sSoHwqCezbMhuSuMTpwYwRxOJY36CwPQ8HwtU9dWsKLLQ6iBg9/ANR7wSNNKzS/n fou18itlIfh12tU711DhdjIjiBbLN+x2svpEYa0h5CGirGGf4iUpS90OtgalSedJVmN+ yQ7A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVZ/GPxKKPJpyRbeOtGIng186W1jaWWWvprC+/TvqlPz3dFY3cn 9TrFLOxar2QGZX/6D/pnQo0= X-Google-Smtp-Source: APXvYqw3bhdm1MzA8jms5HlzpgC1NcY2elIuVNs5iTY7hL3G2aL/P7Dr3y4/mAgWxX4EJiNNrQ399w== X-Received: by 2002:a5d:544a:: with SMTP id w10mr17530447wrv.271.1571058448464; Mon, 14 Oct 2019 06:07:28 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:e90e:: with SMTP id f14ls5435272wrm.7.gmail; Mon, 14 Oct 2019 06:07:27 -0700 (PDT) X-Received: by 2002:a5d:658e:: with SMTP id q14mr27992325wru.380.1571058447953; Mon, 14 Oct 2019 06:07:27 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1571058447; cv=none; d=google.com; s=arc-20160816; b=DSxNDKqwVifiYz6S+pyGnN2AxJfK+nxryU7MZPiuB/0vKkRPIjVK83m7w1hOGOPdrU offHCo+k1S6+VghyxJ/de1rfnCeyRgqFVUyCb2Xg2SCjJJuO5uZ4wCemXPKJbSVaWRdn NNNXe+irq5EtEYaTTruZZDhAPr8H8lAz6yDGh6KfpYn1GkWz0qp8NAYQL5rWCnYdHjEQ /z6ugjcwdqRtn6hdF0s6CUvwzQ0gE+HjNui12QS5fRzw6dy8P3mo2RJ3m94NLPoipf0A fPSEk0fK3/FjUsiy3gmpalplvSkC72uPtO96lZbZ7xEeBZaG1j23zKUzInj7CRKC5UA2 bZMA== 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=e73ICrj3Gtwn9wLE9lpW5QdFBfIQRXtBPqy+4j4tSa4=; b=l57n3g566+0gbrNiAlQZWF3IaG91XP/BiIKhCSQnVVA9s3lIzM1tVKnQOtBPL5+g14 O8DthpVV61AJ2I8P+IMCIPsSqh+1frh3OkZJ1STfeb9vaH6pgAggaUAqz55HOR4QQBiU tNdlYp623agEgMuPkWM8UXGFhkRgUhmQq1Kj2DromOLkN9z9DNf49aW8zHlbd6gvLJkj VrgHFmFFClrb58xT8JhP2RDAfDjgejtKcahKdos3FK2iAh8rXPF7Fbx9AUwlEHNDWy94 g5H0ulLFcaE14nVdLsMeJRm2cJlKdsIIgXhpO+cTzzfS3RDpSv/U9RsvyOuamaWuo53m SSGQ== 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 m1si566177wrs.0.2019.10.14.06.07.27 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 14 Oct 2019 06:07:27 -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.67,295,1566856800"; d="scan'208";a="322637974" Received: from 227.108.101.84.rev.sfr.net (HELO [192.168.1.84]) ([84.101.108.227]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 14 Oct 2019 15:07:27 +0200 Subject: [HoTT] ICALP-LICS 2020 Call for Workshops References: To: HomotopyTypeTheory@googlegroups.com From: =?UTF-8?B?RnLDqWTDqXJpYyBCbGFucXVp?= X-Forwarded-Message-Id: Message-ID: <2e8331df-c3df-2716-fb85-67d7df115b33@inria.fr> Date: Mon, 14 Oct 2019 15:07:26 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 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: , =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=3D=3D=3D=3D ICALP-LICS 2020 Call for Workshops =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=3D=3D=3D=3D ICALP 2020 (http://econcs.pku.edu.cn/icalp2020/) and LICS 2020=20 (https://lics.siglog.org/lics20/) will take place in co-location from=20 8th till 12th of July 2020 in Beijing, China. The conferences will be=20 preceded by two days of joint workshops, held on July 6th and 7th. We=20 invite proposals of workshops affiliated with ICALP-LICS 2020 on all=20 topics covered by ICALP and LICS, as well as other areas of theoretical=20 computer science. Proposals should be submitted no later than =C2=A0 ***=C2=A0 November 30th, 2019 *** by sending an email to frederic.blanqui@inria.fr. Due to limited space=20 of the venue we might not be able to accommodate all the proposed=20 workshops. You should expect notification on the acceptance of your=20 proposal by mid December 2019. A workshop proposal submission should consist of: =C2=A0- workshop's name and URL (if already available) =C2=A0- workshop's organizers together with their email addresses and web = pages; =C2=A0- short description of the area covered by the workshop and the=20 motivation behind it; =C2=A0- expected number of participants (if available, please include the= =20 data of previous years); =C2=A0- planned format of the event; =C2=A0- date preference (July 6th or 7th). As for the format, a standard option is a one-day workshop consisting of=20 invited talks by leading experts and of shorter contributed talks,=20 either directly invited by the organizers or selected among submissions.=20 Deviations from this standard are also warmly welcome, including a=20 shorter or a longer time span than a full day, or other elements of the=20 schedule like open problem sessions, discussion panels, or working sessions= . If you plan to have invited speakers, please specify their expected=20 number and, if possible, tentative names. If you plan a call for papers=20 or for contributed talks followed by a selection procedure, the=20 submission date should be scheduled after ICALP 2020 and LICS 2020=20 notification, while the notification should take place considerably=20 before the early registration deadline. In your submission please=20 include details, in particular the time schedule, of the planned=20 procedure of selecting papers and/or contributed talks. If you plan to=20 have published proceedings of your workshop, please provide the name of=20 the publisher. Please be advised that ICALP-LICS 2020 is not able to=20 provide any financial support for publishing workshop proceedings. We expect the workshops to be financially independent. The expenses=20 related to the participation of invited speakers, production of workshop=20 materials, etc. should be covered from independent sources. On top of=20 standard ICALP/LICS registration fee there will be a moderate=20 registration fee for the workshops that will cover coffee breaks. This=20 workshop fee will be waived for maximum two invited speakers for each=20 workshop. Workshop selection committee: =C2=A0=C2=A0=C2=A0 Fr=C3=A9d=C3=A9ric Blanqui =C2=A0=C2=A0=C2=A0 Naoki Kobayashi =C2=A0=C2=A0=C2=A0 Yuqin Kong =C2=A0=C2=A0=C2=A0 Micha=C5=82 Pilipczuk =C2=A0=C2=A0=C2=A0 Zhilin Wu =C2=A0=C2=A0=C2=A0 Lijun Zhang --=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. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/2e8331df-c3df-2716-fb85-67d7df115b33%40inria.fr.