[TYPES/announce] ML Family Workshop 2021: final call for short abstracts and presentations

ard A. Eisenberg (Tweag I/O) Martin Elsman (University of Copenhagen, Denmark) Ohad Kammar (University of Edinburgh) Naoki Kobayashi (University of Tokyo, Japan) Benoît Montagu (Inria) Jonathan Protzenko (Microsoft Research) (Chair) Kristina Sojakova (INRIA Paris) Don Syme (Microsoft) Matías Toro (Uni

[TYPES/announce] ML Family Workshop 2021: deadline extension

(Facebook London) Youyou Cong (Tokyo Institute of Technology) Richard A. Eisenberg (Tweag I/O) Martin Elsman (University of Copenhagen, Denmark) Ohad Kammar (University of Edinburgh) Naoki Kobayashi (University of Tokyo, Japan) Benoît Montagu (Inria) Jonathan Protzenko (Microsoft Research) (Chair) Kristina

[TYPES/announce] ML Family Workshop 2021: first call for short abstracts and presentations

te of Technology) Richard A. Eisenberg (Tweag I/O) Martin Elsman (University of Copenhagen, Denmark) Ohad Kammar (University of Edinburgh) Naoki Kobayashi (University of Tokyo, Japan) Benoît Montagu (Inria) Jonathan Protzenko (Microsoft Research) (Chair) Kristina Sojakova (INRIA Paris) Don Syme (Micros

[TYPES/announce] Call for participation: ML Family Workshop 2021

r (Tarides) Ezgi Çiçek (Facebook London) Youyou Cong (Tokyo Institute of Technology) Richard A. Eisenberg (Tweag I/O) Martin Elsman (University of Copenhagen, Denmark) Ohad Kammar (University of Edinburgh) Naoki Kobayashi (University of Tokyo, Japan) Benoît Montagu (Inria) Jonathan Protzenko (Microsof

[TYPES/announce] Call for Submissions: Programming Languages and the Law (ProLaLa)

Merigoux, INRIA, France - Ruzica Piskac, Yale University, USA - Jonathan Protzenko (Co-Chair), Microsoft Research, USA - Giovanni Sartor, University of Bologna, Italy - Ken Satoh, National Institute of Informatics, Japan - Kanae Tsushima, National Institute of Informatics, Japan - Meng Weng Wong, Singapore

[TYPES/announce] Second and Final Call for Submissions: Programming Languages and the Law (ProLaLa)

Merigoux, INRIA, France - Ruzica Piskac, Yale University, USA - Jonathan Protzenko (Co-Chair), Microsoft Research, USA - Giovanni Sartor, University of Bologna, Italy - Ken Satoh, National Institute of Informatics, Japan - Kanae Tsushima, National Institute of Informatics, Japan - Meng Weng Wong, Singapore

[TYPES/announce] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022

. Myers, Cornell University David Pichardie, Facebook Jonathan Protzenko, Microsoft Research (co-chair) Christine Rizkallah, UNSW Sydney Zhong Shao, Yale University Éric Tanter, University of Chile Danfeng Zhang, Pennsylvania State University Contact and More Information Y

[TYPES/announce] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022

ity of Melbourne Andrew C. Myers, Cornell University David Pichardie, Facebook Jonathan Protzenko, Microsoft Research (co-chair) Christine Rizkallah, UNSW Sydney Zhong Shao, Yale University Éric Tanter, University of Chile Danfeng Zhang, Pennsylvania State University Contact and