From: "Leo White" <leo@lpw25.net>
To: caml-list@inria.fr
Subject: [Caml-list] ML Family Workshop 2020: Deadline extension
Date: Tue, 12 May 2020 18:46:44 +0100 [thread overview]
Message-ID: <acea1975-a713-4eae-ae86-e5a121c7dcc3@www.fastmail.com> (raw)
Due to the COVID-19 pandemic, ML 2020 will take place online.
The submission deadlines have been extended to the end of the
month to accommodate for the change in situation.
=============================================================
We are happy to invite submissions to the ML Family Workshop 2020,
to be held during the ICFP conference week on Thursday,
August 27th.
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.
Due to the COVID-19 pandemic, the workshop will take place online.
See our detailed CFP online on the ICFP website:
https://icfp20.sigplan.org/home/mlfamilyworkshop-2020
Important dates
---------------
- Friday 29th May (any time zone): Abstract submission deadline
- Friday 17th July: Author notification
- Thursday 27th August: ML Family Workshop
Program committee
-----------------
- Youyou Cong (Tokyo Institute of Technology)
- Ivan Gotovchits (Carnegie Mellon University)
- Gowtham Kaki (Purdue University)
- Neel Krishnaswami (University of Cambridge)
- Daan Leijen (Microsoft Research)
- Koko Muroya (Kyoto University)
- Atsushi Ohori (Tohoku University)
- Jonathan Protzenko (Microsoft Research)
- Gabriel Radanne (INRIA)
- Claudio Russo (Dfinity)
- Leo White (Jane Street) (Chair)
- Jeremy Yallop (University of Cambridge)
Submission details
------------------
See the online CFP for the details on the expected submission format.
Submissions must be uploaded to the workshop submission website
https://ml2020.hotcrp.com/
before the submission deadline.
reply other threads:[~2020-05-12 17:47 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=acea1975-a713-4eae-ae86-e5a121c7dcc3@www.fastmail.com \
--to=leo@lpw25.net \
--cc=caml-list@inria.fr \
/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
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).