Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
From: Jamie Vicary <jamievicary@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] CALL FOR PAPERS - Applied Category Theory Conference (ACT2020)
Date: Tue, 3 Mar 2020 11:09:36 +0000
Message-ID: <CANr23v02PNx9MaQDVQ7E=3nU7nKR6oYV+Kr7i55e4i97yVM=4Q@mail.gmail.com> (raw)
In-Reply-To: <CANr23v2UWuXFSJqn+GM8TW3rToUiVKPLO=RWnXuDR3XyfKKmqw@mail.gmail.com>

[Submissions from the HoTT/UF community would be very welcome, in
particular with Finster, Garner, Licata, Shulman on the PC this year.]

CALL FOR PAPERS

3rd Annual International Conference on
Applied Category Theory
(ACT2020)

July 6 – 10, 2020, MIT, USA

http://act2020.mit.edu

          * * *

Applied category theory is a topic of interest for a growing community
of researchers interested in studying many different kinds of systems
using category-theoretic tools. These systems are found across
computer science, mathematics, and physics, as well as in social
science, linguistics, cognition, and neuroscience. The background and
experience of our members is as varied as the systems being studied.
The goal of the Applied Category Theory conference is to bring the
majority of researchers in the field together and provide a platform
for exposing progress in the area.

We seek submissions of both original research papers and extended
abstracts of work that's been submitted, accepted, or published
elsewhere. Original research papers we accept will be invited for
publication in a proceedings volume. Some contributions will be
invited to become keynote addresses, and best paper award(s) may also
be given.

The conference will include a business showcase, and it will be
preceded by a tutorial day.

This event follows ACT 2018 in Leiden, and ACT 2019 in Oxford.


** IMPORTANT DATES (all in 2020)**

Submission of contributed papers: April 26
Acceptance/Rejection notification: May 17
Early bird registration deadline: May 20
Final registration deadline: June 26
Tutorial day: July 5
Main conference: July 6 – 10


** SUBMISSIONS **

Two types of submissions are accepted, both of which will be reviewed
using the same standards:

 - Proceedings Track. Original contributions of high-quality work
consisting of a 5–12 page extended abstract that provides evidence of
results of genuine interest, and with enough detail to allow the
program committee to assess the merits of the work. Submission of a
work-in-progress is encouraged, but it must be more substantial than a
research proposal.

 - Non-Proceedings Track. Descriptions of high-quality work submitted
or published elsewhere will also be considered, provided the work is
recent and relevant to the conference. The work may be of any length,
but the program committee members may only look at the first 3 pages
of the submission, so you should ensure that these pages contain
sufficient evidence of the quality and rigor of your work.

Submissions should be prepared using LaTeX, and must be submitted in
PDF format. The submission link is available on the ACT2020 web page.


** PROGRAM COMMITTEE **

Mathieu Anel, Carnegie Mellon University
John Baez, Centre for Quantum Technologies
Richard Blute, University of Ottawa
Tai-Danae Bradley, City University of New York
Andrea Censi, ETH Zurich
Bob Coecke, University of Oxford
Valeria de Paiva, Samsung Research America and University of Birmingham
Ross Duncan, University of Strathclyde
Eric Finster, University of Birmingham
Brendan Fong, Massachusetts Institute of Technology
Tobias Fritz, Perimeter Institute for Theoretical Physics
Richard Garner, Macquarie University
Fabrizio Romano Genovese, Statebox
Amar Hadzihasanovic, IRIF, Université de Paris
Helle Hvid Hansen, Delft University of Technology
Jules Hedges, Max Planck Institute for Mathematics in the Sciences
Kathryn Hess Bellwald, Ecole Polytechnique Fédérale de Lausanne
Chris Heunen, The University of Edinburgh
Joachim Kock, Universitat Autònoma de Barcelona
Tom Leinster, The University of Edinburgh
Martha Lewis, University of Amsterdam
Daniel R. Licata, Wesleyan University
David Jaz Myers, Johns Hopkins University
Paolo Perrone, Massachusetts Institute of Technology
Vaughan Pratt, Stanford University
Peter Selinger, Dalhousie University
Michael Shulman, University of San Diego
David I. Spivak, Massachusetts Institute of Technology (co-chair)
Walter Tholen, York University
Todd Trimble, Western Connecticut State University
Jamie Vicary, University of Birmingham (co-chair)
Maaike Zwart, University of Oxford


** STEERING COMMITTEE **

John Baez (University of California Riverside)
Bob Coecke (University of Oxford)
David Spivak (MIT)
Christina Vasilakopoulou (University of Patras)

-- 
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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CANr23v02PNx9MaQDVQ7E%3D3nU7nKR6oYV%2BKr7i55e4i97yVM%3D4Q%40mail.gmail.com.

           reply index

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <CANr23v2UWuXFSJqn+GM8TW3rToUiVKPLO=RWnXuDR3XyfKKmqw@mail.gmail.com>]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CANr23v02PNx9MaQDVQ7E=3nU7nKR6oYV+Kr7i55e4i97yVM=4Q@mail.gmail.com' \
    --to=jamievicary@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git