[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