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

NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
SNAM-Special Issue 2024   Datasets, Language Resources and Algorithmic Approaches on Online Wellbeing and Social Order in Asian Languages
INTC 2024   Leadership and Management in Higher Education: Innovations and Strategies in Global Context
IWSPA 2024   The 10th ACM International Workshop on Security and Privacy Analytics
Informed ML for Complex Data@ESANN 2024   Informed Machine Learning for Complex Data special session at ESANN 2024
FMEC 2024   The 9th International Conference on Fog and Mobile Edge Computing
ACL 2024   ACL2024: First Call for Main Conference Papers
ICIET--EI 2024   2024 12th International Conference on Information and Education Technology (ICIET 2024)
ICET 2024   IEEE--2024 the 4th International Conference on Educational Technology (ICET 2024)