Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ICFP Programming Contest 2024


view this post on Zulip Email Gateway (Apr 08 2024 at 10:37):

From: ICFP Contest 2024 <info.icfpcontest@gmail.com>
Dear community,

The ICFP programming contest 2024 is is held from Friday 28 June 2024 at
12:00 UTC to Monday 1 July 2024 at 12:00 UTC. There will be a lightning
division, ending on Saturday 29 June 2024 at 12:00 UTC. This is the 27th
instance of the annual programming contest series sponsored by the ACM
SIGPLAN International Conference on Functional Programming.

This is an open online programming contest. Anybody may participate
except for the contest organisers. No advance registration or entry fee
is required. Contestants are free to organize themselves into teams of
any size. Any programming language(s) on any platform(s) may be used.

As a member of this community, you are all invited to participate. For
more information and contact details, see
https://icfpcontest2024.github.io/ We hope to see many of you on the
scoreboard the end of June!

Functional greetings,
The ICFP Contest 2024 organising committee


Last updated: May 05 2024 at 04:19 UTC