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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 2170 invoked from network); 5 Feb 2023 14:58:05 -0000 Received: from mail-qk1-x739.google.com (2607:f8b0:4864:20::739) by inbox.vuxu.org with ESMTPUTF8; 5 Feb 2023 14:58:05 -0000 Received: by mail-qk1-x739.google.com with SMTP id g6-20020ae9e106000000b00720f9e6e3e2sf6581232qkm.13 for ; Sun, 05 Feb 2023 06:58:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=tW6GzBwpsgycmF9KcKDqHVG9mpoQo2SZuv0tXOqkJVU=; b=dfofNfcfA/BYdlboGUaAJq9kpGcxto1BF1f41/ntLfH+yZSfamTwlLEMSLrFJbhsAU XryO1fRvRduuf0I+QwU/BXJI8uRh44eOvgVWFP3+fGvAOKCj7FXUex+beSO3INOujGFc OFfq9Pgli7oQfyjkXzPXEH9YJ4eBvlLJ9V9wdz/c+pF/C+xf8pmhBc6ynMRZZlw14aSL lV1Nw+gYGE/pseE7NJpjOWyMaqNxNdqVCuNlpCO81I5qbu0WH8NES1JZpSrTrRPphxPs ji1ByCnj++nIkniekovAAhPw6oy3tPQr3rc0SB5oporrLK1B98IDzIqQAkv5X5myr3aM 8c+w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date:message-id :reply-to; bh=tW6GzBwpsgycmF9KcKDqHVG9mpoQo2SZuv0tXOqkJVU=; b=j7DuGg80MNXYrW5RCII/mFNbDoag6+roqq9wKHQkrNOgychYxcpH775xuatz6CqA6X fm4AKeffNcIUOq/WFzberxTmQXafml6dN0o23WCDQVea6VukoeJwcyRomg3cQIfVnyIN VXPOx6GPhYZp4BY6NQgRkl16hvvIRvK60f+nEK6FhlUoiJ2leIdY3ez6loNkcgB1cXMJ +Mv+u4+MlgEmBHU0cojaTpaDjKvUNearawL7Z5ePCMNGWN7lHxP0Al6Z6R94AanXYWaM rO+a6GN4d2eti45u2m6p/bU8tP0oKAHjUO7DaFI2BP1pUMWmaqkwoDzZKJi9Q6bVZB+y jR8A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=tW6GzBwpsgycmF9KcKDqHVG9mpoQo2SZuv0tXOqkJVU=; b=T0xaCitZk6RkZ86EJjYr8q6PtPTb8StJJ+TWXHjvI+70DzV40Br4z/z/j9+0UID4lX PhbBjSW4zURTFrXjP3y6/gWsS5r1AqylKVHVfw+qwgPjb9gFF1MBl0NQ+g3umlNwT14t +vZKE+ZDvu4VLzlHDOeT1MypLhKnku/SS94aSL/MZFIkHNLpt/L3AJUopT3KgcoQSDzE vPmoqF5dSd5CSybLYv8MZaHDuOUdvQEfmgbJNvVt7G/jDe6nuaqDCpju53pKdL7Gp+rN raptYJXMd92BBBvMZ3nt98tirtzsMqXTbNsVwKwBIHdfjhFkZp4gBl/3G4/ukFkEn0bQ hv6A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKUgM9cZ1bP/BsHh1Xdx81cPgQgQ/HD7w/zqmjE9mRAIBISZovkX EZKq40yJWJjEUHiYeFBrPo4= X-Google-Smtp-Source: AK7set99MhxKJzMwcs1Ipl7m1wlS/vfGHuhU3SedF76OEC7EMRvjkQFMnNZctqiVpS23QGWZhEuWjg== X-Received: by 2002:a05:620a:4a:b0:706:5829:e05a with SMTP id t10-20020a05620a004a00b007065829e05amr1108570qkt.424.1675609083712; Sun, 05 Feb 2023 06:58:03 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:622a:2309:b0:3a9:8ab2:1bab with SMTP id ck9-20020a05622a230900b003a98ab21babls10229012qtb.5.-pod-prod-gmail; Sun, 05 Feb 2023 06:58:02 -0800 (PST) X-Received: by 2002:ac8:5c44:0:b0:3b9:b678:5c6e with SMTP id j4-20020ac85c44000000b003b9b6785c6emr1439685qtj.316.1675609082174; Sun, 05 Feb 2023 06:58:02 -0800 (PST) Date: Sun, 5 Feb 2023 06:58:01 -0800 (PST) From: Benedikt Ahrens To: Homotopy Type Theory Message-Id: Subject: [HoTT] ACT 2023: first announcement MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_6788_419562851.1675609081231" X-Original-Sender: benedikt.ahrens@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: , ------=_Part_6788_419562851.1675609081231 Content-Type: multipart/alternative; boundary="----=_Part_6789_8588192.1675609081231" ------=_Part_6789_8588192.1675609081231 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear All, I am forwarding the announcement below for the ACT conference 2023.=20 According to the PC chairs, submissions on categorical semantics of type=20 theories are very welcome. Benedikt 6th Annual International Conference on Applied Category Theory (ACT2023) July 31 - August 4, 2023 https://act2023.github.io/ The Sixth International Conference on Applied Category Theory will take place at the University of Maryland from 31 July to 4 August 2023, preceded by the Adjoint School 2023 from 24 to 28 July. This conference follows previous events at Strathclyde (UK), Cambridge (UK), Cambridge (MA), Oxford (UK) and Leiden (NL). Applied category theory is important to a growing community of researchers who study computer science, logic, engineering, physics, biology, chemistry, social science, systems, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field. SUBMISSIONS We accept submissions in English of original research papers, talks about work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a proceedings volume. The conference will include an industry showcase event and community meeting. We particularly encourage people from underrepresented groups to submit their work and the organizers are committed to non-discrimination, equity, and inclusion. Original research papers intended for conference proceedings should present original, high-quality work in the style of a computer science conference paper (up to 12 pages, not counting the bibliography; more detailed parts of proofs may be included in an appendix for the convenience of the reviewers). Please use the EPTCS style files available at < http://style.eptcs.org>. Such submissions should not be an abridged version of an existing journal article although pre-submission arXiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings. IMPORTANT DATES The following dates are all in 2023, and Anywhere On Earth. - Submission Deadline: Wednesday 3 May - Author Notification: Wednesday 7 June - Camera-ready version due: Tuesday 27 June - Conference begins: 31 July PROGRAM COMMITTEE Benedikt Ahrens Mike Mislove Mario =C3=81lvarez Picallo Sean Moss Matteo Capucci David Jaz Myers Titouan Carette Susan Niefield Bryce Clarke Jason Parker Carmen Constantin Evan Patterson Geoffrey Cruttwell Paige Randall North Giovanni de Felice Sophie Raynor Bojana Femic Emily Roff Marcelo Fiore Morgan Rogers Fabio Gadducci Mario Rom=C3=A1n Zeinab Galal Maru Sarazola Richard Garner Bas Spitters Neil Ghani Sam Staton (co-chair) Tamara von Glehn Dario Stein Amar Hadzihasanovic Eswaran Subrahmanian Masahito Hasegawa Walter Tholen Martha Lewis Christina Vasilakopoulou (co-chair) Sophie Libkind Christine Vespa Rory Lucyshyn-Wright Simon Willerton Sandra Mantovanni Glynn Winskel Jade Master Vladimir Zamdzhiev Konstantinos Meichanetzidis Fabio Zanasi Stefan Milius ORGANIZING COMMITTEE James Fairbanks, University of Florida Joseph P. Moeller, National Institute for Standards and Technology, USA Sam Staton, Oxford University Priyaa Varshinee Srinivasan, National Institute for Standards and Technology, USA Christina Vasilakopoulou, National Technical University of Athens STEERING COMMITTEE John Baez, University of California, Riverside Bob Coecke, Cambridge Quantum Dorette Pronk, Dalhousie University David Spivak, Topos Institute --=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/d75fc6a8-ee5d-4e81-8d4f-a27be1c247d3n%40googlegroups.com= . ------=_Part_6789_8588192.1675609081231 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear All,
I am forwarding the announcement below for the ACT conf= erence 2023. According to the PC chairs, submissions on categorical semanti= cs of type theories are very welcome.
Benedikt


