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

[Guillaume Munch-Maccagnoni]

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 submissions to the ML Family Workshop 2023
> (with apologies for cross-posting):
>
>
>       Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family 
> Workshop
>
> Co-located with ICFP <https://urldefense.com/v3/__https://icfp23.sigplan.org/__;!!IBzWLUs!R4gHnVTrRBqxHzHIsMMxoFeEzHa-yRZ-I_gpdS9g7MpwJeG9ivxD_gZW4MNW_4gUAfGo1JzDFejGi-6lEFpU36XrSgfnqiLWb69yA9qt3pk$ >
> Date: September 8, 2023 (Friday)
> Location: Seattle, WA, USA (day after main ICFP)
>
> ML (originally, “Meta Language”) is a family of programming languages
> that includes dialects known as Standard ML, OCaml, and F#, among
> others. The development of these languages has inspired a large amount
> of computer science research, both practical and theoretical.
>
> The ML Family Workshop is an established informal workshop aiming to
> recognize the entire extended ML family and to provide the forum to
> present and discuss common issues: all aspects of the design,
> semantics, theory, application, implementation, and teaching of the
> members of the ML family. We also encourage presentations from related
> languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,
> Eff, ATS, etc), to promote the exchange of ideas and experience. The
> ML family workshop will be held in close coordination with the OCaml
> Users and Developers Workshop.
>
> We plan the workshop to be an in-person event with remote
> participation (streamed live). Speakers are generally expected to
> present in person (we will work to make remote presentations
> possible).
>
> We solicit proposals for contributed talks, in PDF format, with a
> short summary at the beginning and the indication of the submission
> category: Research Presentations, Experience Reports, Demos, and
> Informed Positions. The point of the submission should be clear from
> its first two pages (PC members are not obligated to read any
> further.) We particularly encourage talks about works in progress,
> presentations of negative results (things that were expected to but
> did not quite work out) and informed positions.
>
> See the full call for presentations
> <https://urldefense.com/v3/__https://icfp23.sigplan.org/home/mlworkshop-2023*Call-for-Presentations__;Iw!!IBzWLUs!R4gHnVTrRBqxHzHIsMMxoFeEzHa-yRZ-I_gpdS9g7MpwJeG9ivxD_gZW4MNW_4gUAfGo1JzDFejGi-6lEFpU36XrSgfnqiLWb69yOGQFUuc$ >
> for submission instructions.
>
>   * Deadline for talk proposals: Thursday, June 1, 2023
>   * Notification of acceptance: Thursday, July 6, 2023
>   * Workshop: Friday, September 8, 2023
>
>
>       Program Committee
>
>   * Lars Bergstrom, Google, USA
>   * Martin Elsman, University of Copenhagen, Denmark
>   * Matthew Fluet, Rochester Institute of Technology, USA
>   * Jacques Garrigue, Nagoya University, Japan
>   * Oleg Kiselyov, Tohoku University, Japan (Chair)
>   * Julia Lawall, 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
>
>
>
-- 
Guillaume Munch-Maccagnoni
Researcher at INRIA
Gallinette team, Nantes
https://urldefense.com/v3/__https://guillaume.munch.name/__;!!IBzWLUs!R4gHnVTrRBqxHzHIsMMxoFeEzHa-yRZ-I_gpdS9g7MpwJeG9ivxD_gZW4MNW_4gUAfGo1JzDFejGi-6lEFpU36XrSgfnqiLWb69y1rGJzD4$