generated from AlgebraicJulia/quarto-website
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #46 from AlgebraicJulia/act2025cfp
ACT: post CFP
- Loading branch information
Showing
4 changed files
with
87 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,77 @@ | ||
| ## **Call for participation** | ||
|
|
||
| The [Eighth International Conference on Applied Category Theory](https://gataslab.org/act2025) will take place at the University of Florida on June 2-6, 2025\. The conference will be preceded by the Adjoint School on May 26-30, 2025\. This conference follows previous events at Oxford (2024, 2019), University of Maryland (2023), Strathclyde (2022), Cambridge (2021), MIT (2020), and Leiden (2019). | ||
|
|
||
| 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. | ||
|
|
||
| ## **SUBMISSION** | ||
|
|
||
| ### **Important dates** | ||
|
|
||
| All deadlines are AoE (Anywhere on Earth). | ||
|
|
||
| * February 26: title and brief abstract submission | ||
| * March 3: paper submission | ||
| * April 7: notification of authors | ||
| * May 19: Pre-proceedings ready versions | ||
| * June 2-6: conference | ||
|
|
||
| ### **Submissions** | ||
|
|
||
| The submission URL is: [https://easychair.org/conferences/?conf=act2025](https://easychair.org/conferences/?conf=act2025) | ||
|
|
||
| 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. | ||
|
|
||
| * Conference Papers 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). 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. | ||
|
|
||
| * Talk proposals not to be published in the proceedings, e.g. about work accepted/submitted/published elsewhere, should be submitted as abstracts, one or two pages long. Authors are encouraged to include links to any full versions of their papers, preprints or manuscripts. The purpose of the abstract is to provide a basis for determining the topics and quality of the anticipated presentation. | ||
|
|
||
| * Software demonstration proposals should also be submitted as abstracts, one or two pages. The purpose of the abstract is to provide the program committee with enough information to assess the content of the demonstration. | ||
|
|
||
| The selected conference papers will be published in a volume of Proceedings. Authors are advised to use EPTCS style; files are available at [style.eptcs.org](https://style.eptcs.org). | ||
|
|
||
| Reviewing will be single-blind, and we are not making public the reviews, reviewer names, the discussions nor the list of under-review submissions. This is the same as previous instances of ACT. | ||
|
|
||
| In order to give our reviewers enough time to bid on submissions, we ask for a title and brief abstract of your submission by February 26\. The full two-page pdf extended abstract submissions and up to 12 page proceedings submissions are both due by the submissions deadline of March 3 11:59pm AoE (Anywhere on Earth). | ||
|
|
||
| Please contact the Programme Committee Chairs for more information: Amar Hadzihasanovic ([[email protected]](mailto:[email protected])) and JS Lemay ([[email protected]](mailto:[email protected])). | ||
|
|
||
| ## **Programme Committee** | ||
|
|
||
| See conference website for full list: [https://gataslab.org/act2025](https://gataslab.org/act2025) | ||
|
|
||
| * PC Chairs | ||
| * Amar Hadzihasanovic, Tallinn University of Technology | ||
| * JS Lemay, Macquarie University | ||
|
|
||
| * PC Members | ||
| - Benedikt Ahrens, Delft University of Technology | ||
| - Robert Booth, University of Edinburgh | ||
| - Cameron Calk, LIS | ||
| - Cole Comfort, Université de Lorraine | ||
| - Valeria de Paiva, Topos Institute | ||
| - Elena Di Lavore, University of Pisa | ||
| - Jonas Frey, LIPN | ||
| - Tobias Fritz, University of Innsbruck | ||
| - Zeinab Galal, University of Bologna | ||
| - Léonard Guetta, Utrecht University | ||
| - Shin-Ya Katsumata, Kyoto Sangyo University | ||
| - Alex Kavvos, Univeristy of Bristol | ||
| - Gabriele Lobbia, Università di Bologna | ||
| - Fosco Loregian, Tallinn University of Technology | ||
| - Giulio Manzonetto, IRIF | ||
| - Adrian Miranda, University of Manchester | ||
| - Koko Muroya, NII | ||
| - Nina Otter, Université Paris-Saclay | ||
| - John Power, Macquarie University | ||
| - Dorette Pronk, Dalhousie University | ||
| - Callum Reader, University of Sheffield | ||
| - Martian Rovelli, University of Massachusetts Amherst | ||
| - Peter Selinger, Dalhousie University | ||
| - Alex Toumi, PlantingSpace | ||
| - Todd Trimble, Western Connecticut State University | ||
| - Sean Tull, Quantinuum | ||
| - Paul Wilson, Ethereum Foundation | ||
| - Dusko Pavlovic, University of Hawaii | ||
| - Ruben Van Belle, University of Oxford | ||
|
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters