[TYPES/announce] Postdoctoral position on effects and/or type theory at Inria in Nantes

ences. Sincerely, Guillaume Munch-Maccagnoni Nicolas Tabareau

[TYPES/announce] Undone Computer Science — Second call for contributions

niversité & LORIA) Alessio Guglielmi (University of Bath) Guillaume Munch-Maccagnoni, Chair (Inria) Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) Norberto Patrignani (Politecnico Di Torino) Maël Pégny (Freelance data scientist; formerly Uni. Tübingen) Tomas Petricek (Charles University,

Re: [TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I am letting you know that the deadline has been extended to June 8th (AoE). Guillaume Le 24/05/2023 à 19:05, Guillaume Munch-Maccagnoni a écrit : We are happy to invite

[TYPES/announce] ML'23: ACM SIGPLAN ML Family Workshop — Call for presentations

, Inria Paris, France   * Andrey Mokhov, Jane Street, UK   * Benoît Montagu, Inria Rennes, France   * Guillaume Munch-Maccagnoni, Inria Rennes, France   * Matija Pretnar, University of Ljubljana, Slovenia   * Andreas Rossberg, Germany   * Gabriel Scherer, Inria Saclay, France

[TYPES/announce] Call for participation: Undone Computer Science, Nantes, 5-7 Feb 2024

mp; LAMIH) Simon Castellan (Inria) Pierre-Antoine Chardel (IMT Business School) Christine Eisenbeis (Inria) Chantal Enguehard, Chair (Univ. Nantes) Laurence Favier (Univ. Lille) Jean-Daniel Fekete (Inria) Karën Fort (Sorbonne Université & LORIA) Alessio Guglielmi (University of Bath) Guillaume

[TYPES/announce] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are happy to invite submissions to ML 2024 (apologies for cross-postings).   * Submission deadline: June 6th   * September 6th in Milan, Italy. Co-located with ICFP 2024.   *

[TYPES/announce] Call for Papers & Essays: Onward! @ SPLASH 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This might interest the Types community. Please help disseminate to your colleagues and networks (apologies for cross-posting). ## Onward! @ SPLASH 2024 – Call for Papers & Essays

[TYPES/announce] [Deadline extention] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop

. Please find the complete CFP below. Best regards, Guillaume Munch-Maccagnoni We are happy to invite submissions to ML 2024 (apologies for cross-postings).   * Submission deadline: June 14th   * September 6th in Milan, Italy. Co-located with ICFP 2024.   * Submission website: https