posted by organizer: oleg_okmij || 302 views || tracked by 2 users: [display]

ML Family 2023 : Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop


When Sep 8, 2023 - Sep 8, 2023
Where Seattle, WA, USA
Submission Deadline Jun 1, 2023
Notification Due Jul 6, 2023
Categories    functional programming   programming language   ICFP

Call For Papers

ML Family Workshop is an established informal workshop aiming to
recognize the entire extended ML family and to provide the forum to
present and discuss common issues: 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 promote the exchange of ideas and experience. The
ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.

We plan the workshop to an be in-person event with remote participation
(streamed live). Speakers are generally expected to present in person
(we will work to make remote presentations possible).

We solicit proposals for contributed talks, in PDF format, with a
short summary at the beginning and the indication of the submission
category: Research Presentations, Experience Reports, Demos, and
Informed Positions. The point of the submission should be clear from
its first two pages (PC members are not obligated to read any
further.) We particularly encourage talks about works in progress,
presentations of negative results (things that were expected to but
did not quite work out) and informed positions.

Related Resources

Milipop 2023   Popular Militias and the Defence of Order in Post-Revolutionary Monarchies
OCaml 2023   The OCaml Users and Developers Workshop
blockchain_ml_iot 2023   Network (MDPI) Special Issue - Blockchain and Machine Learning for IoT: Security and Privacy Challenges
EDU 2023   8th International Conference on Education
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
AIET 2023   2023 4th International Conference on Artificial Intelligence in Education Technology (AIET 2023)
IJCNLP-AACL 2023   The 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics
ICIET--EI 2024   2024 12th International Conference on Information and Education Technology (ICIET 2024)
DEBS 2023   17th ACM International Conference on Distributed and Event-Based Systems
IICE 2024   The 9th IAFOR International Conference on Education in Hawaii