[logic-ml] Call for Participation: ICFP 2016

[Jacques Garrigue]

みなさま、9月に奈良で開催される ICFP 2016 の案内を転送します。
早期参加申し込みの〆切は8月17日になっております。
5年ぶりの日本開催で、ご参加をお待ちしています。

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

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

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