6th Annual International Conference on Applied Categor= y Theory (ACT2023)


July 31 - August 4, 2023

https://act2023.github.io/
The Sixth International Conference on Applied Category Theory will take<= br />place at the University of Maryland from 31 July to 4 August 2023, pre= ceded
by the Adjoint School 2023 from 24 to 28 July. This conference f= ollows
previous events at Strathclyde (UK), Cambridge (UK), Cambridge = (MA), Oxford
(UK) and Leiden (NL).


Applied category t= heory is important to a growing community of researchers
who study com= puter science, logic, engineering, physics, biology,
chemistry, social= science, systems, linguistics and other subjects using
category-theor= etic tools.=C2=A0 The background and experience of our members is
as v= aried as the systems being studied. The goal of the Applied Category
T= heory conference series is to bring researchers together, strengthen theapplied category theory community, disseminate the latest results, andfacilitate further development of the field.


SUBMISSIO= NS

We accept submissions in English of original research papers,= talks about
work accepted/submitted/published elsewhere, and demonstr= ations of relevant
software. Accepted original research papers will be= published in a
proceedings volume. The conference will include an ind= ustry showcase event
and community meeting. We particularly encourage = people from
underrepresented groups to submit their work and the organ= izers are
committed to non-discrimination, equity, and inclusion.

