posted by organizer: oleg_okmij || 1975 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

ICOPEC 2027   16. International Conference on Political Economy: Geopolitical Shifts, Green Transitions, and the New Global Order
TFP 2027   28th International Symposium on Trends in Functional Programming
IEEE CSTE 2027   IEEE--2027 9th International Conference on Computer Science and Technologies in Education (CSTE 2027)
AI-ML sys 2026   6th International Conference on AI–ML Systems
IEEE ICEIT 2027   IEEE--2027 the 16th International Conference on Educational and Information Technology (ICEIT 2027)
IEEE APIET 2027   IEEE--2027 2nd Asia-Pacific Intelligent Educational Technologies Conference (APIET 2027)
ML 2027   23rd International Conference Mobile Learning 2027
AEIT 2027   Springer--2027 8th International Conference on Advances in Education and Information Technology (AEIT 2027)
ICEDS--EI 2027   2027 8th International Conference on Education Development and Studies (ICEDS 2027)
HICSS DS, AAI, and ML 2027   HICSS 59 Mini-Track: Data Science, Agentic AI, and Machine Learning to Support Business Decisions Minitrack