Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* Applied Category Theory 2020 - Second Call for Papers
@ 2020-04-06 16:26 Jamie Vicary
  0 siblings, 0 replies; only message in thread
From: Jamie Vicary @ 2020-04-06 16:26 UTC (permalink / raw)
  To: Homotopy Type Theory

SECOND CALL FOR PAPERS

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

July 6 – 10, 2020
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 provide a
platform for researchers in the area to discuss recent progress.

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.

ACT2020 will be held entirely online, with all the attendant
advantages: no registration fee, no need to travel, etc. It will
consist of three 2-hour sessions per day, spaced the clock to
accommodate the different time zones of our speakers. All the talks
will be both live streamed and recorded on YouTube. Our goal is a
conference that provides high quality, interactive talk sessions;
generative, high bitrate discussions; and serendipitous interactions
with new people.

The conference will include a business showcase, and it will be
preceded by a tutorial day.  This event follows ACT2018 in Leiden, and
ACT2019 in Oxford.

** IMPORTANT DATES (all in 2020)**

Submission of contributed papers: Sunday May 10
Success notification: Sunday June 7
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
Miriam Backens, University of Birmingham
John Baez, Centre for Quantum Technologies
Richard Blute, University of Ottawa
Tai-Danae Bradley, City University of New York
Andrea Censi, ETH Zurich
Corina Cirstea, ETC 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
Jeremy Gibbons, University of Oxford
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
Alex Hoffnung, Bridgewater
Joachim Kock, Universitat Autònoma de Barcelona
Alexander Kurz, Chapman University
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
Daniela Petrisan, University of Paris, IRIF
Vaughan Pratt, Stanford University
Peter Selinger, Dalhousie University
Michael Shulman, University of San Diego
David I. Spivak, Massachusetts Institute of Technology (co-chair)
John Terilla, Tunnel Technologies
Walter Tholen, York University
Todd Trimble, Western Connecticut State University
Christina Vasilakopoulou, University of Patras
Jamie Vicary, University of Birmingham (co-chair)
Maaike Zwart, University of Oxford

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-06 16:26 Applied Category Theory 2020 - Second Call for Papers Jamie Vicary

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