[Caml-list] 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    =====================================================================