Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Applied Category Theory 2022: First Call for Papers
@ 2022-02-23 18:53 Fredrik Nordvall Forsberg
  0 siblings, 0 replies; only message in thread
From: Fredrik Nordvall Forsberg @ 2022-02-23 18:53 UTC (permalink / raw)
  To: types-announce, logic, homotopytypetheory, spls

5th Annual International Conference on Applied Category Theory (ACT2022)
July 18--22, 2022

The Fifth International Conference on Applied Category Theory will take
place at the University of Strathclyde from 18 to 22 July 2022, preceded
by the Adjoint School 2022 from 11 to 15 July. This conference follows
previous events at Cambridge (UK), Cambridge (MA), Oxford and Leiden.

Applied category theory is important to a growing community of
researchers who study computer science, logic, type theory, engineering,
physics, biology, chemistry, social science, 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.


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 keynote addresses will be chosen from the
accepted papers. 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.

Submission formats:

     1. Extended Abstracts should be submitted describing the
     contribution and providing a basis for determining the topics and
     quality of the anticipated presentation (1-2 pages). These
     submissions will be adjudicated for inclusion as a talk at the
     conference. Such work should include references to any longer
     papers, preprints, or manuscripts providing additional details.

     2. Conference Papers should present original, high-quality work in
     the style of a computer science conference paper (up to 14 pages,
     not counting the bibliography; detailed proofs may be included in an
     appendix for the convenience of the reviewers). Such submissions
     should not be an abridged version of an existing journal article
     (see item 1) although pre-submission Arxiv preprints are permitted.
     These submissions will be adjudicated for both a talk and
     publication in the conference proceedings.

     3. Software Demonstrations should be submitted in the format of an
     Extended Abstract (1-2 pages) giving the program committee enough
     information to assess the content of the demonstration. We are
     particularly interested in software that makes category theory
     research easier, or uses category theoretic ideas to improve
     software in other domains.

Extended abstracts and conference papers should be prepared with LaTeX.
For conference papers please use the EPTCS style files available at
http://style.eptcs.org/ .

The submission link is https://easychair.org/conferences/?conf=act2022 .


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

     - Submission Deadline: Monday 9 May
     - Author Notification: Tuesday 7 June
     - Camera-ready version due: Tuesday 28 June
     - Adjoint School: Monday 11 to Friday 15 July
     - Main Conference: Monday 18 to Friday 22 July


We hope to run the conference as a hybrid event with talks recorded or
streamed for remote participation. However, due to the state of the
pandemic, the possibility of in-person attendance is not yet confirmed.
Please be mindful of changing conditions when booking travel or hotel


Limited financial support will be available. Please contact the
organisers for more information.


Jade Master, University of Strathclyde (Co-Chair)
Martha Lewis, University of Bristol (Co-Chair)

The full program committee will be announced soon.


Jules Hedges, University of Strathclyde
Jade Master, University of Strathclyde
Fredrik Nordvall Forsberg, University of Strathclyde
James Fairbanks, University of Florida


John Baez, University of California, Riverside
Bob Coecke, Cambridge Quantum
Dorette Pronk, Dalhousie University
David Spivak, Topos Institute

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/24447816-6fdf-0fda-6022-4f63abe6412d%40strath.ac.uk.

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

only message in thread, other threads:[~2022-02-23 18:53 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-02-23 18:53 [HoTT] Applied Category Theory 2022: First Call for Papers Fredrik Nordvall Forsberg

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).