* [HoTT] ACT 2023: first announcement
@ 2023-02-05 14:58 Benedikt Ahrens
0 siblings, 0 replies; only message in thread
From: Benedikt Ahrens @ 2023-02-05 14:58 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 4374 bytes --]
I am forwarding the announcement below for the ACT conference 2023.
According to the PC chairs, submissions on categorical semantics of type
theories are very welcome.
6th Annual International Conference on Applied Category Theory (ACT2023)
July 31 - August 4, 2023
The Sixth International Conference on Applied Category Theory will take
place at the University of Maryland from 31 July to 4 August 2023, preceded
by the Adjoint School 2023 from 24 to 28 July. This conference follows
previous events at Strathclyde (UK), Cambridge (UK), Cambridge (MA), Oxford
(UK) and Leiden (NL).
Applied category theory is important to a growing community of researchers
who study computer science, logic, engineering, physics, biology,
chemistry, social science, systems, 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 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.
Original research papers intended for conference proceedings should present
original, high-quality work in the style of a computer science conference
paper (up to 12 pages, not counting the bibliography; more detailed parts
of proofs may be included in an appendix for the convenience of the
reviewers). Please use the EPTCS style files available at <
http://style.eptcs.org>. Such submissions should not be an abridged version
of an existing journal article although pre-submission arXiv preprints are
permitted. These submissions will be adjudicated for both a talk and
publication in the conference proceedings.
The following dates are all in 2023, and Anywhere On Earth.
- Submission Deadline: Wednesday 3 May
- Author Notification: Wednesday 7 June
- Camera-ready version due: Tuesday 27 June
- Conference begins: 31 July
Benedikt Ahrens Mike Mislove
Mario Álvarez Picallo Sean Moss
Matteo Capucci David Jaz Myers
Titouan Carette Susan Niefield
Bryce Clarke Jason Parker
Carmen Constantin Evan Patterson
Geoffrey Cruttwell Paige Randall North
Giovanni de Felice Sophie Raynor
Bojana Femic Emily Roff
Marcelo Fiore Morgan Rogers
Fabio Gadducci Mario Román
Zeinab Galal Maru Sarazola
Richard Garner Bas Spitters
Neil Ghani Sam Staton (co-chair)
Tamara von Glehn Dario Stein
Amar Hadzihasanovic Eswaran Subrahmanian
Masahito Hasegawa Walter Tholen
Martha Lewis Christina Vasilakopoulou (co-chair)
Sophie Libkind Christine Vespa
Rory Lucyshyn-Wright Simon Willerton
Sandra Mantovanni Glynn Winskel
Jade Master Vladimir Zamdzhiev
Konstantinos Meichanetzidis Fabio Zanasi
James Fairbanks, University of Florida
Joseph P. Moeller, National Institute for Standards and Technology, USA
Sam Staton, Oxford University
Priyaa Varshinee Srinivasan, National Institute for Standards and
Christina Vasilakopoulou, National Technical University of Athens
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 HomotopyTypeTheoryemail@example.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/d75fc6a8-ee5d-4e81-8d4f-a27be1c247d3n%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 5313 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-02-05 14:58 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-02-05 14:58 [HoTT] ACT 2023: first announcement Benedikt Ahrens
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).