From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_KAM_HTML_FONT_INVALID,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 24073 invoked from network); 5 Jun 2023 13:39:36 -0000 Received: from mail-pg1-x53b.google.com (2607:f8b0:4864:20::53b) by inbox.vuxu.org with ESMTPUTF8; 5 Jun 2023 13:39:36 -0000 Received: by mail-pg1-x53b.google.com with SMTP id 41be03b00d2f7-53f44c2566dsf1381722a12.2 for ; Mon, 05 Jun 2023 06:39:36 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1685972375; cv=pass; d=google.com; s=arc-20160816; b=l1eTXxAd0fKtjg/MIVwSPssHS2Y8fpv3/GVpfgQ+Oo1gMs5gxQo9yYLkY/Jzqd/e9i g/Cc8cPSFIJ4AwxHQXFq8FKZ2WJo8QNMQc/KTeZpRWbgtREe332HVFYtftsk4F24AfqK 629WTfbjgfimgj7sz6SmS5432bYBXr3Bgb0bs9EMvXzCG64xyKje5+aCOAnAlMLp/pAv iuI16O9cjs1suzxqf2CDcy7L38IS1gH4SSEiuYhdj1fOZmwk+UmYUg0r2aCXhRCYccXU m/YtC2bvsILTDBJUM96oxjbOurMCM9bZtxLb9iwSQZbkL2B+lf1Ifg6jOu3PW9SsoQEj 8rZQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=s8ufaGWjDzHXCi/aAHhba6dr7mJ6+QJlW0EN5tYn6gw=; b=fOtRdWfJY5eLgZkxkNMCP7S0is8+aKLSlsMeH8wN2HrFFgPc+JWSFxUEDCLqblfJiF 8wc0szbMSnnCHe+GaEj4GtrbmR47W6jNgk92rt0RQrYUty7ppyr2LAKuaAk4cRofT8mz EqNbb5Wx/IZtDpoZgfjeLlP2GDhXzx96ICQO6Km2GUXDpn15tWUZZd4RvwmY6Ig468aZ xlRnwBgUPTj6nesCQzi2QgQ0ZrcJv7NCGqXSMBkKFt/EY+ZYdv4k9UQEFFD65Qkf9+TG EEN8eR8VqBKsC96fPK79XBIlTHNuM5N0/oqzaQg2CJZyHZCXdfwOnlmms8FG83fnTh57 7h1A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=sEytfos1; spf=pass (google.com: domain of arthur.aa@gmail.com designates 2607:f8b0:4864:20::532 as permitted sender) smtp.mailfrom=arthur.aa@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20221208; t=1685972375; x=1688564375; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=s8ufaGWjDzHXCi/aAHhba6dr7mJ6+QJlW0EN5tYn6gw=; b=qTVSnSaZ/BDsq7g5EP8QB0dPreFX2hs97UzgLqPCKbS5tG9ORFxxN2h3nIGblCDTnw gqmSWYTwKPbDJ4nvIxtebnisRYkVwfh/d3Ichr2VReuE1A2BH6spwLs5dIELDIMJ8DTY wR3vnMPR5oI9tl8NOHrZUJL3UAWt8dC+fIVTHmZoqJe+dr+mj8onebwunEQOhTwFuB40 mUWGttW7DX5GbTP2C2B/cVVFu7tThj20kQQ3UmgzSgXx9Chb6SJf7eW8Jkz1A/d1xdPU 5FC5CDDCjpW1oinNQExfczz/UpxNbfxsfI1kCOh25eZeyq3of6gpHx4vPUoVliosRiJD FwiA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1685972375; x=1688564375; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=s8ufaGWjDzHXCi/aAHhba6dr7mJ6+QJlW0EN5tYn6gw=; b=bDTvmBR6C6NNVwm90DY4njMZXrrYYYPhfmhnVt1sPtoN4LyjKAfY8OpSEe+XKtUOZJ GXXDzbR+BL0Jb29tA5bdBQNZCr2Jx1vKgqg+G4duo3BleDDReZ+W268vSsmaTIoTKia3 iwCB0cJvCc03fdOkuQq0yTc0DIPYN9c+w/PbjSW14vLSH/oelxYCNr6M4pKnhGphG/A0 viEowMhcSuKBSB2YqpxTivlPYkTffcA0F3UszV4p5QogCAm7vnzgdTC/AULTpSMZpeRm PGz2p9uQX6RCaDjDD9iMf6nnfpwrgmazNxwuW9CdpWy44jVDdfD+lsChWuv+2Qdai0Ax ui9A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1685972375; x=1688564375; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=s8ufaGWjDzHXCi/aAHhba6dr7mJ6+QJlW0EN5tYn6gw=; b=XskxifqB3myKHtI74yXo+bYbLS8c4TQeLoNUy7S4c24m1v5x78gY+j6Y84CoGLy0hx ruCp3FutPxS7KHvr5Aqezfz9fRkovp2gFhXGV7K+uGOCPmFzo4FMqjGvo7hemdlsm0PK qxLx4csk0OiiTPafJxcVBjl+o1EIP0tgz2awbxqkwdUiyWg2Z8vWVWKq6vzh05zmhPui ewS0RtPrxCwdqoBfKn89Yj534CWGWjymgaBIHXv4dHBjPgHTewqAMIULT78apPYwxdiw FNvlfGcvsCPLMoFRm2zS4ckOxvW7DMFEjAC3fSPV3IG2BFYmRicJ1YqDgNAKN9S3E1Tw hqJw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AC+VfDyYr6q48lpTYlvcEhIQJe54jbjIGnKVq3Tf0C1I3POoNLip+Aqr PuioxsW96qc3e70mTKLeeqw= X-Google-Smtp-Source: ACHHUZ7G8rc/K2vBg8jwa3q1B+1ArqOEUKgmB6XXt6CziGVvpwzprzpTr6baxCZme8Fiupw4SqSm7Q== X-Received: by 2002:a05:6a20:158b:b0:10c:4c76:e909 with SMTP id h11-20020a056a20158b00b0010c4c76e909mr2844738pzj.8.1685972374676; Mon, 05 Jun 2023 06:39:34 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:903:84b:b0:1b0:4a33:cb28 with SMTP id ks11-20020a170903084b00b001b04a33cb28ls1083403plb.1.-pod-prod-02-us; Mon, 05 Jun 2023 06:39:32 -0700 (PDT) X-Received: by 2002:a17:903:2285:b0:1a9:bdf8:f551 with SMTP id b5-20020a170903228500b001a9bdf8f551mr3887711plh.69.1685972372470; Mon, 05 Jun 2023 06:39:32 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1685972372; cv=none; d=google.com; s=arc-20160816; b=QhyeSCaTJ+iT0tR7TE43ipABNJMsd2GsoDFtzLUlpdLlQc0hRueFXmX+B+IxfIuYX+ x9w8ez2/VABSdgxkqRizvqjLSbLrKHQs2r7cOXKMdAGmW4dLq/Ggar/4IBfN0DmBVqRq 2B2YTwRb6ggxHwLE/LgtUQ1hVb/wlihwSbG830QHodbinedbUaJ2A8Fb78YogdJC4hAj nfGvwYfkIIoEEcyb/Vfon04QLPhlgUm/MVD0LNq6Q8SbkJ1eoaULzk10AX9m2tN2tMBw niLt+Fk1MwuEtYmf0WLRhSLfQ0MtHy6LwnX2S4PAXLH3zHyLp5O4xPO46hlMbEujJEOH cQ1w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=9Zam5m7qC/WJ6WLJbAotxa0yLpM0nGd468QFR/1dFT8=; b=NAWyEsYquHlxeCqFfsUSzVd4rnzsWFlAT2kltRWmW1XyCCSTswwt9EJWsZn/UAcPTH cwVB7Dg/he49DJ4eP+CCmkIsJ19tXoQx9fJ8wSuqJ0lLP6GnMH77LjNyFpCieGZyuePI 97npJbsaw9HipfdAxp+je2iLS5Fu/gWbaYUjsHhmA+FXz89nxCfZb1RDsyEK3C2YvQGC or42y5qiRA8ue82Dv8CUeD1QhmotwO5nebHiSPvHm1wrLwhnV6ynwww91wo8enGGS1kp OMk2WBygHWJl7E6tv0iasmVNm9g370gqoroXlQY5ElAu74vdppjLazzyKSdSQ8rlOtbJ 5psQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=sEytfos1; spf=pass (google.com: domain of arthur.aa@gmail.com designates 2607:f8b0:4864:20::532 as permitted sender) smtp.mailfrom=arthur.aa@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pg1-x532.google.com (mail-pg1-x532.google.com. [2607:f8b0:4864:20::532]) by gmr-mx.google.com with ESMTPS id y17-20020a17090322d100b001ae2138b395si485643plg.7.2023.06.05.06.39.32 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 05 Jun 2023 06:39:32 -0700 (PDT) Received-SPF: pass (google.com: domain of arthur.aa@gmail.com designates 2607:f8b0:4864:20::532 as permitted sender) client-ip=2607:f8b0:4864:20::532; Received: by mail-pg1-x532.google.com with SMTP id 41be03b00d2f7-528cdc9576cso2405293a12.0 for ; Mon, 05 Jun 2023 06:39:32 -0700 (PDT) X-Received: by 2002:a17:90b:e0d:b0:259:c21:7106 with SMTP id ge13-20020a17090b0e0d00b002590c217106mr2161344pjb.0.1685972370958; Mon, 05 Jun 2023 06:39:30 -0700 (PDT) MIME-Version: 1.0 From: Arthur Azevedo de Amorim Date: Mon, 5 Jun 2023 09:39:18 -0400 Message-ID: Subject: [HoTT] Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023) To: homotopytypetheory@googlegroups.com Content-Type: multipart/alternative; boundary="00000000000045b04e05fd620803" X-Original-Sender: arthur.aa@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=sEytfos1; spf=pass (google.com: domain of arthur.aa@gmail.com designates 2607:f8b0:4864:20::532 as permitted sender) smtp.mailfrom=arthur.aa@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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: , List-Unsubscribe: , --00000000000045b04e05fd620803 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ------------------------------------------------------------------------ Call for Participation Logic Mentoring Workshop (LMW@LICS 2023) Boston, USA June 25, 2023 https://logic-mentoring-workshop.github.io/lics23/ Co-located with Logic in Computer Science (LICS) 2023 Registration at https://lics.siglog.org/lics23/ ------------------------------------------------------------------------ Students in US institutions and some students in Europe can have their expenses covered by the Logic Mentoring Workshop Travel Award. Apply here: https://forms.gle/mUgkA5Ah2W5aQwxY6 ------------------------------------------------------------------------ The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to doctoral students, and will include tutorials and plenary talks as well as a panel discussion, where experienced researchers from the field answer career-related questions from the audience. The workshop will be a hybrid event, however on-site participation in Boston, USA, is highly recommended. It is co-located with Logic in Computer Science (LICS=E2=80=9923, https://lics.siglog.org/lics23/) one of the most prestigious conferences on the topic. Attending LICS is not a prerequisite to attend LMW, but it is encouraged. SPEAKERS AND PANELLISTS Miko=C5=82aj Boja=C5=84czyk (University of Warsaw) Anupam Das (University of Birmingham) Anuj Dawar (University of Cambridge) Marianna Girlando (ILLC, University of Amsterdam) Martin Grohe (RWTH Aachen University) Antonina Kolokolova (Memorial University of Newfoundland) Sonia Marin (University of Birmingham) Igor Walukiewicz (CNRS, Universit=C3=A9 de Bordeaux) Matthew Weaver (Princeton University) PROGRAM The detailed program will be at https://logic-mentoring-workshop.github.io/lics23/ closer to the workshop. TRAVEL SUPPORT Students (undergrad, master's, and PhD alike) can apply to have their costs (some or all) covered by our sponsors, the National Science Foundation (NSF) and SIGLOG. Deadline: June 6th (applications are accepted after that date if funds allow) Apply at: https://forms.gle/mUgkA5Ah2W5aQwxY6 ORGANIZING COMMITTEE Arthur Azevedo de Amorim Steffen van Bergerem Ilina Stoilkovska K. S. Thejaswini --=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/CAHAb9XgW6Vj6TxgC11Zjkw23tbatiU8iGV_t%2BRoiiABvEbLBnA%40= mail.gmail.com. --00000000000045b04e05fd620803 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

