Merge pull request #47 from AlgebraicJulia/jpf/cfp-pc

Update PC list and dates

act2025/act2025.qmd

@@ -17,13 +17,15 @@ For more information on the ACT series, see [here](https://www.appliedcategoryth
 The call for participation ([CFP](act2025cfp.md)) has been posted
 :::
 
-## Dates (tentative)
+## Important dates
 
-- Call for participation released: 25 November 2025 AOE
-- Submission deadline: 3 March 2025 AOE
-- Reviews start: 5 March 2025 AOE
-- Announcement of accepted papers and presentations: 7 April 2025 AOE
-- Release of pre-proceedings: 19 May 2025 AOE
+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
 
 ## Adjoint School
 

act2025/act2025cfp.md

@@ -1,22 +1,21 @@
-## **Call for participation**
+## 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**
+## 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  
+* 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
+* June 2-6: Conference
 
-### **Submissions**
+## Submissions
 
 The submission URL is: [https://easychair.org/conferences/?conf=act2025](https://easychair.org/conferences/?conf=act2025) 
 
@@ -36,42 +35,51 @@ In order to give our reviewers enough time to bid on submissions, we ask for a t
 
 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**
+## 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  
+  - Amar Hadzihasanovic (PC Chair), Tallinn University of Technology
+  - JS Lemay (PC Chair), 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
 
+  - 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
+  - Martin Frankland, University of Regina
+  - Jonas Frey, LIPN
+  - Tobias Fritz, University of Innsbruck 
+  - Zeinab Galal, University of Bologna 
+  - Léonard Guetta, Utrecht University
+  - Robin Kaarsgaard, University of Southern Denmark
+  - Martti Karvonen, UCL
+  - Shin-Ya Katsumata, Kyoto Sangyo University
+  - Alex Kavvos, University of Bristol
+  - Kohei Kishida, University of Illinois Urbana-Champagne
+  - Gabriele Lobbia, Università di Bologna
+  - Fosco Loregian, Tallinn University of Technology
+  - Giulio Manzonetto, IRIF
+  - Dan Marsden, University of Nottingham
+  - Adrian Miranda, University of Manchester
+  - Koko Muroya, NII
+  - Nina Otter, Université Paris-Saclay
+  - Hugo Paquet, INRIA Paris
+  - John Power, Macquarie University
+  - Dorette Pronk, Dalhousie University
+  - Callum Reader, University of Sheffield 
+  - Martina Rovelli, University of Massachusetts Amherst
+  - Mehrnoosh Sadrzadeh, UCL
+  - Peter Selinger, Dalhousie University
+  - David Sprunger, University of Indiana
+  - 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
+  - Priyaa Varshinee Srinivasan, Tallinn University of Technology