Original research papers intended for conference proceedings should = present
original, high-quality work in the style of a computer science= conference
paper (up to 12 pages, not counting the bibliography; more= detailed parts
of proofs may be included in an appendix for the conve= nience of the
reviewers). Please use the EPTCS style files available a= t <
http://style.eptcs.org&= gt;. Such submissions should not be an abridged version
of an existing= journal article although pre-submission arXiv preprints are
permitted= . These submissions will be adjudicated for both a talk and
publicatio= n in the conference proceedings.

IMPORTANT DATES

The = following dates are all in 2023, and Anywhere On Earth.

=C2=A0 = =C2=A0 - Submission Deadline: Wednesday 3 May

=C2=A0 =C2=A0 - Au= thor Notification: Wednesday 7 June

=C2=A0 =C2=A0 - Camera-ready= version due: Tuesday 27 June

=C2=A0 =C2=A0 - Conference begins:= 31 July


PROGRAM COMMITTEE


Benedikt Ahren= s Mike Mislove

Mario =C3=81lvarez Picallo=C2=A0 =C2=A0Sean Moss<= br />
Matteo Capucci David Jaz Myers

Titouan Carette Susan = Niefield

Bryce Clarke Jason Parker

Carmen Constantin = Evan Patterson

Geoffrey Cruttwell Paige Randall North

Giovanni de Felice Sophie Raynor

Bojana Femic Emily Roff
<= br />Marcelo Fiore Morgan Rogers

Fabio Gadducci Mario Rom=C3=A1n=

Zeinab Galal Maru Sarazola

Richard Garner Bas Spitte= rs

Neil Ghani Sam Staton (co-chair)

Tamara von Glehn = Dario Stein

Amar Hadzihasanovic Eswaran Subrahmanian

= Masahito Hasegawa Walter Tholen

Martha Lewis Christina Vasilakop= oulou (co-chair)

Sophie Libkind Christine Vespa

Rory = Lucyshyn-Wright Simon Willerton

Sandra Mantovanni Glynn Winskel<= br />
Jade Master Vladimir Zamdzhiev

Konstantinos Meichanet= zidis Fabio Zanasi

Stefan Milius


ORGANIZING COM= MITTEE


James Fairbanks, University of Florida
Joseph = P. Moeller, National Institute for Standards and Technology, USA

Sam Staton, Oxford University
Priyaa Varshinee Srinivasan, National I= nstitute for Standards and
Technology, USA

Christina Vasila= kopoulou, National Technical University of Athens

STEERING COMMI= TTEE

John Baez, University of California, Riverside

B= ob Coecke, Cambridge Quantum

Dorette Pronk, Dalhousie University=

David Spivak, Topos Institute

--
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.c= om/d/msgid/HomotopyTypeTheory/d75fc6a8-ee5d-4e81-8d4f-a27be1c247d3n%40googl= egroups.com.
------=_Part_6789_8588192.1675609081231-- ------=_Part_6788_419562851.1675609081231--