[Agda] ML Family Workshop 2021: final call for short abstracts and presentations

Jonathan Protzenko jonathan.protzenko at gmail.com
Fri May 21 05:19:41 CEST 2021


(tl;dr)

The ML family workshop is back, and the deadline is in a week. 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)




More information about the Agda mailing list