<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=iso-8859-2"> <meta name=Generator content="Microsoft Word 12 (filtered medium)"> <style>  </style>  </head> <body lang=HU link=blue vlink=purple> <div class=Section1> Second call for papers<o:p></o:p>  10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING<o:p></o:p>  TFP 2009<o:p></o:p>  SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA<o:p></o:p>  June 2-4, 2009<o:p></o:p>  <a href="http://www.inf.elte.hu/tfp_cefp_2009">http://www.inf.elte.hu/tfp_cefp_2009</a><o:p></o:p> <o:p> </o:p> *** The registration and paper submission is now open! ***<o:p></o:p> <o:p> </o:p> The symposium on Trends in Functional Programming (TFP) is an<o:p></o:p> international forum for researchers with interests in all aspects of<o:p></o:p> functional programming languages, focusing on providing a broad view of<o:p></o:p> current and future trends in Functional Programming. It aspires to be a<o:p></o:p> lively environment for presenting the latest research results. Acceptance<o:p></o:p> for the conference is based on full papers or extended abstracts, and a<o:p></o:p> formal post-symposium refereeing process selects the best articles<o:p></o:p> presented at the symposium for publication in a high-profile volume.<o:p></o:p> <o:p> </o:p> TFP 2009 is hosted by the Selye Janos University, Komarno, Slovakia, and<o:p></o:p> it is co-located with the 3rd Central-European Functional Programming<o:p></o:p> School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30).<o:p></o:p> <o:p> </o:p>  IMPORTANT DATES (ALL 2009)<o:p></o:p> <o:p> </o:p>     * Paper Submission: March 31 (extended)<o:p></o:p>     * Notification of Acceptance: April 9<o:p></o:p>     * Camera Ready Symposium Proceedings Paper: April 24<o:p></o:p>     * TFP Symposium: June 2-4, 2009<o:p></o:p>     * Post Symposium Paper Submission: June 30<o:p></o:p>     * Notification of Acceptance: September 7<o:p></o:p>     * Camera Ready Revised Paper: September 21<o:p></o:p> <o:p> </o:p>  SCOPE OF THE SYMPOSIUM<o:p></o:p> <o:p> </o:p> As part of the Symposium's focus on trends we therefore identify<o:p></o:p> the following five article categories. High-quality articles are<o:p></o:p> solicited in any of these categories:<o:p></o:p> <o:p> </o:p>     * Research: leading-edge, previously unpublished research.<o:p></o:p>     * Position: on what new trends should or should not be.<o:p></o:p>     * Project: descriptions of recently started new projects.<o:p></o:p>     * Evaluation: what lessons can be drawn from a finished project.<o:p></o:p>     * Overview: summarizing work with respect to a trendy subject.<o:p></o:p> <o:p> </o:p> Articles must be original and not submitted for simultaneous publication<o:p></o:p> to any other forum. They may consider any aspect of functional<o:p></o:p> programming: theoretical, implementation-oriented, or more experience-<o:p></o:p> oriented. Applications of functional programming techniques to other<o:p></o:p> languages are also within the scope of the symposium. Contributions on<o:p></o:p> the following subject areas are particularly welcomed:<o:p></o:p> <o:p> </o:p>     * Dependently Typed Functional Programming<o:p></o:p>     * Validation and Verification of Functional Programs<o:p></o:p>     * Debugging for Functional Languages<o:p></o:p>     * Functional Programming and Security<o:p></o:p>     * Functional Programming and Mobility<o:p></o:p>     * Functional Programming to Animate/Prototype/Implement Systems from<o:p></o:p>       Formal or Semi-Formal Specifications<o:p></o:p>     * Functional Languages for Telecommunications Applications<o:p></o:p>     * Functional Languages for Embedded Systems<o:p></o:p>     * Functional Programming Applied to Global Computing<o:p></o:p>     * Functional GRIDs<o:p></o:p>     * Functional Programming Ideas in Imperative or Object-Oriented<o:p></o:p>       Settings (and the converse)<o:p></o:p>     * Interoperability with Imperative Programming Languages<o:p></o:p>     * Novel Memory Management Techniques<o:p></o:p>     * Parallel/Concurrent Functional Languages<o:p></o:p>     * Program Transformation Techniques<o:p></o:p>     * Empirical Performance Studies<o:p></o:p>     * Abstract/Virtual Machines and Compilers for Functional Languages<o:p></o:p>     * New Implementation Strategies<o:p></o:p>     * Any new emerging trend in the functional programming area<o:p></o:p> <o:p> </o:p> If you are in doubt on whether your article is within the scope of TFP,<o:p></o:p> please contact the TFP 2009 program chairs, Zoltan Horvath and Viktoria<o:p></o:p> Zsok at <a href="mailto:tfp2009@inf.elte.hu">tfp2009@inf.elte.hu</a><o:p></o:p> <o:p> </o:p>  SUBMISSION AND DRAFT PROCEEDINGS<o:p></o:p> <o:p> </o:p> Acceptance of articles for presentation at the symposium is based on the<o:p></o:p> screening process of full papers (15 pages) and extended abstracts <o:p></o:p> (at least 3 pages). TFP encourages PhD students to submit papers.<o:p></o:p> <o:p> </o:p> PhD students may request the program committee to provide extensive<o:p></o:p> feedback on their full papers at the time of submission. Full papers<o:p></o:p> describing work accepted for presentation must be completed before the<o:p></o:p> symposium for publication in the draft proceedings. Further details can<o:p></o:p> be found at the TFP 2009 website.<o:p></o:p> <o:p> </o:p>  POST-SYMPOSIUM REFEREEING AND PUBLICATION<o:p></o:p> <o:p> </o:p> In addition to the draft symposium proceedings, we continue the TFP<o:p></o:p> tradition of publishing a high-quality subset of contributions in the<o:p></o:p> Intellect series on Trends in Functional Programming.<o:p></o:p> <o:p> </o:p>  PROGRAM COMMITTEE<o:p></o:p> <o:p> </o:p>     * Peter Achten (symp-chair), Radboud University Nijmegen, NL<o:p></o:p>     * John Clements, California Polytechnic State University, USA<o:p></o:p>     * Cormac Flanagan, University of California at Santa Cruz, USA<o:p></o:p>     * Jurriaan Hage, Utrecht University, NL<o:p></o:p>     * Kevin Hammond, University of St. Andrews, UK<o:p></o:p>     * Michael Hanus, Christian-Albrechts University zu Kiel, DE<o:p></o:p>     * Ralf Hinze, University of Oxford, UK<o:p></o:p>     * Zoltan Horvath (PC co-chair),  Eotvos Lorand University, HU<o:p></o:p>     * Graham Hutton, University of Nottingham, UK<o:p></o:p>     * Johan Jeuring, Utrecht University, NL<o:p></o:p>     * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL<o:p></o:p>     * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE<o:p></o:p>     * Rita Loogen, Philipps-University Marburg, DE<o:p></o:p>     * Greg Michaelson, Heriot-Watt University, UK<o:p></o:p>     * Marco T. Morazan, Seton Hall University, USA<o:p></o:p>     * Rex L Page, University of Oklahoma, USA<o:p></o:p>     * Sven-Bodo Scholz, University of Hertfordshire, UK<o:p></o:p>     * Clara Segura, University Complutense de Madrid, ES<o:p></o:p>     * Mary Sheeran, Chalmers University of Technology, SE<o:p></o:p>     * Phil Trinder, Heriot-Watt University, UK<o:p></o:p>     * Marko van Eekelen, Radboud University Nijmegen, NL<o:p></o:p>     * Varmo Vene, University of Tartu, EE<o:p></o:p>     * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU<o:p></o:p> <o:p> </o:p>  LOCATION<o:p></o:p> <o:p> </o:p> The Conference Centre of Selye University, Komarno, Slovakia<o:p></o:p> (<a href="http://www.selyeuni.sk/">http://www.selyeuni.sk/</a>) is a new and excellent conference centre with<o:p></o:p> modern equipment, lecture rooms and computer labs.<o:p></o:p> <o:p> </o:p> Komarno is on the north bank of river Danube, the northern part of the<o:p></o:p> city Komarom / Komarno. It is a charming old city with about 30 000<o:p></o:p> inhabitants, 90 km away from Budapest (the capital of Hungary), with<o:p></o:p> good highway and railway connections and 90 km away from<o:p></o:p> Bratislava (the capital of Slovakia), about 100 km from Vienna International<o:p></o:p> Airport.<o:p></o:p> <o:p> </o:p> <o:p> </o:p> -----------<o:p></o:p> <o:p> </o:p> <o:p> </o:p> Call for participation<o:p></o:p> 3rd CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL CEFP 2009<o:p></o:p> SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA<o:p></o:p> May 25-30, 2009<o:p></o:p> <a href="http://www.inf.elte.hu/tfp_cefp_2009">http://www.inf.elte.hu/tfp_cefp_2009</a><o:p></o:p> <o:p> </o:p> *** The registration is now open! ***<o:p></o:p> <o:p> </o:p> The Central European Functional Programming School (CEFP) is<o:p></o:p> organised every second year (2005 Budapest - LNCS vol. 4164,<o:p></o:p> 2007 Cluj-Napoca - LNCS vol. 5161, 2009 Komarno). It is the<o:p></o:p> Central European counterpart of the Advanced Functional<o:p></o:p> Programming school with the additional goal to stimulate<o:p></o:p> students from Central Europe to attend.<o:p></o:p> <o:p> </o:p> GOALS<o:p></o:p> <o:p> </o:p> * Bring together computer scientists, in particular motivated graduate<o:p></o:p> and PhD students, and make them familiar with the latest functional<o:p></o:p> programming techniques.<o:p></o:p> * Show the use of advanced functional programming techniques in real<o:p></o:p> world applications.<o:p></o:p> * Bridge the gap between recent results presented at programming<o:p></o:p> conferences and material from introductory textbooks on functional<o:p></o:p> programming.<o:p></o:p> * Provide a forum for PhD students to present their research results as<o:p></o:p> part of the workshop programme and submit the full paper version after<o:p></o:p> the summer school. Selected and reviewed papers will be published in the<o:p></o:p> LNCS Volume of the revised lectures.<o:p></o:p> <o:p> </o:p> INVITED LECTURERS<o:p></o:p> <o:p> </o:p> Our invited lecturers are top experts, professors and researchers from<o:p></o:p> Europe and the US.<o:p></o:p> <o:p> </o:p>     * Francesco Cesarini:<o:p></o:p>       OTP Design Patterns<o:p></o:p>       (Erlang Training and Consulting Ltd, London, UK)<o:p></o:p> <o:p> </o:p>       Francesco Cesarini is owner and founder of Erlang Training and<o:p></o:p>       Consulting Ltd, a company specialised in high availability,<o:p></o:p>       massively concurrent soft real time systems.<o:p></o:p> <o:p> </o:p>     * Prof. Rinus Plasmeijer, Pieter Koopman:<o:p></o:p>       An effective methodology for defining consistent semantics of<o:p></o:p>       complex systems<o:p></o:p>       (Radboud University Nijmegen, The Netherlands)<o:p></o:p> <o:p> </o:p>       Rinus Plasmeijer is chief designer of the functional programming<o:p></o:p>       language Clean, member of IFIP WG 2.8., Head of Software Research<o:p></o:p>       Group, University Nijmegen, The Netherlands.<o:p></o:p>       Currently he is applying advanced functional programming<o:p></o:p>       techniques to enable model driven software development.<o:p></o:p>       He is working on the iTask system which enables the high-level<o:p></o:p>       specification of multi-user workflow systems for the web.<o:p></o:p>       <o:p></o:p>       Pieter Koopman's research is related to functional programming<o:p></o:p>       (especially the Clean language), and specification languages.<o:p></o:p>       Currently he is using Clean functions as specifications for the<o:p></o:p>       Generic Automatic Software Test-system (Gast). Earlier he was<o:p></o:p>       involved in project about parser combinators and implicit<o:p></o:p>       surfaces.<o:p></o:p> <o:p> </o:p>     * Matthew Fluet:<o:p></o:p>       Programming in Manticore, a heterogenous parallel language<o:p></o:p>       (Toyota Technological Institute at Chicago, USA)<o:p></o:p> <o:p> </o:p>       Matthew Fluet is active developer of MLton: an open-source,<o:p></o:p>       whole-program, optimizing Standard ML compiler. He is<o:p></o:p>       collaborating on the development of Manticore: a heterogeneous<o:p></o:p>       parallel programming language aimed at general-purpose<o:p></o:p>       applications running on multi-core processors. As a programming<o:p></o:p>       languages researcher, he is working on the opportunities for<o:p></o:p>       mechanizing reasoning about programming languages.<o:p></o:p> <o:p> </o:p>     * Prof. Ralf Hinze:<o:p></o:p>       Reasoning about codata<o:p></o:p>       (University of Oxford and Kellogg College, UK)<o:p></o:p> <o:p> </o:p>       Ralf Hinze's research centers around functional programming,<o:p></o:p>       particularly interested in functional algorithm design and purely<o:p></o:p>       functional data structures. At the moment he is mainly working on<o:p></o:p>       generic functional programming (Generic Haskell). In the past he<o:p></o:p>       worked on strictness analysis and type systems.<o:p></o:p> <o:p> </o:p>     * Prof. Mary Sheeran:<o:p></o:p>       Fun with combinators in Haskell<o:p></o:p>       (Chalmers University of Technology, Gothenburg, Sweden)<o:p></o:p> <o:p> </o:p>       Mary Sheeran's research interests are in functional programming,<o:p></o:p>       and particularly its application to designing and analysing<o:p></o:p>       hardware and hardware-like systems. She has worked on domain<o:p></o:p>       specific languages (DSLs) for hardware design (Lava, Wired) and is<o:p></o:p>       currently working with Ericsson and ELTE to develop a DSL for<o:p></o:p>       Digital Signal Processing.<o:p></o:p> <o:p> </o:p>     * Prof. John Hughes:<o:p></o:p>       QuickCheck, with a focus on industrial applications<o:p></o:p>       (<a href="http://quviq.com/">http://quviq.com/</a>)<o:p></o:p> <o:p> </o:p>       Research interests of John Hughes include type systems and formal<o:p></o:p>       semantics for programming languages, optimizing compilation,<o:p></o:p>       functional programming, and high-level language interoperability.<o:p></o:p>       He is currently working in the following projects: Combining<o:p></o:p>       Verification Methods in Software Development (Cover) and Flexible<o:p></o:p>       System-on-Chip Platforms for Embedded Applications (FlexSoC)<o:p></o:p> <o:p> </o:p>     * Andrew Kennedy:<o:p></o:p>       Advanced type systems for functional programming<o:p></o:p>       (Microsoft Research, Cambridge, England)<o:p></o:p>       <o:p></o:p>       Research interests of Andrew Kennedy include type systems and<o:p></o:p>       formal semantics for programming languages, optimizing<o:p></o:p>       compilation, functional programming, and high-level language<o:p></o:p>       interoperability.<o:p></o:p>     <o:p></o:p>     * Adam Granicz:<o:p></o:p>       Advanced F# Programming<o:p></o:p> <o:p> </o:p>       Adam Granicz is founder/CEO of Intellifactory Ltd. and he is a<o:p></o:p>       co-author of the Expert F# book. His research interests are formal<o:p></o:p>       environments and compilers, resource planning, and extensible<o:p></o:p>       compilers.<o:p></o:p> <o:p> </o:p> PROGRAMME<o:p></o:p> <o:p> </o:p> At the beginning of CEFP 2009 we make functional programming<o:p></o:p> warm-up sessions starting on 21 May 2009.<o:p></o:p> <o:p> </o:p> The summer school's programme includes:<o:p></o:p> * In depth lectures about a selected number of recently emerged advanced<o:p></o:p> functional programming techniques, taught by experts in the field.<o:p></o:p> * Practical exercises accompanying the lectures to be solved by the<o:p></o:p> students at the school. These exercises guide the students' learning to<o:p></o:p> a great extent. A high quality lab is available at the school site.<o:p></o:p> * Team work is stimulated, such that the students can also learn from<o:p></o:p> each other.<o:p></o:p> <o:p> </o:p> CEFP 2009 is co-located with the 10th Symposium on Trends in Functional<o:p></o:p> Programming (TFP 2009, June 2-4), which is held after the summer school.<o:p></o:p> <o:p> </o:p> LOCATION<o:p></o:p> <o:p> </o:p> The Conference Centre of Selye University, Komarno, Slovakia<o:p></o:p> (<a href="http://www.selyeuni.sk/">http://www.selyeuni.sk/</a>) is a new and excellent conference centre with<o:p></o:p> modern equipment, lecture rooms and computer labs.<o:p></o:p> <o:p> </o:p> Komarno is on the north bank of river Danube, the northern part of the<o:p></o:p> city Komarom / Komarno. It is a charming old city with about 30 000<o:p></o:p> inhabitants, 90 km away from Budapest (the capital of Hungary), with<o:p></o:p> good motorway and railway connections and 90 km away from Bratislava<o:p></o:p> (the capital of Slovakia), about 100 km from Vienna International<o:p></o:p> Airport.<o:p></o:p> <o:p> </o:p> ACCOMMODATION<o:p></o:p> <o:p> </o:p>     * hotels (from 30-66 Euro/night)<o:p></o:p>     * meals at the university canteen of the Conference Centre (included<o:p></o:p>     in the registration fee)<o:p></o:p> <o:p> </o:p> LOCAL ARRANGEMENTS TEAM - CHAIR/CO-CHAIRS<o:p></o:p> <o:p> </o:p> OC Chairs:<o:p></o:p>     * Zoltan Horvath<o:p></o:p>     * Viktoria Zsok<o:p></o:p>     (Eotvos Lorand University, Budapest)<o:p></o:p>     * Rinus Plasmeijer<o:p></o:p>     (Radboud University, Nijmegen)<o:p></o:p> <o:p> </o:p> Local Co-chair of OC:<o:p></o:p>     * Veronika Stoffa, vice-rector<o:p></o:p>     (Selye Janos University, Komarno)<o:p></o:p> <o:p> </o:p> Further details can be found at the CEFP website.<o:p></o:p> <o:p> </o:p> <o:p> </o:p> </div> </body> </html>