coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: Haskell Implementors' Workshop 2021

From: Ningning Xie <xnningxie AT gmail.com>
To: haskell-cafe AT haskell.org, coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu, ghc-devs AT haskell.org, haskell AT haskell.org
Subject: [Coq-Club] Call for Participation: Haskell Implementors' Workshop 2021
Date: Fri, 20 Aug 2021 17:57:39 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xnningxie AT gmail.com; spf=Pass smtp.mailfrom=xnningxie AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f180.google.com
Ironport-hdrordr: A9a23:v83bDK0zL86ivcad5cOH2wqjBL8kLtp133Aq2lEZdPU1SL3+qynKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78pdmmRFZ+EYxGIVsfrH
Ironport-phdr: A9a23:2XtnOR9purmRAf9uWai8ngc9DxPPW53KNwIYoqAql6hJOvz6uci4ZAqOvL4w0xfgZsby07p8ke3YsqTtCyQrwK2qlzQ8SqFKTAIPks4MngYtU4avAEz/K+P2PWRhRJwRHFBq8GumPkdLBc3we0PdomGo7T4VBx7zKRd5Kv76F4LMk8i7zeS/94DcbwhIhje2fK9/IgixoQjNrMcdnJFsKrw2yhvHo3tIf/pZyGZ1Ll+NnBjy+9m98od7/ytfp/wu+chAUb7nf6sjVrxXEC4mM2Eu68L1sxTIUBaC6WEdUmUSlRpIHhTF4RTnVZr/rif2quxw0zScMMbrT747RC6i4r9kRxHohikJNCM3/n/LhcFrlq1XvAisqgZjz4LIYoyYMud1cKPHfdMdQGpMRt5fVy1HAoOzaYsPDuwBPelFpIb8plsBswa1CA6jBePpzD9Ih3n23aI10uQgDw7LxwMgH9cUv3TVqNX5LrsdUeewzKTRyzjIcvxZ1yvn5ofSbhAhve+DXah2ccfJ1UUiFh/Ig1GepIH5Oz6b1vkBv3aU4eZ+S++jl2Appg5/rDSy2soihYbEi4wXx13E9St13Ik7KMC6RUN7YdOpDp1dvDyUOYtxR8MtWWBouCAix70duJ67czAKyJA9yB7ZcfCHdJKI4h3lWe2MIjl4nGpodKyjixu260Stye3xWtOq3FpXqidJiMTAu3MR2xHV98OJUOFy/l271jaKzw3T6v9LIUQzlafDLp4u2L8wlp4KvUXDBSD6hVz6jKGLekgn5uSk8evnYrLhpp+TM497lBvyPbgpmsy6Geg4Mw4OUHaH+emkyrHv4Un0TK9Jg/A2iKXVro3WKMABqqKkAAJZzp4v6xOlADen1NQYk2MHLFVAeB+fgInpPVfOIPH+DfewjFWskSlkyuvJPr3kGJrNL3zDnK39crZ67k5Q0BAzwsxH55JIFrEBJ+r+VVP2tNzBFxM2Lwi0w/v8B9hmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7jXYimlIZeeyi1JUaQHCxBfdrJ0HfZmDjxp8KFn5PtQ4jRsTrjkeDWHhdfTL6Q7Mk6yp+AYSgCprFTY2FhL2awDz9BZBffSZbEl2KFzHle5jAE/gMY2eeL9F6ujwNTrusT4tn0guh8Ef6wqFkI+7Q0i0RrpHu0Nwz4Pfcxj8o8jkhKcWb3GeMSW48rmIFD2sm2qZ+p0Nty1qr3q1xgvgeHttWsaAaGjwmPILRmrQpQ+v5XRjMK4/hoLOOTdCvADV3RdU0kYdmi6lVFNCrjxSF1C2vUeZ9f12jAZU19ufN1SG0KZ8tkzDJ064ui1RgScxKZzXOuw==

Call for Participation
ACM SIGPLAN Haskell Implementors' Workshop
Sunday 22 Aug 20:00-05:00 (Seoul)
https://icfp21.sigplan.org/home/hiw-2021

We are happy to announce that Haskell Implementors' Workshop is taking
place this Sunday, co-located with ICFP 2021. The workshop will be
live streamed on Youtube. We invite you to watch the talks, and attend
the workshop.

The program features 11 exciting talks, along with 4 lightning talks.
The keynote is given by Bengt Marten Agren (Standard Chartered Bank),
on "Haskell reinterpreted – large-scale real-world experience with the
Mu compiler in Financial Markets".

Program details: https://icfp21.sigplan.org/home/hiw-2021#program
Keynote details:
https://icfp21.sigplan.org/details/hiw-2021-papers/14/Haskell-reinterpreted-large-scale-real-world-experience-with-the-Mu-compiler-in-Fin

Program Committee
-----------------

* Dominique Devriese (Vrije Universiteit Brussel)
* Daan Leijen (Microsoft Research)
* Andres Löh (Well-Typed LLP)
* Julie Moronuki (Typeclass Consulting)
* John Wiegley (DFINITY)
* Ningning Xie (the University of Hong Kong)
* Edward Z. Yang (Facebook AI Research)

Contact
-------

* Ningning Xie <xnningxie AT gmail.com>

[Coq-Club] Call for Participation: Haskell Implementors' Workshop 2021, Ningning Xie, 08/20/2021