Introducing 

Prezi AI.

Your new presentation assistant.

Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.

Loading…
Transcript

But Wait, There's More!

All described in the Printed Program and Whova App

Workshops

Social Events

Smaller, more focused meetings, often for work in progress.

Final Words

  • Opening Reception & Poster Session

Monday 6:15, Regency Foyer

  • Conference Banquet

Tuesday 7:30, Vancouver Aquarium

  • Ask at registration for a ticket
  • Buses will be available from transport both directions
  • Polyglot meet-up

Wednesday 6:30 Unbounce, Suite #400 - 401 W. Georgia St.

  • Independently organized
  • Industrial Reception

Thursday: 6:15, Regency C

Sunday, August 30

Haskell Implementors Workshop (HIW)

Workshop on Higher-order Programming with Effects (HOPE)

Workshop on Generic Programming (WGP)

Programming Languages Mentoring Workshop (PLMW@ICFP)

Ally Skills Tutorial

Thursday, September 3

Workshop on Functional High-Performance Computing (FHPC)

Haskell Symposium – Day 1

ML Family Workshop

Friday, September 4

Erlang Workshop

Haskell Symposium – Day 2

OCaml Workshop

Scheme and Functional Programming Workshop (SFPW)

Saturday, September 5

Functional Art, Music, Modeling and Design (FARM)

Commercial Users of Functional Programming (CUFP)

Funding to Attend Future ICFP Conferences

Student Research Competition

Tutorials

In-depth, hands-on presentations from world experts

  • Open to ACM student members: Undergrad and Graduate
  • Applicants submit 800-word abstracts
  • Selected students present posters at Opening Reception
  • Top 3 undergrads and top 3 grad students give talks in main track

Tuesday 11:50 - 12:30, Wednesday 11:50-12:30

  • Winners, announced during closing, receive cash prizes

Wednesday 17:30

Possible sources:

  • Student Research Competition
  • Student Volunteer Program
  • Your advisor
  • SIGPLAN PAC Funding
  • Don’t be surprised if you feel overwhelmed!
  • Technical material is almost entirely new to you
  • You don’t know many people (yet!)
  • This workshop is designed to help, giving you an
  • Overview of key technical themes
  • Opportunity to meet luminaries in the field
  • Opportunity to meet others like you: Newbies interested in functional programming.

Strategies to Minimize Overload

  • Don't try to listen to every talk.
  • Choose in advance which talks to listen to.
  • Target: 30 - 50%.
  • Skim those papers in advance. http://icfpconference.org/icfp2015/toc.html
  • After, write a few sentences analyzing them: The good, the bad, the missing.

Welcome to ICFP!

The "Hallway Track" is often the most interesting!

Information

Overload!

Licensed from toonvectors.com

Kathleen Fisher, Tufts University

ICFP General Chair

ICFP 2015:

By the Numbers

ICFP 2015:

The Sessions

Days

Invited Talks:

Program Synthesis [Ras Bodik]

Hardware Design [Mary Sheeran]

Tribute, to Paul Hudak

Submissions

Acceptances

Technical Sessions

Minutes per Technical Presentation

3

2

1

119

35

13

20

[Francois Pottier][Simon Marlow]

[Gabriele Keller]

[Robby Findler]

[Lee Pike]

Foundations I and II

Types

Type Checking

Compilers

Cost Analysis

Parallelism

Theorem Provers

Contracts

Information Flow

Domain-Specific Languages

Data Structures

Miscellaneous

What is ICFP?

ICFP Topics: 1996-2105

Generated from abstracts of all ICFP papers from 1996 to 2015.

Generated using LDA-C Topic Modeling from ICFP Abstracts, 1996-2015.

Source: http://tmpl.weaselhat.com

International Conference on Functional Programming

Being New is Tough

Strategies for Networking

The Main Attraction: Networking

  • Set a goal to meet a few new people a day
  • Identify people you'd like to meet:
  • People whose work you admire
  • People at other institutions
  • Develop a set of get-to-know-you questions
  • Practice describing your interests
  • Don't interrupt conversations in progress
  • Don't spend all your time talking to people you already know!

Nodes: ICFP Authors

Edges: Co-Authors

David Van Horn

François Pottier

Matthias Felleisen

Robert Bruce Findler

Michael Greenberg

Niki Vazou

Simon L. Peyton Jones

Stephanie Weirich

Gabriele Keller

Simon Marlow

Kathleen Fisher

Ronald Garcia

Lee Pike

Data Source: DBLP

ICFP 1996-2015

Attendees come from...

Thanks to: Swarat Chaudhuri and Michael Greenberg

Map made with eSpatial Free Trial Software

Introduction to OCaml

Light-weight and type-safe scripting with Haskell

Interactive Computing with IHaskell

Embedding and optimizing domain-specific languages

in the typed final style

LiquidHaskell: Programming With Liquid Types in Haskell

An Introduction to Type-Level and Generic Programming in Haskell

Testing stateful systems with QuickCheck

A Tutorial on Verifying Higher-Order, Effectful Programs Using F*

PureScript Front-end Developement

Declarative, immutable GUIs with ClojureScript, React and Reacl

An Introduction to the Coq Proof Assistant

Web Programming with Servant

T1

T2

T3

T4

T5

T6

T7

T9

T10

T11

T12

T13

Learn more about creating dynamic, engaging presentations with Prezi