Joint Event with the ICFP (International Conf. on Functional Programming)

Public group
Location image of event venue


We're honoured to have the ICFP hosted in Vancouver this year ( Some incredibly smart speakers will be in town for it.

The organizers want to engage the local programming community so we're hosting a night of short talks and a few even shorter lightning talks.

Speakers (more coming)

- Anil Madhavapeddy (, Lecturer at the University of Cambridge, based in the Systems Research Group. He was on the original team that developed the Xen hypervisor. Prior to obtaining his PhD in 2006 from the University of Cambridge, Anil had a diverse background in industry at Network Appliance, NASA and Internet Vision. In addition to professional and academic activities, he is an active member of the open-source development community with the OpenBSD operating system, is co-chair of the Commercial Uses of Functional Programming workshop. He's a co-Author of Real World OCaml ( @avsm

- Yaron Minsky (, Head of Quantitative Research and Technology @ Jane Street Capital, Co-Author of Real World OCaml (

Yaron heads the Technology group at Jane Street, a proprietary trading firm that is the largest industrial user of OCaml. He was responsible for introducing OCaml to the company and for managing the company's transition to using OCaml for all of its core infrastructure. Today, billions of dollars worth of securities transactions flow each day through those systems. Yaron obtained his PhD in Computer Science from Cornell University, where he studied distributed systems.

- Nathan Sorenson ( Nathan works at SparkFund, where he uses Clojure and Datomic to help finance energy efficiency projects. His long-term mission is to bear PL theory along the slow, treacherous path from the lofty peaks of ICFP preprints to the grimy streets of industry practice.


• 6:15 - 6:30 PM Doors are open, feel free to mingle
• 7:00 Presentation start
• ~8:30 Off to a nearby restaurant for food, drinks, and breakout discussions

Getting There

By transit there a number of high frequency buses (check Google Maps or the Translink site for your particular case) that will get you there. For the drivers, there is a fair bit of street parking (free and pay) in the area, especially after 6.

Code of Conduct
tl;dr: Be Excellent to Each Other! And please, don’t be a jerk.

Full details can be found on our about page, under the "Code of Conduct" heading:

About the ICFP

ICFP (International Conference on Functional Programming) is an annual programming language conference. It is sponsored by the Association for Computing Machinery (ACM ( under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN (, in association with Working Group 2.8 of the International Federation of Information Processing (IFIP ( ICFP combined two former biennial conferences: Functional Programming and Computer Architecture (FPCA) ( and Lisp and Functional Programming (LFP) (

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.


ICFP seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects or concurrency. Particular topics of interest include:

- Language Design: type systems;

concurrency and distribution; modules; components and composition; metaprogramming; relations to object-oriented or logic programming; interoperabilityImplementation: abstract machines; compilation; compile-time and run-time optimization; memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components or low-level machine resources

- Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profilingFoundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects

- Transformation and Analysis: abstract interpretation; partial evaluation; program transformation; program calculation; program proof

- Applications and Domain-Specific Languages: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia programming; scripting; system administration; security; education

- Functional Pearls: elegant, instructive, and fun essays on functional programming.

The conference also solicits Experience Reports, which are short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application.

How to Contact Us / Re Comments

Please note any comments you add to this event (below) will be e-mailed to all members of the group. We're trying to avoid spamming the list, so please do not use comments for jokes, job postings, requests for help programming something or anything else off topic. If you have questions or need to contact us, use the 'contact us' link on the left. Thanks!