[Haskell] Call for Presentations: PriSC 2022 @ POPL 2022

2021-09-14 Thread Jonathan Protzenko
s Toby Murray, University 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 an

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

2021-10-05 Thread Jonathan Protzenko
, 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 Management University, Singapore

[Haskell] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022

2021-10-05 Thread Jonathan Protzenko
ftware Institute (co-chair) Armaël Guéneau, Aarhus University Johannes Kinder, Bundeswehr University Munich Adrien Koutsos, INRIA Paris Elisavet Kozyri, Arctic University of Norway Scott Moore, Galois Toby Murray, University of Melbourne Andrew C. Myers, Cornell University David Pichardie, Facebook Jo

[Haskell] Deadline Extension! Call for Presentations: PriSC 2022 @ POPL 2022

2021-10-29 Thread Jonathan Protzenko
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 You can find

[Haskell] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022

2022-09-26 Thread Jonathan Protzenko
27 Oct 2022: Submission deadline - Thu 10 Nov 2022: Notification of acceptance - Sun 15 Jan 2023: Workshop Program committee - Shrutarshi Basu (co-chair), Middlebury College, USA - Denis Merigoux (co-chair), Inria, France - Jonathan Protzenko (co-chair), Microsoft Research, USA - Timos Antonopoulo