From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1HKGP1g015904 for ; Thu, 17 Feb 2011 21:16:25 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8BAAoRXU2dtZcJmWdsb2JhbACmHhUBAQIBCAsKBxEkvACCdYJpBI9KBg X-IronPort-AV: E=Sophos;i="4.62,182,1297033200"; d="scan'208";a="76136091" Received: from mx2.mail.elte.hu ([157.181.151.9]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Feb 2011 21:16:20 +0100 Received: from smtp1.inf.elte.hu ([157.181.161.3]) by mx2.mail.elte.hu with esmtp (Exim) id 1PqAGr-00048A-Mv from for ; Thu, 17 Feb 2011 21:16:19 +0100 Received: from HUB2.inf.elte.hu (157.181.161.112) by smtp1.inf.elte.hu (157.181.161.3) with Microsoft SMTP Server (TLS) id 14.0.722.0; Thu, 17 Feb 2011 21:16:10 +0100 Received: from [157.181.185.38] (157.181.185.38) by hub2.inf.elte.hu (157.181.161.78) with Microsoft SMTP Server (TLS) id 14.0.722.0; Thu, 17 Feb 2011 21:16:12 +0100 Message-ID: <4D5D820A.6030408@inf.elte.hu> Date: Thu, 17 Feb 2011 21:16:10 +0100 From: CEFP Summer School User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.13) Gecko/20101208 Thunderbird/3.1.7 MIME-Version: 1.0 To: Content-Type: text/plain; charset="windows-1252"; format=flowed Content-Transfer-Encoding: 8bit Received-SPF: pass (mx2.mail.elte.hu: domain of inf.elte.hu designates 157.181.161.3 as permitted sender) client-ip=157.181.161.3; envelope-from=cefp@inf.elte.hu; helo=smtp1.inf.elte.hu; X-ELTE-SpamScore: -3.5 X-ELTE-SpamLevel: X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=-3.5 required=5.9 tests=BAYES_00,SPF_CHECK_PASS autolearn=no SpamAssassin version=3.2.5 -1.5 SPF_CHECK_PASS SPF reports sender host as permitted sender for sender-domain -2.0 BAYES_00 BODY: Bayesian spam probability is 0 to 1% [score: 0.0000] Subject: [Caml-list] CEFP 2011 Summer School: call for participation ===================================== 4TH CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL (CEFP 2011) EOTVOS LORAND UNIVERSITY, BUDAPEST, HUNGARY June 14-24, 2011 http://plc.inf.elte.hu/cefp THE REGISTRATION IS OPEN! ===================================== SCOPE OF THE SUMMER SCHOOL The Central-European Functional Programming School is an intensive summer school in the field of functional programming. The invited lecturers are the most prominent researchers in the field in Europe, and they will present state-of-the-art functional programming techniques: * Andrew Butterfield (University of Dublin, Ireland): Reasoning about I/O in functional programs * Clemens Grelck (University of Amsterdam, The Netherlands): Multicore SAC * Johan Jeuring (Utrecht University, The Netherlands): Strategies for learning functional programming * Rita Loogen (Philipps University Marburg, Germany): Eden * Simon Marlow (Microsoft Research, United Kingdom): Distributed Haskell * Greg Michaelson (Heriot-Watt University Edinburgh, Scotland): Box Calculus * Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands): Defining distributed GUI applications with iTasks * Kostis Sagonas (University of Athens, Greece): Multicore Erlang * Mary Sheeran (Chalmers University of Technology, Sweden): Feldspar: Implementation and Application AIMS OF THE SUMMER SCHOOL The main goal of the summer school is to bring together computer scientists, researchers, graduate and PhD students. The programme of the summer school includes: * In depth lectures about a selected number of recently emerged advanced functional programming techniques, taught by experts in the field. * Practical exercises accompanying the lectures to be solved by the students at the school. These exercises guide the students' learning to a great extent. A high quality lab is available at the school site. * Team work is stimulated, such that the students can also learn from each other. * Forum for PhD students. The CEFP school provides a forum for PhD students to present their research results as part of the workshop programme. Abstract submission is before the summer school, full paper version after the summer school. Selected and reviewed papers will be published in the LNCS Volume of the revised lectures. *** IMPORTANT: THE DEADLINE FOR THE ABSTRACTS IS APRIL 30, 2011 *** LOCATION The event is organized and hosted by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary. Budapest is the capital of Hungary with nearly 2.000.000 inhabitants. It is divided into two parts by the river Danube. There are nine bridges over the river which connect the two sides. The most beautiful ones are Chain Bridge (Lánchíd), Elisabeth Bridge (Erzsébet híd) and Liberty Bridge (Szabadság híd). One of the best places to walk around is the Castle District. There is a breath-taking view of the city from the Fisherman's Bastion. Across from the Fisherman's Bastion is Matthias Church named after the Hungarian King Matthias. In the Castle District you can find the Sándor Palace, the residence and workplace of the Head of the State. Budapest is richly endowed with natural springs of thermal waters possessing various medicinal properties (Gellért Baths and Hotel, Széchenyi Baths, Lukács Medicinal Baths etc.). The largest building in the country is the building of the Hungarian Parliament, which is situated on the bank of the Danube. The Neo-Gothic building complex was built between 1884 and 1904 according to the plans of Imre Steindl. There are many other sights in Budapest, just like Heroes’ Square, St. Stephen’s Basilica, Andrássy Avenue, Margaret-island, Gellért Hill and the Citadell etc. For more information about Budapest, please visit the http://www.budapestinfo.hu/ home page. INFORMATION The registration fee is EUR 410. The registration fee does not include the price of the accommodation! For more information please visit our website where you can find more details about the CEFP 2011 School and the programme. Our website is: http://plc.inf.elte.hu/cefp