[TYPES/announce] LAFI'23 - Call for participation - POPL-23 workshop on Languages for Inference - Boston, Online and with a local antenna in Paris

de Paris Cité * Gordon Plotkin, Google * Eli Sennesh, Northeastern University * Dario Stein, Oxford University * Christine Tasson, ISAE-SUPAERO (chair) _*Steering Committee*_ * Cameron Freer, MIT * Ohad Kammar, University of Edinburgh * Chung-chieh Shan, Indiana University * Jeffrey Mark Si

[TYPES/announce] LAFI 2023 - Final Call for Extended Abstracts (deadline Oct. 27) - POPL 2023 workshop on Languages for Inference

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] =    Call for Extended Abstracts     LAFI 2023    POPL 2023 workshop on

[TYPES/announce] LAFI 2023 - Call for Extended Abstracts (deadline Oct. 20) - POPL 2023 workshop on Languages for Inference

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Extended Abstracts   LAFI 2023 POPL 2023

[TYPES/announce] PhD openings in Programming Language at Sorbonne Université, Paris

step to apply is to contact Christine Tasson and Sebastien Tasson , joining a detailed CV and a motivation letter.

[TYPES/announce] LAFI'22: Submission deadline extended to October 20

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Extended Abstracts   LAFI 2022 POPL 2022

[TYPES/announce] JFLA 2014 - Third Call for Papers

relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Comité de programme --- Christine Tasson, Présidente (Université Paris Diderot) David Baelde, Vice