We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DM

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Discrete Mathematics

Title: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020

Authors: David I. Spivak (Massachusetts Institute of Technology), Jamie Vicary (University of Cambridge)
Abstract: The third annual International Applied Category Theory Conference (ACT2020) was planned to take place at MIT in Cambridge, Massachusetts USA. However, the global COVID-19 pandemic made the prospect of holding a large in-person meeting impossible, and the event was thus held completely online. Holding the talks online had the new benefits of reducing carbon footprint, being inclusive of people from more parts of the world, and producing higher-quality video talks, which have been posted online for posterity.
The ACT2020 contributions spanned a broad spectrum of application areas, including databases, dynamical systems, functional programming, game theory, lenses, neuroscience, probabilistic programming, natural language processing, quantum mechanics, and cyberphysical systems. Papers featured a broad range of categorical techniques.
Papers in this Proceedings volume represents about half of the talks presented at ACT2020. Being included in the proceedings vs. not is not an indication of talk quality, but instead almost exclusively the choice of the authors, e.g. to present work already published elsewhere.
Subjects: Discrete Mathematics (cs.DM); Programming Languages (cs.PL)
Journal reference: EPTCS 333, 2021
DOI: 10.4204/EPTCS.333
Cite as: arXiv:2101.07888 [cs.DM]
  (or arXiv:2101.07888v1 [cs.DM] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 19 Jan 2021 22:46:00 GMT (4kb)

Link back to: arXiv, form interface, contact.