Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Tracks (17 results)

TyDe 2020

… welcome all contributions, both theoretical and practical, on a range of topics …=PLyrlk8Xaylp63TV8z8yZb79BNzFse9wVO) for all consenting presenters are now available … types as a means of program development.

We welcome all contributions, both …

ML 2020

… Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure … of the workshop includes all aspects of the design, semantics, theory, application …

Erlang 2020

… Scholarships that cover the cost of full tickets for the Erlang workshop and all … to protect the anonymity of applicants; all application data will only be used ….

All applicants will be notified via email with conference registration details …

HOPE 2020

… . They are dedicated to John Reynolds, whose work is an inspiration to us all.

The 8th … on YouTube All talks are available on YouTube. Please see the ACM’s [HOPE playlist … (but not expected) to read.

We are interested in talks on all topics related …

FARM 2020

… from people of all backgrounds – students, hobbyists, and professionals alike …

OCaml 2020

… and its community. We aim to solicit talks on all aspects related to improving … as well as provide necessary feedback and ensure that all videos match our …. * Ensure that all videos are of the same quality, the audio levels are the same …

miniKanren 2020

… of being “run backward,” performing synthesis, etc.

We want to encourage all kinds …

Scheme 2020

… . * All deadlines are (23:59 UTC-12), “Anywhere on Earth”.

Submission … in reviews.

We want to encourage all kinds of submissions, including **full …

Haskell 2020

… and will not be distinguished in the proceedings. Although all papers may …: 6 pages * Demo proposal: 2 pages

There is no requirement that all … pages. In all cases, the list of references is not counted against these page …

HIW 2020

… ’ve missed, so by all means submit a proposal even if it doesn’t fit exactly …

PLMW @ ICFP 2020

… there of like-minded folks who are all very excited about PL, but everyone in their own unique way. It’s really cool to find out that folks all over the world …

Artifact Evaluation

… take many forms, including any or all of the following:

  • a working copy … submission. These are the key dates (all dates are in the [Anywhere on Earth (AOE …

All examples, benchmarking results and graphs described in the paper should …

Student Volunteering

… Sign up to be a Student Volunteer and help us make ICFP 2020 a unique experience for all attendants!

ICFP is pleased to offer a number of opportunities … Notification All applications received by the deadline will be reviewed and volunteers …

ICFP 2020 Program

… , starting at 9AM (the next day) in Beijing. To make this work, all authors have … are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage …

Student Research Competition

… consists of three rounds:

Round 1: Extended Abstracts. All students … winners will receive prizes of $500, $300, and $200, respectively.

All six … for an all-expenses-paid trip, where they will be recognized …

ICFP Q&A

… During the conference, the ICFP technical program will run twice—a first time starting at 9AM in New York and then a second time 12 hours later, starting at 9AM (the next day) in Beijing. To make this work, all authors have pre-recorded …