From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id DB71BBC69 for ; Fri, 11 May 2007 21:52:37 +0200 (CEST) Received: from mx2.mail.elte.hu (mx2.mail.elte.hu [157.181.151.9]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4BJqbG8007819 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 11 May 2007 21:52:37 +0200 Received: from mail.inf.elte.hu ([157.181.161.6]) by mx2.mail.elte.hu with esmtp (Exim) id 1HmbAI-0002tU-43 from for ; Fri, 11 May 2007 21:52:36 +0200 Received: from mail.inf.elte.hu (localhost [127.0.0.1]) by mail.inf.elte.hu (Postfix) with SMTP id 05AF136125 for ; Fri, 11 May 2007 21:52:34 +0200 (CEST) Received: by panda.inf.elte.hu (sSMTP sendmail emulation); Fri, 11 May 2007 21:52:33 +0200 Date: Fri, 11 May 2007 21:52:33 +0200 (CEST) From: HORVATH Zoltan To: caml-list@inria.fr Subject: Functional Programming School + PhD workshop, June 23-30, 2007 In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-1247995487-1103368500-1178913153=:6696" X-ELTE-VirusStatus: clean X-ELTE-SpamScore: -2.0 X-ELTE-SpamLevel: X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=-2.0 required=5.9 tests=BAYES_00 autolearn=no SpamAssassin version=3.0.3 -2.0 BAYES_00 BODY: Bayesian spam probability is 0 to 1% [score: 0.0000] X-Miltered: at discorde with ID 4644C985.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; readable:01 unreadable:01 mime-aware:01 lncs:01 lncs:01 rinus:01 lambda:01 sheard:01 ralf:01 hinze:01 erlang:01 lunches:01 web-page:01 2007.:98 2007.:98 X-Attachments: cset="iso-8859-2" This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---1247995487-1103368500-1178913153=:6696 Content-Type: TEXT/PLAIN; charset=iso-8859-2 Content-Transfer-Encoding: QUOTED-PRINTABLE 2nd Central-European Functional Programming School CEFP 2007 Cluj-Napoca, June 23-30, 2007 http://cs.ubbcluj.ro/cefp2007/ Second Call for PhD student presentation - Call for participation PhD students are invited to submit the abstract of their presentations to be included in the workshop session of=20 the summer school. The selected and reviewed workshop=20 papers and the revised lectures will be published in=20 the post-conference LNCS Volume of the Summer School. The deadline for registration and submissions is=20 1 June 2007. Aims and Scopes: The Central-European Functional Programming School (CEFP)=20 is an intensive summer school series in the field of functional programming. The main goal is to bring together computer scientists, researchers, graduate and especially PhD students. The school would like to promote the research and the education of the functional programming languages, software technologies and programming methodologies. The second CEFP school will be organized by the Babe=BA-Bolyai University (Cluj-Napoca / Kolozsv=E1r / Klausenburg) between=20 23-30 June, 2007. The previous school was held in Budapest, Hungary, July, 2005 (LNCS 4164). The invited lecturers are prominent researchers in the field, and they will present state-of-the-art functional programming techniques. Beside the lectures practical courses will be held. The school includes a workshop for PhD students to present their work and get feed-back from the lecturers. Invited Lecturers: Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands):=20 iTasks: Defining Interactive Workflows for the Web Werner Kluge (Christian-Albrechts-Universit=E4t zu Kiel, Germany): Abstract Lambda Calculus Machines Marko van Eekelen (Radboud University Nijmegen, The Netherlands): Proving Properties of Lazy Functional Programs Tim Sheard (Portland State University, USA): The Omega Programming Language Ralf Hinze (Universit=E4t Bonn, Germany): Generic Programming, Now! Three additional short courses will be given: Zolt=E1n Horv=E1th (E=F6tv=F6s Lor=E1nd University, Budapest, Hungary): Refactoring Erlang Programs Zolt=E1n Cs=F6rnyei (E=F6tv=F6s Lor=E1nd University, Budapest, Hungary): Lambda-Calculus Horia F. Pop (Babe=BA-Bolyai University, Cluj-Napoca, Romania):=20 A Tutorial on Object Orientedness in Functional Programming Submissions for the workshop session: Each presentation can be of max. 25 minutes. The full paper=20 version can be submitted after the summer school for=20 post-conference reviewing.=20 Venue: Cluj-Napoca / Kolozsv=E1r / Klausenburg, formerly the capital of Transylvania, is one of the most beautiful medieval cities with a huge multicultural and historical inheritance. Surrounded by marvelous hills and mountains, the city provides fascinating environment for experiencing the unique ambience of a diversified culture, society and nature. Registration and costs: The registration fee (260 Euro) includes the course materials distributed during the school, the post-school volume, lunches, the excursion and the summer school banquet. For further information, accommodation possibilities and registration please visit the web-page of the event: http://www.cs.ubbcluj.ro/cefp2007. ---1247995487-1103368500-1178913153=:6696--