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, HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lf1-x137.google.com (mail-lf1-x137.google.com [IPv6:2a00:1450:4864:20::137]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id ec2db2f2 for ; Tue, 19 Nov 2019 21:13:25 +0000 (UTC) Received: by mail-lf1-x137.google.com with SMTP id w24sf6639816lfa.11 for ; Tue, 19 Nov 2019 13:13:25 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1574198004; cv=pass; d=google.com; s=arc-20160816; b=lKHYmHM3K3MoUF9ZINGFmnkkOqmwmLyef8gq/TzoG/x7H3GR4KcvfxEdLO2BaQdSJr WSTlZvrHSTTXtYbqpc8URoiSEnlMTiJExk9y+nUHeAU6Nxd5hBCrQrw/DTvpvq7Ya2GU 3MQFbriO1wBW2efB20h70q+PC1WJqhaozfUB26Qgm/Tb3r3VeuyWEHefUiQ69I8hDXSL IOP/lJjpCyCIBlhtA15QTV/v+3Ej31w7hIKtq+EiTIcZ5LFps6N7ADgOVfJPPexpMYdc EFXk799PDc3QIbMG0iK/QkcX7xkMZKUe7nYEhpmwtqjsfZGdLBAh2W93yaZ2nbPgSnn/ iH/A== 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:in-reply-to:mime-version :user-agent:date:message-id:from:to:references:subject:sender :dkim-signature; bh=nfkJElsFEzXq2upARq2aYRqXLK371QdTwo3vy8Co1oc=; b=hONTc6d7gSwBz1i03iqODYwkH3BJcudf5Bl066exG8CnOmQHKVvUU/3mFQb2vrI+yx FIU0ghMKO6qf4H8YZHYuiNw+Sr94cpVp7714i7Lr9lkhI4YaqsSa5goYR7zphAhLlxNW r7DvJ2Aq4mAfUrhCeENqobIYPbQVs4IgyOpQy8raQcb41WPKR7WnT/jFl8lKDBWAaaHf YwyQ6caKlAwCiJSWYy3GcQV6gj1V1RXgVnWIpfcW6gWWSUj4dSCxSQAErwGDEt/uo3R2 eM6WF27rqWbYn6KZ3S+UNTk27Xiu4rCWS5C3aLH+/B1GF6YWdjRWMA4OqYQlYHynoKtP MYNA== 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-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=nfkJElsFEzXq2upARq2aYRqXLK371QdTwo3vy8Co1oc=; b=e4ebUwAdoVj/4hXuiFK8HCOCjBqFCmojCG/8CFKj9K32hY/6TG5DXD4+V/MdlYTKpO ptYf5RkhFwcDr/y7vbozpjAFaY79l8cMnBMrGIc5P5bYJki5bqBoXgHE7RY5FR/ZHL5J 1EJ9Xvo9Xji1eKkZAXRlIoEIH+Y7spScCNpzqJHpwvqmsl3VL1JyWk+CvHAOh+KtHCb4 L9Yk9xNxfJkVQR5WAu9jewFCRFdzOTjfV5ovKrmSLuTIcy40ds02L2Iu3ZwQlWhTua7F H+2bwGL9G6Oy710H9qQ78j0yk9ZINc22k+Dw71LgB3CLQuXpnThsamNyGQ2/lGZKG+ad uTtw== 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-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=nfkJElsFEzXq2upARq2aYRqXLK371QdTwo3vy8Co1oc=; b=bcasPscIF0muUFSrkpXSCCxOEiKgETXCTCGzsR9Tyze9pkykgH+N9kP+bIAWTDNS6H nrg43Vv378QOJrF5UvNHxLT5K5JwgBxB6+pErrRoDqLRIF5O9GD/XCIQlQPv0wclkfSJ BEeEFO8so06OH7gBDv7PafKr6yYJ6CTPkzzCFBDzz3JYC1RInmSjIRgWKtesPkxXW6c2 mpMVRa1RbT2LvpoERfs0rLLbTWbUeCOzN+0D21BsdHDSSlCrmeRa6z5s4f4dv5CMKRFB e44p3TdAhVjmN4yPtFhr2FazhBDQ7cZrggHX5iFK2hHe0x23JO4ICbHgn7fcd+4g+Cy6 afYQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUuj1SsfaJ2YTgJDq5BAg9oqoTB5BoauYlAVb0j4OIg//brXsUo 5N/DKwBnpfbanWihl9hUsrA= X-Google-Smtp-Source: APXvYqwVxw+0r2n66FK4oX9xT7NuPufSo0mrN80Kl0UUY13zn6xT7VlM4IqNgqkqBTFtNpBHTzJbKA== X-Received: by 2002:ac2:51b5:: with SMTP id f21mr5608874lfk.159.1574198004722; Tue, 19 Nov 2019 13:13:24 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:651c:154:: with SMTP id c20ls5869056ljd.3.gmail; Tue, 19 Nov 2019 13:13:24 -0800 (PST) X-Received: by 2002:a2e:9acb:: with SMTP id p11mr5809773ljj.159.1574198004156; Tue, 19 Nov 2019 13:13:24 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1574198004; cv=none; d=google.com; s=arc-20160816; b=jASh/2y3VAiaaXSciGavnKa8+lni3Tw/cL7/UbFQbDYU4Zjcz8svIj1uMZqUti8EXG ZaGdxtMRYGMnMSKEfimLXSlT+3/4yEpdDOGsAs6qWgOCOsXynzuJG+ijufY5XHWJi2wy K2eNDz/4s2aMODc52pBJCdJpQVh63uNzPkUGrAMvUgXMSBq4dhd9OUFRc2RLVMmQARRO IrC9sfwCBMXaSCHK3gCNzU5KE7I0hV2v0zV8Xdmcrb24KBU0PJjdqfk25d8wyHObK7TX IunBahDQAkHb9cOgaPa00214jCkrPOpGjByiRg85J8GPu/eGQclX1uOBKwXOYZ8sU1Pu vZOA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-language:in-reply-to:mime-version:user-agent:date :message-id:from:to:references:subject; bh=TrbEaSpfhZriFQe0XBB97yXoAXSmN+Zn5ep3Iv01CS8=; b=Ba7scOrlZk11K4cEDmg90hVZ/Xp0MxmH54EDvjL6sNsEniV8UOOJupY9Vtqb+Sysu+ HMGZEfYQ32X2IKRWaULOKj845kmURIYoo+juRr0GMxhNqHOIdusrCoSD3DzcZc5MjuZt fU8ouzXU+FVdPmOXiWc+2/NePW/D0c2kFgCgLMG3gPlvWvQgnbVpUC4wayAQ3l46V7ky Z4In0YoZYD9m6mdBz3Z6GdpIhWZlijfTlDwmOi0FoCLkQC8eTnhnPrMyb1+94P3gexMD Jp5AF5pfMBvK+qCNAnbZ5sxhGsTcbRCOU8RA37TMkCx1pPItL+0DVWgHCoVjdT09L+MG Phmg== 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 68si38215lfi.3.2019.11.19.13.13.23 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 19 Nov 2019 13:13:24 -0800 (PST) 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.69,219,1571695200"; d="scan'208,217";a="327305017" Received: from 128.108.101.84.rev.sfr.net (HELO [192.168.1.84]) ([84.101.108.128]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 19 Nov 2019 22:13:22 +0100 Subject: [HoTT] ICALP-LICS 2020 Call for Workshops References: To: HomotopyTypeTheory@googlegroups.com From: =?UTF-8?B?RnLDqWTDqXJpYyBCbGFucXVp?= X-Forwarded-Message-Id: Message-ID: Date: Tue, 19 Nov 2019 22:13:22 +0100 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: multipart/alternative; boundary="------------5FB1AD902652250ED12C2E0D" 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: , This is a multi-part message in MIME format. --------------5FB1AD902652250ED12C2E0D Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable =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= =20 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=20 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/d309b4ea-c12d-7d63-74b1-a2afe6df545f%40inria.fr. --------------5FB1AD902652250ED12C2E0D Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=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 (https://lics.siglog.org/lics20/) will take place in co-location from 8th till 12th of July 2020 in Beijing, China. The conferences will be preceded by two days of joint workshops, held on July 6th and 7th. We invite proposals of workshops affiliated with ICALP-LICS 2020 on all topics covered by ICALP and LICS, as well as other areas of theoretical 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 of the venue we might not be able to accommodate all the proposed workshops. You should expect notification on the acceptance of your 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 motivation behind it;

=C2=A0- expected number of participants (if available, please include the 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 invited talks by leading experts and of shorter contributed talks, either directly invited by the organizers or selected among submissions. Deviations from this standard are also warmly welcome, including a shorter or a longer time span than a full day, or other elements of the schedule like open problem sessions, discussion panels, or working sessions.

If you plan to have invited speakers, please specify their expected number and, if possible, tentative names. If you plan a call for papers or for contributed talks followed by a selection procedure, the submission date should be scheduled after ICALP 2020 and LICS 2020 notification, while the notification should take place considerably before the early registration deadline. In your submission please include details, in particular the time schedule, of the planned procedure of selecting papers and/or contributed talks. If you plan to have published proceedings of your workshop, please provide the name of the publisher. Please be advised that ICALP-LICS 2020 is not able to provide any financial support for publishing workshop proceedings.

We expect the workshops to be financially independent. The expenses related to the participation of invited speakers, production of workshop materials, etc. should be covered from independent sources. On top of standard ICALP/LICS registration fee there will be a moderate registration fee for the workshops that will cover coffee breaks. This workshop fee will be waived for maximum two invited speakers for each 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

--
You received this message because you are subscribed to the Google Groups &= quot;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/msgi= d/HomotopyTypeTheory/d309b4ea-c12d-7d63-74b1-a2afe6df545f%40inria.fr. --------------5FB1AD902652250ED12C2E0D--