-----------------------------------------------------= -------------------

=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=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=A0Call for Participation

=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=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=C2=A0

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0Logic Mentoring Workshop (LMW@LICS 2023)

= =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=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=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0Boston, USA

= =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 =C2=A0 June 25, 2023

=C2=A0

https://logic-mentoring-workshop.github.io/lics23/

<= p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><= span style=3D"font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-= color:transparent;font-variant-numeric:normal;font-variant-east-asian:norma= l;font-variant-alternates:normal;vertical-align:baseline;white-space:pre-wr= ap">=C2=A0

=C2=A0=C2=A0Co-located with Logic in Computer Sci= ence (LICS) 2023

=C2=A0

=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 Registration at <= /span>https://lics.siglog.org/lics23/


=

= =C2=A0----------------------------------------------------------------= --------


Students in US institutions and some students i= n Europe

can have their expenses covered by the

Logic Mentoring Workshop Travel Award.

Apply here: https://forms.gle/mUgkA5Ah2W5aQwxY6

=C2=A0

--------------------------------------------------= ----------------------

=C2=A0

The Logic Mento= ring Workshop introduces young researchers to the technical and practical a= spects of a career in logic research. It is targeted at students, from seni= or undergraduates to doctoral students, and will include tutorials and plen= ary talks as well as a panel discussion, where experienced researchers from= the field answer career-related questions from the audience.

