caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Benoit Montagu <benoit.montagu@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] ML Family Workshop 2022: Final Call for Presentations
Date: Tue, 17 May 2022 16:01:25 +0200	[thread overview]
Message-ID: <191af807-68bc-5ca0-e413-34cd5f3c0474@inria.fr> (raw)

We are happy to invite submissions to the ML Family Workshop 2022, to
be held during the ICFP conference week on Thursday, September 15th.

The ML family workshop warmly welcomes submission touching on the
programming languages traditionally seen as part of the “ML family”
(Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, etc.).
The scope of the workshop includes 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 exchange experience of further developing ML ideas.

The workshop does not have proceedings, making it the perfect venue to
run some ideas with the community or present some work in progress
within a friendly environment. The PC has a broad expertise and
submissions are 3 pages long: when in doubt, just submit!

Currently, the workshop is scheduled to be an in-person event. We will
give to the authors of accepted abstracts the opportunity to give
their talks remotely if necessary, in case they could not travel.

See the detailed CFP online on the ICFP website:
https://icfp22.sigplan.org/home/mlfamilyworkshop-2022#Call-for-Presentations

Important dates
---------------

     Friday 3th June (any time zone): Abstract submission deadline
     Tuesday 28th June: Author notification
     Thursday 15th August: ML Family Workshop

Program committee
-----------------

     Kenichi Asai (Ochanomizu University)
     Arthur Azevedo de Amorim (Boston University)
     Dariusz Biernacki (University of Wrocław)
     Stephen Dolan (Jane Street)
     Kavon Farvardin (Apple)
     Armaël Guéneau (Inria)
     Sam Lindley (University of Edinburgh)
     Guido Martínez (CIFASIS-CONICET)
     Keiko Nakata (SAP Innovation Center Potsdam)
     Lionel Parreaux (Hong Kong University of Science and Technology)
     Matija Pretnar (University of Ljubljana)
     Mike Rainey (Carnegie Mellon University)
     Yann Régis-Gianas (Nomadic Labs)
     KC Sivaramakrishnan (IIT Madras and Tarides)
     Ningning Xie (University of Cambridge)

     Chair: Benoît Montagu (Inria)

Submission details
------------------

See the online CFP for the details on the expected submission format.

Submissions must be uploaded to the workshop submission website
https://ml2022.hotcrp.com/ before the submission deadline.



                 reply	other threads:[~2022-05-17 14:01 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=191af807-68bc-5ca0-e413-34cd5f3c0474@inria.fr \
    --to=benoit.montagu@inria.fr \
    --cc=caml-list@inria.fr \
    --subject='Re: [Caml-list] ML Family Workshop 2022: Final Call for Presentations' \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).