From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AF3F27F89E for ; Tue, 1 Apr 2014 13:04:31 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of P.Achten@cs.ru.nl) identity=pra; client-ip=131.174.16.143; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="P.Achten@cs.ru.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of P.Achten@cs.ru.nl) identity=mailfrom; client-ip=131.174.16.143; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="P.Achten@cs.ru.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smeltpunt.science.ru.nl) identity=helo; client-ip=131.174.16.143; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="postmaster@smeltpunt.science.ru.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuEBAL6bOlODrhCPmWdsb2JhbABZFoMrxTUWDgEBAQEBCAsLBxQogkkbQD0WGAMCAQIBWAgBARIJh1oNn1myEo8NhCIEnyWPHA X-IPAS-Result: AuEBAL6bOlODrhCPmWdsb2JhbABZFoMrxTUWDgEBAQEBCAsLBxQogkkbQD0WGAMCAQIBWAgBARIJh1oNn1myEo8NhCIEnyWPHA X-IronPort-AV: E=Sophos;i="4.97,771,1389740400"; d="scan'208";a="65799031" Received: from smeltpunt.science.ru.nl ([131.174.16.143]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Apr 2014 13:04:31 +0200 Received: from [131.174.142.191] (n142191.science.ru.nl [131.174.142.191]) (authen=peter88) by smeltpunt.science.ru.nl (8.13.7/5.32) with ESMTP id s31B4UbA004841 for ; Tue, 1 Apr 2014 13:04:30 +0200 (MEST) Message-ID: <533A9D58.1050404@cs.ru.nl> Date: Tue, 01 Apr 2014 13:04:56 +0200 From: Peter Achten User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] [TFP2014] First Call for Participation --------------------------------- 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)