**MFPS XXXVIII (MFPS 2022), Ithaca, NY**
**Paris Local Event**
With the generous support of [IRIF](https://www.irif.fr/), we are
planning a local event in Paris, France. The event will run at the same time as
the main MFPS conference on July 11 to July 13, and will take place at
[IRIF][irif] in **Bâtiment Sophie
Germain**, located at **Pl. Aurélie Nemours, 75013 Paris, France**
([map](https://goo.gl/maps/GNZ7y45a9uqDWzea9)).
# Registration
To register for the Paris local event:
1. Register at the main MFPS registration link [here][reg] using the promo code **`paris`**. You do not need to select a housing option. There is a $10 registration charge.
2. Fill out your information in [this form](https://forms.gle/ezFiZuvJe429n1126).
[reg]: https://event.starrezevents.com/9783521a-dc8d-4adb-a204-8e9a03d4680e/8e0e87f0-ce7a-4061-8821-d0d098569943
# Travel
For general information about travel to Paris, see
[here](https://icalp2022.irif.fr/?page_id=52) (though note that MFPS will be
held at IRIF, which is located in a **different** [building][irif]).
[irif]: https://www.irif.fr/en/informations/contacts
# Schedule
**Times below are CEST (Paris).**
(##) Monday July 11, 2022
(###) Session 1
- 2:30 PM: Barbara König (**Invited Talk**)
- 3:15 PM: Ayberk Tosun and Martín Escardó. The Patch Locale of a Spectral Locale in Univalent Type Theory
- 3:35 PM: Vikraman Choudhury and Marcelo Fiore. Free Commutative Monoids in Homotopy Type Theory
- 3:55 PM: Masahito Hasegawa. The Internal Operads of Combinatory Algebras
- 4:15 PM: James Laird. Revisiting Decidable Bounded Quantification, via Dinaturality
(###) Special Session: Species of Structures in Algebra, Computation, and Logic
- 5:00 PM: Martin Hyland. The Bicategory of Species
- 6:00 PM: André Joyal. Exponentiable spaces versus coexponentiable algebras
(###) Session 3
- 8:00 PM: Frank Pfenning (**Invited Talk**)
- 8:45 PM: Bart Jacobs. Sufficient Statistics and Split Idempotents in Discrete Probability Theory
- 9:05 PM: Mateusz Pyzik. Call-By-Name Is Just Call-By-Value with Delimited Control
(##) Tuesday July 12, 2022
(###) Session 1
- 2:30 PM: Anca Muscholl (**Invited Talk**)
- 3:15 PM: Paul-André Melliès and Noam Zeilberger. Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem
- 3:35 PM: Stefan Zetzsche, Alexandra Silva and Matteo Sammartino. Guarded Kleene Algebra with Tests: Automata Learning
- 3:55 PM: Tomoya Yoshida. Continuous functions on final comodels of free algebraic theories
- 4:15 PM: Takahiro Sanada. Category-Graded Algebraic Theories and Effect Handlers
(###) Special Session: Algebraic Effects
- 5:00 PM: Sam Lindley. Effect handlers for WebAssembly
- 5:40 PM: Giorgio Bacci. Quantitative Algebraic Effects: Sum and Tensor
- 6:20 PM: Nicolas Wu. The Scope of Algebraic Effects
(###) Session 3
- Open time
(##) Wednesday July 13, 2022
(###) Session 1
- 2:30 PM: Daniela Petrisan (**Invited Talk**)
- 3:15 PM: Alexandre Goy. Weakening and Iterating Laws using String Diagrams
- 3:35 PM: Tao Gu, Robin Piedeleu and Fabio Zanasi. A Complete Diagrammatic Calculus for Boolean Satisfiability
- 3:55 PM: Daniele Palombi and Jonathan Sterling. Classifying topoi in synthetic guarded domain theory: The universal property of multi-clock guarded recursion
- 4:15 PM: Jason Z. S. Hu and Brigitte Pientka. A Categorical Normalization Proof for the Modal Lambda-Calculus
(###) Special Session: Relational Verification and Formal Reasoning
- 5:00 PM: Dave Naumann. Towards algebraic foundations for alignment
- 5:40 PM: Hiroshi Unno. Constraint-based Relational Verification
- 6:20 PM: Francesco Gavazzo. Relational Theories of Higher-Order Languages: Pure, Effectful, and Coeffectful
(###) Session 3
- 8:00 PM: Benedetto Intrigila, Giulio Manzonetto and Nicolas Munnich. Extended Addressing Machines for PCF, with Explicit Substitutions
- 8:20 PM: Hugo Paquet. Bi-invariance for uniform strategies on event structures
- 8:40 PM: Chris Barrett, Willem Heijltjes and Guy McCusker. The Functional Machine Calculus