[Agda] Call for Participation: ICFP 2016

Lindsey Kuper icfp.publicity at googlemail.com
Tue Jul 19 07:43:44 CEST 2016



[ Early registration ends 17 August. ]

=====================================================================

Call for Participation

ICFP 2016
21st ACM SIGPLAN International Conference on Functional Programming
and affiliated events

September 18 - September 24, 2016
Nara, Japan
http://conf.researchr.org/home/icfp-2016

=====================================================================

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,
and mentoring workshop

* Overview and affiliated events:
  http://conf.researchr.org/home/icfp-2016

* Program:
  http://conf.researchr.org/program/icfp-2016/program-icfp-2016

* Accepted Papers:
  http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#event-overview

* Registration is available via:
  https://regmaster4.com/2016conf/ICFP16/register.php
  Early registration is due 17 August, 2016.

* Programming contest, 5-8 August, 2016:
  http://2016.icfpcontest.org/

* Student Research Competition (deadline: 3 August, 2016):
  http://conf.researchr.org/info/icfp-2016/student-research-competition

* Follow @icfp_conference on twitter for the latest news:
  http://twitter.com/icfp_conference

There are several events affiliated with ICFP:

 Sunday, September 18
   Workshop on Higher-order Programming with Effects
   Workshop on Type-Driven Development
   Scheme and Functional Programming Workshop
   Programming Languages Mentoring Workshop

 Monday, September 19 – Wednesday, September 21
   ICFP

 Thursday, September 22
   Haskell Symposium – Day 1
   ML Family Workshop
   Workshop on Functional High-Performance Computing
   Commercial Users of Functional Programming – Day 1

 Friday, September 23
   Haskell Symposium – Day 2
   OCaml Workshop
   Erlang Workshop
   Commercial Users of Functional Programming – Day 2

 Saturday, September 5
   Commercial Users of Functional Programming – Day 3
   Haskell Implementors Workshop
   Functional Art, Music, Modeling and Design

Conference Organizers

 General Co-Chairs:
   Jacques Garrigue, Nagoya University
   Gabriele Keller, University of New South Wales
 Program Chair:
   Eijiro Sumii, Tohoku University
 Local Arrangements Co-Chairs:
   Shinya Katsumata, Kyoto University
   Susumu Nishimura, Kyoto University
 Industrial Relations Chair:
   Rian Trinkle, Obsidian Systems LLC
 Workshop Co-Chairs:
   Nicolas Wu, University of Bristol
   Andres Loeh, Well-Typed LLP
 Programming Contest Chair:
   Keisuke Nakano, The University of Electro-Communications
 Student Research Competition Chair:
   David Van Horn, University of Maryland, College Park
 Mentoring Workshop Co-Chairs:
   Amal Ahmed, Northeastern University
   Robby Findler, Northwestern University
   Atsushi Igarashi, Kyoto Universty
 Publicity Chair:
   Lindsey Kuper, Intel Labs
 Video Chair:
   Iavor Diatchki, Galois
   Jose Calderon, Galois
 Student Volunteer Co-Chairs:
   Yosuke Fukuda, Kyoto University
   Yuki Nishida, Kyoto University
   Gabriel Scherer, INRIA

Industrial partners:

 Platinum partners
   Jane Street Capital
   Ahrefs

 Gold partners
   Mozilla Research

 Silver partners
   Ambiata
   Tsuru Capital

 Bronze partners
   Awake Networks
   Microsoft Research

=====================================================================


More information about the Agda mailing list