MFPS XXXVIII (MFPS 2022), Ithaca, NY
Paris Local Event
With the generous support of IRIF, 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 in Bâtiment Sophie Germain, located at Pl. Aurélie Nemours, 75013 Paris, France (map).
Registration
To register for the Paris local event:
- Register at the main MFPS registration link here using the promo code
paris. You do not need to select a housing option. There is a $10 registration charge. - Fill out your information in this form.
Travel
For general information about travel to Paris, see here (though note that MFPS will be held at IRIF, which is located in a different building).
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