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

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

FacebookTwitterLinkedInGoogle

Link: https://icfp23.sigplan.org/home/mlworkshop-2023
 
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

Distributed AI/ML 2025   Distributed AI/ML at the Resource-Constrained Edge
NLP4DH 2025   The 5th International Conference on Natural Language Processing for Digital Humanities
IEEE ITET 2026   IEEE--2026 7th International Conference on Information Technology and Education Technology (ITET 2026)
Springer AIET 2025   Springer--2025 the 6th International Conference on Artificial Intelligence in Education Technology (AIET 2025)
FFLAI 2026   Future Facing Learning and AI in Higher Education
EVALSUP & CIMQUSEF 2025   The 7th International Conference on Evaluation in Higher Education and the 22th International Conference on the Quality of Education
SAYGreeN 2026   First Workshop on Sustainable AI in/for Green Networking (SAYGreeN 2026)- Colocated with IEEE PerCom 2026
RCSM 2025   Recent Trends in Computing and Smart Mobility Conference
SOFSEM 2026   Current Trends in Theory and Practice of Computer Science
ICEMT--EI 2025   2025 The 9th International Conference on Education and Multimedia Technology (ICEMT 2025)