[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(tl;dr)
The ML family workshop is back, and will be held virtually along with
ICFP 2021. 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!
(long version)
We are happy to announce that the ML Family Workshop is back for its
2021 edition, which we will be held online on Thursday August 26th, in
conjunction with ICFP 2021.
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.
## Submission details
Submissions must be at most three pages long; see the full call for
papers
<https://icfp21.sigplan.org/home/mlfamilyworkshop-2021#Call-for-Presentations>
for details.
Submission site: https://ml21.hotcrp.com/
## Important dates
Thu, May 27th 2021 (AoE): submission deadline
Thu, Jun 17th 2021 (AoE): author notification
Thu, Aug 26th: workshop (time slots TBD)
## Program committee
Danel Ahman (University of Ljubljana)
Robert Atkey (University of Strathclyde)
Frédéric Bour (Tarides)
Ezgi Çiçek (Facebook London)
Youyou Cong (Tokyo Institute of Technology)
Richard A. Eisenberg (Tweag I/O)
Martin Elsman (University of Copenhagen, Denmark)
Ohad Kammar (University of Edinburgh)
Naoki Kobayashi (University of Tokyo, Japan)
Benoît Montagu (Inria)
Jonathan Protzenko (Microsoft Research) (Chair)
Kristina Sojakova (INRIA Paris)
Don Syme (Microsoft)
Matías Toro (University of Chile)
Katsuhiro Ueno (Tohoku University)
