[racket] ICFP 2014 Final Call for Participation
[ Early registration ends 3 Aug; Invited speakers and conference
program have been announced. ]
=====================================================================
Final Call for Participation
ICFP 2014
19th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 31 - September 6, 2014
Gothenburg, Swedenhttp://icfpconference.org/icfp2014/
=====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
A full week dedicated to functional programming:
1 conference, 1 symposium, 10 workshops, tutorials,
programming contest results, student research competition
* Program:
http://icfpconference.org/icfp2014/program.html
* Accepted Papers:
http://icfpconference.org/icfp2014/accepted.html
* Local arrangements (including travel and accommodation):
http://icfpconference.org/icfp2014/local.html
* Registration is available via:
https://regmaster4.com/2014conf/ICFP14/register.php
Early registration is due 3 August, 2014.
* Programming contest, 25-28 July, 2014:
http://icfpcontest.org/
* Follow @icfp_conference on twitter for the latest news:
http://twitter.com/#!/icfp_conference
Keynote speakers:
* Kathleen Fisher (Tufts University):
Using Formal Methods to Enable More Secure Vehicles:
DARPA's HACMS Program
* Robert Bruce Findler (Northwestern University):
Behavioral Software Contracts
* Stephanie Weirich (University of Pennsylvania):
Depending on Types
There are several events affiliated with ICFP:
Sunday, August 31
ACM SIGPLAN Workshop on Generic Programming
ACM SIGPLAN Workshop on Higher-order Programming with Effects
Monday, September 1 – Wednesday, September 3
ICFP
Thursday, September 4
ACM SIGPLAN Commercial Users of Functional Programming: Day 1,
Tutorials
ACM SIGPLAN Haskell Symposium: Day 1
ACM SIGPLAN Workshop on Functional High-Performance Computing
ACM SIGPLAN ML Family Workshop
Friday, September 5
ACM SIGPLAN Commercial Users of Functional Programming: Day 2,
Tutorials
ACM SIGPLAN Haskell Symposium: Day 2
ACM SIGPLAN OCaml Workshop
ACM SIGPLAN Erlang Workshop
Saturday, September 6
ACM SIGPLAN Commercial Users of Functional Programming: Day 3,
Talks
ACM SIGPLAN Haskell Implementors Workshop
ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design
Conference Organizers
General Chair:
Johan Jeuring, Utrecht University
Program Chair:
Manuel Chakravarty, University of New South Wales
Local Arrangements Chair:
Björn von Sydow, Chalmers University
Industrial Relations Chair:
Anil Madhavapeddy, University of Cambridge
Workshop Co-Chairs:
Tom Schrijvers, Ghent University
Sam Tobin-Hochstadt, Indiana University
Programming Contest Co-Chairs:
Duncan Coutts, Well Typed LLP
Nicolas Wu, University of Oxford
Student Research Competition Chair:
Meng Wang, Chalmers University
Publicity Chair:
David Van Horn, University of Maryland
Video Chair:
Iavor Diatchki, Galois
Malcolm Wallace, Standard Chartered Bank
Industrial partners:
Platinum partners
Jane Street Capital
Gold partners
Google
Microsoft Research
Mozilla
Oracle Labs
Standard Chartered Bank
Silver partners
Bloomberg
Credit Suisse
CyberPoint
Erlang Solutions
Facebook
Galois
Klarna
Lexifi
Twitter
Bronze partners
Alephcloud
IntelliFactory
Opera Software
QuviQ
Systeor Vest AS
=====================================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140801/8d0fdebb/attachment.html>