=C2=A0

The workshop will be a hybrid event, however on-sit= e participation in Boston, USA, is highly recommended. It is co-located wit= h Logic in Computer Science (LICS=E2=80=9923, https://lics.siglog.org/lics23/) one of the m= ost prestigious conferences on the topic.=C2=A0 Attending LICS is not a pre= requisite to attend LMW, but it is encouraged.

=C2=A0=

SPEAKERS AND PANELLISTS

=C2=A0

Miko=C5=82aj Boja=C5=84czyk (University of Warsaw)

Anupam Das (University of Birmingham)

Anuj Dawar (Universi= ty of Cambridge)

Marianna Girlando (ILLC, University of Amst= erdam)

Martin Grohe (RWTH Aachen University)

= Antonina Kolokolova (Memorial University of Newfoundland)

S= onia Marin (University of Birmingham)

Igor Walukiewicz (CNRS= , Universit=C3=A9 de Bordeaux)

Matthew Weaver (Princeton Uni= versity)

=C2=A0

=C2=A0

PROGRAM

=C2=A0

The detailed program= will be at h= ttps://logic-mentoring-workshop.github.io/lics23/ closer to= the workshop.

=C2=A0

TRAVEL = SUPPORT

=C2=A0

Students (undergrad, master= 9;s, and PhD alike) can apply to have their costs (some or all) covered by = our sponsors, the National Science Foundation (NSF) and SIGLOG.

<= p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><= span style=3D"font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-= color:transparent;font-variant-numeric:normal;font-variant-east-asian:norma= l;font-variant-alternates:normal;vertical-align:baseline;white-space:pre-wr= ap">=C2=A0

Deadline: June 6th (a= pplications are accepted after that date if funds allow)

Apply at: https://forms.gle/mUgkA5Ah2W5aQwxY6


ORGANIZING COMMITTEE

=C2=A0=

Arthur Azevedo de Amorim

Steffen van Bergerem

Ilina Stoilkovska

K. S. Thejaswini


--
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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAHAb9XgW6Vj6TxgC11Zjkw23tbatiU= 8iGV_t%2BRoiiABvEbLBnA%40mail.gmail.com.
--00000000000045b04e05fd620803--