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.3 required=5.0 tests=AWL,HTML_MESSAGE, MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id DF3EFBBC4 for ; Thu, 19 Mar 2009 07:23:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkCABuCwUmdtQGKmWdsb2JhbACCJS2TIAEBAQEBCAsKBxG8JIIzAwGBRwaHTQ X-IronPort-AV: E=Sophos;i="4.38,388,1233529200"; d="scan'208,217";a="24547305" Received: from mx3.mail.elte.hu ([157.181.1.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Mar 2009 07:23:37 +0100 Received: from smtp1.inf.elte.hu ([157.181.161.3]) by mx3.mail.elte.hu with esmtp (Exim) id 1LkBet-0002yF-3m from for ; Thu, 19 Mar 2009 07:23:34 +0100 Received: from HUB2.inf.elte.hu (157.181.161.78) by SMTP1.inf.elte.hu (157.181.161.3) with Microsoft SMTP Server (TLS) id 8.1.340.0; Thu, 19 Mar 2009 07:23:33 +0100 Received: from exch02.inf.elte.hu ([157.181.161.77]) by HUB2.inf.elte.hu ([fe80::fd63:97a:f654:20e4%11]) with mapi; Thu, 19 Mar 2009 07:23:14 +0100 From: =?iso-8859-2?Q?Horv=E1th_Zolt=E1n?= To: "'caml-list@inria.fr'" <'caml-list@inria.fr'> Date: Thu, 19 Mar 2009 07:23:12 +0100 Subject: CFP TFP 2009 and Functional Programming summer school: CEFP 2009 Thread-Topic: CFP TFP 2009 and Functional Programming summer school: CEFP 2009 Thread-Index: AcmoWuNPwZlEKbmBTwueq2yeeg0xPAAAAV/wAAAD/bAAAAKGUAAABEuQAAACCCAAAAK78A== Message-ID: <88C55C9C92561741A80422B15F25C4BFD9FDBB60A6@exch02.inf.elte.hu> Accept-Language: hu-HU, en-US Content-Language: hu-HU X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: hu-HU, en-US Content-Type: multipart/alternative; boundary="_000_88C55C9C92561741A80422B15F25C4BFD9FDBB60A6exch02infelte_" MIME-Version: 1.0 X-ELTE-VirusStatus: clean X-ELTE-SpamScore: -0.7 X-ELTE-SpamLevel: X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=-0.7 required=5.9 tests=BAYES_00,HTML_MESSAGE autolearn=no SpamAssassin version=3.2.3 -1.5 BAYES_00 BODY: Bayesian spam probability is 0 to 1% [score: 0.0002] 0.8 HTML_MESSAGE BODY: HTML included in message X-Spam: no; 0.00; co-located:01 subset:01 ralf:01 hinze:01 johan:01 pieter:01 michaelson:01 heriot-watt:01 sheeran:01 heriot-watt:01 lncs:01 lncs:01 erlang:01 erlang:01 rinus:01 X-Attachments: cset="iso-8859-2" cset="iso-8859-2" --_000_88C55C9C92561741A80422B15F25C4BFD9FDBB60A6exch02infelte_ Content-Type: text/plain; charset="iso-8859-2" Content-Transfer-Encoding: quoted-printable Second call for papers 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING TFP 2009 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA June 2-4, 2009 http://www.inf.elte.hu/tfp_cefp_2009 *** The registration and paper submission is now open! *** The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results. Acceptance for the conference is based on full papers or extended abstracts, and a formal post-symposium refereeing process selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2009 is hosted by the Selye Janos University, Komarno, Slovakia, and it is co-located with the 3rd Central-European Functional Programming School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30). IMPORTANT DATES (ALL 2009) * Paper Submission: March 31 (extended) * Notification of Acceptance: April 9 * Camera Ready Symposium Proceedings Paper: April 24 * TFP Symposium: June 2-4, 2009 * Post Symposium Paper Submission: June 30 * Notification of Acceptance: September 7 * Camera Ready Revised Paper: September 21 SCOPE OF THE SYMPOSIUM As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: * Research: leading-edge, previously unpublished research. * Position: on what new trends should or should not be. * Project: descriptions of recently started new projects. * Evaluation: what lessons can be drawn from a finished project. * Overview: summarizing work with respect to a trendy subject. Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience- oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Contributions on the following subject areas are particularly welcomed: * Dependently Typed Functional Programming * Validation and Verification of Functional Programs * Debugging for Functional Languages * Functional Programming and Security * Functional Programming and Mobility * Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications * Functional Languages for Telecommunications Applications * Functional Languages for Embedded Systems * Functional Programming Applied to Global Computing * Functional GRIDs * Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) * Interoperability with Imperative Programming Languages * Novel Memory Management Techniques * Parallel/Concurrent Functional Languages * Program Transformation Techniques * Empirical Performance Studies * Abstract/Virtual Machines and Compilers for Functional Languages * New Implementation Strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2009 program chairs, Zoltan Horvath and Viktoria Zsok at tfp2009@inf.elte.hu SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the screening process of full papers (15 pages) and extended abstracts (at least 3 pages). TFP encourages PhD students to submit papers. PhD students may request the program committee to provide extensive feedback on their full papers at the time of submission. Full papers describing work accepted for presentation must be completed before the symposium for publication in the draft proceedings. Further details can be found at the TFP 2009 website. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. PROGRAM COMMITTEE * Peter Achten (symp-chair), Radboud University Nijmegen, NL * John Clements, California Polytechnic State University, USA * Cormac Flanagan, University of California at Santa Cruz, USA * Jurriaan Hage, Utrecht University, NL * Kevin Hammond, University of St. Andrews, UK * Michael Hanus, Christian-Albrechts University zu Kiel, DE * Ralf Hinze, University of Oxford, UK * Zoltan Horvath (PC co-chair), Eotvos Lorand University, HU * Graham Hutton, University of Nottingham, UK * Johan Jeuring, Utrecht University, NL * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE * Rita Loogen, Philipps-University Marburg, DE * Greg Michaelson, Heriot-Watt University, UK * Marco T. Morazan, Seton Hall University, USA * Rex L Page, University of Oklahoma, USA * Sven-Bodo Scholz, University of Hertfordshire, UK * Clara Segura, University Complutense de Madrid, ES * Mary Sheeran, Chalmers University of Technology, SE * Phil Trinder, Heriot-Watt University, UK * Marko van Eekelen, Radboud University Nijmegen, NL * Varmo Vene, University of Tartu, EE * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU LOCATION The Conference Centre of Selye University, Komarno, Slovakia (http://www.selyeuni.sk/) is a new and excellent conference centre with modern equipment, lecture rooms and computer labs. Komarno is on the north bank of river Danube, the northern part of the city Komarom / Komarno. It is a charming old city with about 30 000 inhabitants, 90 km away from Budapest (the capital of Hungary), with good highway and railway connections and 90 km away from Bratislava (the capital of Slovakia), about 100 km from Vienna Internationa= l Airport. ----------- Call for participation 3rd CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL CEFP 2009 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA May 25-30, 2009 http://www.inf.elte.hu/tfp_cefp_2009 *** The registration is now open! *** The Central European Functional Programming School (CEFP) is organised every second year (2005 Budapest - LNCS vol. 4164, 2007 Cluj-Napoca - LNCS vol. 5161, 2009 Komarno). It is the Central European counterpart of the Advanced Functional Programming school with the additional goal to stimulate students from Central Europe to attend. GOALS * Bring together computer scientists, in particular motivated graduate and PhD students, and make them familiar with the latest functional programming techniques. * Show the use of advanced functional programming techniques in real world applications. * Bridge the gap between recent results presented at programming conferences and material from introductory textbooks on functional programming. * Provide a forum for PhD students to present their research results as part of the workshop programme and submit the full paper version after the summer school. Selected and reviewed papers will be published in the LNCS Volume of the revised lectures. INVITED LECTURERS Our invited lecturers are top experts, professors and researchers from Europe and the US. * Francesco Cesarini: OTP Design Patterns (Erlang Training and Consulting Ltd, London, UK) Francesco Cesarini is owner and founder of Erlang Training and Consulting Ltd, a company specialised in high availability, massively concurrent soft real time systems. * Prof. Rinus Plasmeijer, Pieter Koopman: An effective methodology for defining consistent semantics of complex systems (Radboud University Nijmegen, The Netherlands) Rinus Plasmeijer is chief designer of the functional programming language Clean, member of IFIP WG 2.8., Head of Software Research Group, University Nijmegen, The Netherlands. Currently he is applying advanced functional programming techniques to enable model driven software development. He is working on the iTask system which enables the high-level specification of multi-user workflow systems for the web. Pieter Koopman's research is related to functional programming (especially the Clean language), and specification languages. Currently he is using Clean functions as specifications for the Generic Automatic Software Test-system (Gast). Earlier he was involved in project about parser combinators and implicit surfaces. * Matthew Fluet: Programming in Manticore, a heterogenous parallel language (Toyota Technological Institute at Chicago, USA) Matthew Fluet is active developer of MLton: an open-source, whole-program, optimizing Standard ML compiler. He is collaborating on the development of Manticore: a heterogeneous parallel programming language aimed at general-purpose applications running on multi-core processors. As a programming languages researcher, he is working on the opportunities for mechanizing reasoning about programming languages. * Prof. Ralf Hinze: Reasoning about codata (University of Oxford and Kellogg College, UK) Ralf Hinze's research centers around functional programming, particularly interested in functional algorithm design and purely functional data structures. At the moment he is mainly working on generic functional programming (Generic Haskell). In the past he worked on strictness analysis and type systems. * Prof. Mary Sheeran: Fun with combinators in Haskell (Chalmers University of Technology, Gothenburg, Sweden) Mary Sheeran's research interests are in functional programming, and particularly its application to designing and analysing hardware and hardware-like systems. She has worked on domain specific languages (DSLs) for hardware design (Lava, Wired) and is currently working with Ericsson and ELTE to develop a DSL for Digital Signal Processing. * Prof. John Hughes: QuickCheck, with a focus on industrial applications (http://quviq.com/) Research interests of John Hughes include type systems and formal semantics for programming languages, optimizing compilation, functional programming, and high-level language interoperability. He is currently working in the following projects: Combining Verification Methods in Software Development (Cover) and Flexible System-on-Chip Platforms for Embedded Applications (FlexSoC) * Andrew Kennedy: Advanced type systems for functional programming (Microsoft Research, Cambridge, England) Research interests of Andrew Kennedy include type systems and formal semantics for programming languages, optimizing compilation, functional programming, and high-level language interoperability. * Adam Granicz: Advanced F# Programming Adam Granicz is founder/CEO of Intellifactory Ltd. and he is a co-author of the Expert F# book. His research interests are formal environments and compilers, resource planning, and extensible compilers. PROGRAMME At the beginning of CEFP 2009 we make functional programming warm-up sessions starting on 21 May 2009. The summer school's programme 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. CEFP 2009 is co-located with the 10th Symposium on Trends in Functional Programming (TFP 2009, June 2-4), which is held after the summer school. LOCATION The Conference Centre of Selye University, Komarno, Slovakia (http://www.selyeuni.sk/) is a new and excellent conference centre with modern equipment, lecture rooms and computer labs. Komarno is on the north bank of river Danube, the northern part of the city Komarom / Komarno. It is a charming old city with about 30 000 inhabitants, 90 km away from Budapest (the capital of Hungary), with good motorway and railway connections and 90 km away from Bratislava (the capital of Slovakia), about 100 km from Vienna International Airport. ACCOMMODATION * hotels (from 30-66 Euro/night) * meals at the university canteen of the Conference Centre (included in the registration fee) LOCAL ARRANGEMENTS TEAM - CHAIR/CO-CHAIRS OC Chairs: * Zoltan Horvath * Viktoria Zsok (Eotvos Lorand University, Budapest) * Rinus Plasmeijer (Radboud University, Nijmegen) Local Co-chair of OC: * Veronika Stoffa, vice-rector (Selye Janos University, Komarno) Further details can be found at the CEFP website. --_000_88C55C9C92561741A80422B15F25C4BFD9FDBB60A6exch02infelte_ Content-Type: text/html; charset="iso-8859-2" Content-Transfer-Encoding: quoted-printable

Second call for papers

 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING

 TFP 2009

 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA<= o:p>

 June 2-4, 2009

 http://www.inf.elte.hu/tfp_cefp_2009

 

*** The registration and paper submission is now open! ***

 

The symposium on Trends in Functional Programmin= g (TFP) is an

international forum for researchers with interes= ts in all aspects of

functional programming languages, focusing on providing a broad view of

current and future trends in Functional Programm= ing. It aspires to be a

lively environment for presenting the latest res= earch results. Acceptance

for the conference is based on full papers or extended abstracts, and a

formal post-symposium refereeing process selects= the best articles

presented at the symposium for publication in a high-profile volume.

 

TFP 2009 is hosted by the Selye Janos University= , Komarno, Slovakia, and

it is co-located with the 3rd Central-European Functional Programming

School (CEFP 2009), which is held immediately be= fore TFP 2009 (May 25-30).

 

 IMPORTANT DATES (ALL 2009)

 

    * Paper Submission: March 31 (extended)

    * Notification of Acceptance: April 9

    * Camera Ready Symposium Proceedings Paper: April 24

    * TFP Symposium: June 2-4, 20= 09

    * Post Symposium Paper Submission: June 30

    * Notification of Acceptance: September 7

    * Camera Ready Revised Paper: September 21

 

 SCOPE OF THE SYMPOSIUM

 

As part of the Symposium's focus on trends we therefore identify

the following five article categories. High-qual= ity articles are

solicited in any of these categories:=

 

    * Research: leading-edge, previously unpublished research.

    * Position: on what new trend= s should or should not be.

    * Project: descriptions of recently started new projects.

    * Evaluation: what lessons ca= n be drawn from a finished project.

    * Overview: summarizing work = with respect to a trendy subject.

 

Articles must be original and not submitted for simultaneous publication

to any other forum. They may consider any aspect= of functional

programming: theoretical, implementation-oriente= d, or more experience-

oriented. Applications of functional programming techniques to other

languages are also within the scope of the symposium. Contributions on

the following subject areas are particularly welcomed:

 

    * Dependently Typed Functiona= l Programming

    * Validation and Verification= of Functional Programs

    * Debugging for Functional Languages

    * Functional Programming and Security

    * Functional Programming and Mobility

    * Functional Programming to Animate/Prototype/Implement Systems from

      Formal or Semi-Fo= rmal Specifications

    * Functional Languages for Telecommunications Applications

    * Functional Languages for Embedded Systems

    * Functional Programming Appl= ied to Global Computing

    * Functional GRIDs=

    * Functional Programming Idea= s in Imperative or Object-Oriented

      Settings (and the converse)

    * Interoperability with Imperative Programming Languages

    * Novel Memory Management Techniques

    * Parallel/Concurrent Functio= nal Languages

    * Program Transformation Techniques

    * Empirical Performance Studi= es

    * Abstract/Virtual Machines a= nd Compilers for Functional Languages

    * New Implementation Strategi= es

    * Any new emerging trend in t= he functional programming area

 

If you are in doubt on whether your article is within the scope of TFP,

please contact the TFP 2009 program chairs, Zolt= an Horvath and Viktoria

Zsok at t= fp2009@inf.elte.hu

 

 SUBMISSION AND DRAFT PROCEEDINGS

 

Acceptance of articles for presentation at the symposium is based on the

screening process of full papers (15 pages) and extended abstracts

(at least 3 pages). TFP encourages PhD students = to submit papers.

 

PhD students may request the program committee t= o provide extensive

feedback on their full papers at the time of submission. Full papers

describing work accepted for presentation must b= e completed before the

symposium for publication in the draft proceedin= gs. Further details can

be found at the TFP 2009 website.

 

 POST-SYMPOSIUM REFEREEING AND PUBLICATION<= o:p>

 

In addition to the draft symposium proceedings, = we continue the TFP

tradition of publishing a high-quality subset of contributions in the

Intellect series on Trends in Functional Programming.

 

 PROGRAM COMMITTEE

 

    * Peter Achten (symp-chair), Radboud University Nijmegen, NL

    * John Clements, California Polytechnic State University, USA

    * Cormac Flanagan, University= of California at Santa Cruz, USA

    * Jurriaan Hage, Utrecht University, NL

    * Kevin Hammond, University o= f St. Andrews, UK

    * Michael Hanus, Christian-Albrechts University zu Kiel, DE

    * Ralf Hinze, University of Oxford, UK

    * Zoltan Horvath (PC co-chair),  Eotvos Lorand University, HU

    * Graham Hutton, University o= f Nottingham, UK

    * Johan Jeuring, Utrecht University, NL

    * Pieter Koopman (symp-chair)= , Radboud University Nijmegen, NL

    * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE

    * Rita Loogen, Philipps-University Marburg, DE

    * Greg Michaelson, Heriot-Wat= t University, UK

    * Marco T. Morazan, Seton Hal= l University, USA

    * Rex L Page, University of Oklahoma, USA

    * Sven-Bodo Scholz, Universit= y of Hertfordshire, UK

    * Clara Segura, University Complutense de Madrid, ES

    * Mary Sheeran, Chalmers University of Technology, SE

    * Phil Trinder, Heriot-Watt University, UK

    * Marko van Eekelen, Radboud University Nijmegen, NL

    * Varmo Vene, University of Tartu, EE

    * Viktoria Zsok (PC co-chair)= , Eotvos Lorand University, HU

 

 LOCATION

 

The Conference Centre of Selye University, Komar= no, Slovakia

(http://www.= selyeuni.sk/) is a new and excellent conference centre with

modern equipment, lecture rooms and computer lab= s.

 

Komarno is on the north bank of river Danube, th= e northern part of the

city Komarom / Komarno. It is a charming old cit= y with about 30 000

inhabitants, 90 km away from Budapest (the capit= al of Hungary), with

good highway and railway connections and 90 km a= way from

Bratislava (the capital of Slovakia), about 100 = km from Vienna International

Airport.

 

 

-----------

 

 

Call for participation

3rd CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL CEF= P 2009

SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA

May 25-30, 2009

http:= //www.inf.elte.hu/tfp_cefp_2009

 

*** The registration is now open! ***

 

The Central European Functional Programming School (CE= FP) is

organised every second year (2005 Budapest - LNCS vol.= 4164,

2007 Cluj-Napoca - LNCS vol. 5161, 2009 Komarno). It i= s the

Central European counterpart of the Advanced Functiona= l

Programming school with the additional goal to stimula= te

students from Central Europe to attend.

 

GOALS

 

* Bring together computer scientists, in particular motivated graduate

and PhD students, and make them familiar with the late= st functional

programming techniques.

* Show the use of advanced functional programming tech= niques in real

world applications.

* Bridge the gap between recent results presented at programming

conferences and material from introductory textbooks o= n functional

programming.

* Provide a forum for PhD students to present their re= search results as

part of the workshop programme and submit the full pap= er version after

the summer school. Selected and reviewed papers will b= e published in the

LNCS Volume of the revised lectures.

 

INVITED LECTURERS

 

Our invited lecturers are top experts, professors and researchers from

Europe and the US.

 

    * Francesco Cesarini:

      OTP Design Patterns

      (Erlang Training and Consulting Ltd, London, UK)

 

      Francesco Cesarini is o= wner and founder of Erlang Training and

      Consulting Ltd, a compa= ny specialised in high availability,

      massively concurrent so= ft real time systems.

 

    * Prof. Rinus Plasmeijer, Pieter Ko= opman:

      An effective methodolog= y for defining consistent semantics of

      complex systems

      (Radboud University Nij= megen, The Netherlands)

 

      Rinus Plasmeijer is chi= ef designer of the functional programming

      language Clean, member = of IFIP WG 2.8., Head of Software Research

      Group, University Nijme= gen, The Netherlands.

      Currently he is applyin= g advanced functional programming

      techniques to enable mo= del driven software development.

      He is working on the iT= ask system which enables the high-level

      specification of multi-= user workflow systems for the web.

     

      Pieter Koopman's resear= ch is related to functional programming

      (especially the Clean language), and specification languages.

      Currently he is using C= lean functions as specifications for the

      Generic Automatic Softw= are Test-system (Gast). Earlier he was

      involved in project abo= ut parser combinators and implicit

      surfaces.

 

    * Matthew Fluet:

      Programming in Manticor= e, a heterogenous parallel language

      (Toyota Technological Institute at Chicago, USA)

 

      Matthew Fluet is active developer of MLton: an open-source,

      whole-program, optimizi= ng Standard ML compiler. He is

      collaborating on the development of Manticore: a heterogeneous

      parallel programming la= nguage aimed at general-purpose

      applications running on multi-core processors. As a programming

      languages researcher, h= e is working on the opportunities for

      mechanizing reasoning a= bout programming languages.

 

    * Prof. Ralf Hinze:

      Reasoning about codata<= o:p>

      (University of Oxford a= nd Kellogg College, UK)

 

      Ralf Hinze's research c= enters around functional programming,

      particularly interested= in functional algorithm design and purely

      functional data structu= res. At the moment he is mainly working on

      generic functional programming (Generic Haskell). In the past he

      worked on strictness an= alysis and type systems.

 

    * Prof. Mary Sheeran:

      Fun with combinators in Haskell

      (Chalmers University of Technology, Gothenburg, Sweden)

 

      Mary Sheeran's research interests are in functional programming,

      and particularly its application to designing and analysing

      hardware and hardware-l= ike systems. She has worked on domain

      specific languages (DSL= s) for hardware design (Lava, Wired) and is

      currently working with = Ericsson and ELTE to develop a DSL for

      Digital Signal Processi= ng.

 

    * Prof. John Hughes:

      QuickCheck, with a focu= s on industrial applications

      (http://quviq.com/)

 

      Research interests of J= ohn Hughes include type systems and formal

      semantics for programmi= ng languages, optimizing compilation,

      functional programming,= and high-level language interoperability.

      He is currently working= in the following projects: Combining

      Verification Methods in Software Development (Cover) and Flexible

      System-on-Chip Platform= s for Embedded Applications (FlexSoC)

 

    * Andrew Kennedy:

      Advanced type systems f= or functional programming

      (Microsoft Research, Cambridge, England)

     

      Research interests of A= ndrew Kennedy include type systems and

      formal semantics for programming languages, optimizing

      compilation, functional programming, and high-level language

      interoperability.<= /o:p>

   

    * Adam Granicz:

      Advanced F# Programming=

 

      Adam Granicz is founder= /CEO of Intellifactory Ltd. and he is a

      co-author of the Expert= F# book. His research interests are formal

      environments and compil= ers, resource planning, and extensible

      compilers.

 

PROGRAMME

 

At the beginning of CEFP 2009 we make functional progr= amming

warm-up sessions starting on 21 May 2009.

 

The summer school's programme includes:

* In depth lectures about a selected number of recentl= y emerged advanced

functional programming techniques, taught by experts i= n the field.

* Practical exercises accompanying the lectures to be = solved by the

students at the school. These exercises guide the stud= ents' 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.

 

CEFP 2009 is co-located with the 10th Symposium on Tre= nds in Functional

Programming (TFP 2009, June 2-4), which is held after = the summer school.

 

LOCATION

 

The Conference Centre of Selye University, Komarno, Sl= ovakia

(http://www.selyeu= ni.sk/) is a new and excellent conference centre with

modern equipment, lecture rooms and computer labs.

 

Komarno is on the north bank of river Danube, the nort= hern part of the

city Komarom / Komarno. It is a charming old city with= about 30 000

inhabitants, 90 km away from Budapest (the capital of Hungary), with

good motorway and railway connections and 90 km away f= rom Bratislava

(the capital of Slovakia), about 100 km from Vienna International

Airport.

 

ACCOMMODATION

 

    * hotels (from 30-66 Euro/night)

    * meals at the university canteen o= f the Conference Centre (included

    in the registration fee)=

 

LOCAL ARRANGEMENTS TEAM - CHAIR/CO-CHAIRS

 

OC Chairs:

    * Zoltan Horvath

    * Viktoria Zsok

    (Eotvos Lorand University, Budapest= )

    * Rinus Plasmeijer

    (Radboud University, Nijmegen)=

 

Local Co-chair of OC:

    * Veronika Stoffa, vice-rector=

    (Selye Janos University, Komarno)

 

Further details can be found at the CEFP website.=

 

 

--_000_88C55C9C92561741A80422B15F25C4BFD9FDBB60A6exch02infelte_--