[TYPES/announce] MFPS 2023: Second Call for Papers

Goncharov, Dept. of Comput. Sci., FAU Erlangen-Nürnberg Tom Hirschowitz, CNRS, Univ. Savoie Mont Blanc Justin Hsu, Cornell University Guilhem Jaber, Université de Nantes Achim Jung, University of Birmingham Marie Kerjean, CNRS, LIPN, Université Sorbonne Paris Nord (co-chair

[TYPES/announce] MFPS 2023: Deadline Extension

, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS Justin Hsu, Cornell University Guilhem Jaber, Université de Nantes Achim Jung, University of Birmingham Marie Kerjean, CNRS, LIPN, Université Sorbonne Paris Nord (co-chair) Vasileios Koutavas, Trinity College Dublin

[TYPES/announce] MFPS and CALCO 2023: Call for participation

athematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. CALCO Chairs * Paolo Baldan (University of Padua) * Valeria de Paiva (Topos Institute, Berkeley) MFPS Chairs -- * Marie