Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg@strath.ac.uk>
To: types-announce@lists.seas.upenn.edu, logic@math.uni-bonn.de,
	homotopytypetheory@googlegroups.com, spls@lists.cent.gla.ac.uk
Subject: [HoTT] Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May)
Date: Fri, 6 May 2022 15:18:31 +0100	[thread overview]
Message-ID: <43108434-391d-c2e9-dd10-45846b301e5e@strath.ac.uk> (raw)

FINAL CALL FOR PAPERS WITH DEADLINE EXTENSION

[By popular demand, we have extended the deadline for ACT2022 by two
days until Wednesday 11 May. However we ask that authors still submit
their title and abstract by the original deadline of Monday 9 May to 
help the PC with the paper bidding process. Please let us know if you
have any questions.

New abstract deadline: Monday 9 May (AoE)
New paper deadline: Wednesday 11 May (AoE)

Submission link: https://easychair.org/conferences/?conf=act2022 .]

5th Annual International Conference on Applied Category Theory (ACT2022)
July 18--22, 2022
https://msp.cis.strath.ac.uk/act2022/

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, 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.

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 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 organisers 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 .

IMPORTANT DATES

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

    - Abstract Deadline: Monday 9 May
    - Submission Deadline: Wednesday 11 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

CONFERENCE FORMAT

Assuming additional Covid restrictions will not be introduced in the UK,
the conference will run as a hybrid event, with talks recorded or
streamed for remote participation. Please be mindful of changing
conditions when booking travel or hotel accommodations.

FINANCIAL SUPPORT

Limited financial support will be available for travel and
accommodation. Priority will be given to people with financial need and
those giving presentations. Please contact the organisers for more
information.

PROGRAM COMMITTEE

Tai-Danae Bradley, SandboxAQ and The Master’s University
Benjamin Merlin Bumpus, Eindhoven University of Technology
Matteo Capucci, University of Strathclyde
Andrea Censi, ETH Zurich
Corina Cirstea, University of Southampton
Elena Di Lavore, Tallinn University of Technology
James Fairbanks, University of Florida
Gioele Zardini, ETH Zurich
Jules Hedges, University of Strathclyde
Kohei Kishida, University of Illinois, Urbana-Champaign
Barbara König, University of Duisburg-Essen
Clemens Kupke, University of Strathclyde
Alexander Kurz, Chapman University
Martha Lewis, University of Bristol (PC co-chair)
Sophie Libkind, Stanford University
Jade Master, University of Strathclyde (PC co-chair)
Conor Mcbride, University of Strathclyde
Joe Moeller, National Institute of Standards and Technology
Elizabeth Munch, Michigan State University
Fredrik Nordvall Forsberg, University of Strathclyde
Paige North, University of Pennsylvania
Emily Roff, University of Edinburgh
Mehrnoosh Sadrzadeh, University College London
Jonathan Sterling, Aarhus University
Todd Trimble, Western Connecticut State University
Christina Vasilakopoulou, University of Patras Greece
Maaike Zwart, IT University of Copenhagen

ORGANISING COMMITTEE

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

STEERING COMMITTEE

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/43108434-391d-c2e9-dd10-45846b301e5e%40strath.ac.uk.

                 reply	other threads:[~2022-05-06 14:18 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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=43108434-391d-c2e9-dd10-45846b301e5e@strath.ac.uk \
    --to=fredrik.nordvall-forsberg@strath.ac.uk \
    --cc=homotopytypetheory@googlegroups.com \
    --cc=logic@math.uni-bonn.de \
    --cc=spls@lists.cent.gla.ac.uk \
    --cc=types-announce@lists.seas.upenn.edu \
    /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
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).