caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Peter Achten <P.Achten@cs.ru.nl>
To: caml-list@inria.fr
Subject: [Caml-list] [TFP2014] First Call for Participation
Date: Tue, 01 Apr 2014 13:04:56 +0200	[thread overview]
Message-ID: <533A9D58.1050404@cs.ru.nl> (raw)


                       ---------------------------------
                          1ST CALL FOR PARTICIPATION
                       ---------------------------------

                         ======== TFP 2014 ===========

15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome

Registration is now open for the symposium on Trends in Functional
Programming (TFP). It is an international forum for researchers with 
interests
in all aspects of functional programming, taking a broad view of current 
and
future trends in the area. It aspires to be a lively environment for 
presenting
the latest research results. Submission for TFP is now closed, and the 
complete
programme (29 presentations and two invited talks) for TFP can be 
perused here:

    http://www.cs.uu.nl/wiki/TFP2014/PresentationSchedule

TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th. Its website is 
located
at http://www.cs.uwyo.edu/~jlc/tfpie14/ . The submission deadline for TFPIE
is April 21, 2014.


INVITED SPEAKERS

TFP is pleased to announce talks by the following two invited speakers:

John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of 
QuickCheck
(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time 
between
his professorship and Quviq, a company that performs property-based 
testing of
software with a tool implemented in Erlang.

Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge, 
he is
now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.

IMPORTANT DATES

Early registration: April 14, 2014
Late registration: May 15, 2014
TFPIE Workshop: May 25, 2014
TFP Symposium: May 26-28, 2014

Registrations can be made at the following URL:

   http://www.cs.uu.nl/wiki/TFP2014/Register

This page will also point you to the web page of the venue where you can 
arrange
for your stay.

hoping to see you there.
Jurriaan Hage (General Chair)


                 reply	other threads:[~2014-04-01 11:04 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=533A9D58.1050404@cs.ru.nl \
    --to=p.achten@cs.ru.nl \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).