[TYPES/announce] Call for participation: ICFP programming contest

Nikhil Swamy nswamy at microsoft.com
Mon Jul 22 21:41:05 EDT 2013

This year's ICFP programming contest is just a few weeks away.

If you fancy yourself a discriminating hacker, or just want to prove that your programming language of choice is clearly the best, you should plan to participate in the contest now! 

-- The contest will start at: 1700 PDT on August 8, 2013 (0000 UTC on August 9, 2013)
-- The contest will end at:  1700 PDT on August 11, 2013 (0000 UTC August 12, 2013).
-- You need to pre-register for the contest, 72 hours prior to the contest at the latest

A hint for this year: The programming task will involve an element of program synthesis. 

If you have friends who use languages that are not too shabby, or are just extremely cool hackers, give them a heads up too!

For more information, visit:



The organizers, Peli de Halleux, Michal Moskal, Nikhil Swamy, and Nikolai Tillmann, are all members of the Research in Software Engineering (RiSE) group at MSR Redmond.

More information about the Types-announce mailing list