caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] ML Family Workshop 2020: Call for presentations
@ 2020-04-04  9:06 Leo White
  0 siblings, 0 replies; only message in thread
From: Leo White @ 2020-04-04  9:06 UTC (permalink / raw)
  To: caml-list

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.

Currently, the workshop is still scheduled to go ahead as planned
in Jersey City, however it is likely that the ML workshop will
end up being a virtual workshop this year. Either way provisions
will be made to allow speakers to present their work remotely.

See our detailed CFP online on the ICFP website:

  https://icfp20.sigplan.org/home/mlfamilyworkshop-2020

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

- Friday 15th May (any time zone): Abstract submission deadline
- Friday 26th June: Author notification
- Thursday 27th August: ML Family Workshop

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

- Youyou Cong (Tokyo Institute of Technology)
- 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.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-04  9:06 [Caml-list] ML Family Workshop 2020: Call for presentations Leo White

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git