[TYPES/announce] Applied Category Theory 2023: First Call for Papers

[Sam Staton]

6th Annual International Conference on Applied Category Theory (ACT 2023)

July 31 – August 4, 2023

https://urldefense.com/v3/__https://act2023.github.io/__;!!IBzWLUs!XwrtRBB03nIviYPa7EGr9EE3WJxN7_b4emEpglT5aaTEeA3CokTiE_3r6FHSSKTnQiy15h5U-gCdMh8KkcB5sSZwCzs8PSv8KxW0pA$  

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.

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 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 <https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!XwrtRBB03nIviYPa7EGr9EE3WJxN7_b4emEpglT5aaTEeA3CokTiE_3r6FHSSKTnQiy15h5U-gCdMh8KkcB5sSZwCzs8PSt46i7UhQ$ >. 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. 

IMPORTANT DATES

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

PROGRAM COMMITTEE

Sam Staton (co-chair) 
Christina Vasilakopoulou (co-chair) 

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 
Tamara von Glehn   		Dario Stein				
Amar Hadzihasanovic		Eswaran Subrahmanian	
Masahito Hasegawa		Walter Tholen
Martha Lewis   			Christina Vasilakopoulou 	
Sophie Libkind			Christine Vespa			
Rory Lucyshyn-Wright		Simon Willerton
Sandra Mantovanni 		Glynn Winskel			
Jade Master    			Vladimir Zamdzhiev		
Konstantinos Meichanetzidis	Fabio Zanasi			
Stefan Milius


ORGANIZING COMMITTEE

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 Technology, USA 
Christina Vasilakopoulou, National Technical University of Athens

STEERING COMMITTEE

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