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 C494FBBAF for ; Tue, 5 May 2009 16:42:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsQBAJrt/0mdtQGKnGdsb2JhbACCJC+SdoEtAQEBAQEICwgJES65OoIwAwEDgUoF X-IronPort-AV: E=Sophos;i="4.40,297,1238968800"; d="scan'208,217";a="27249233" Received: from mx3.mail.elte.hu ([157.181.1.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 May 2009 16:42:32 +0200 Received: from smtp1.inf.elte.hu ([157.181.161.3]) by mx3.mail.elte.hu with esmtp (Exim) id 1M1Lqd-0004Ay-8T from for ; Tue, 05 May 2009 16:42:31 +0200 Received: from HUB1.inf.elte.hu (157.181.161.95) by SMTP1.inf.elte.hu (157.181.161.3) with Microsoft SMTP Server (TLS) id 8.1.358.0; Tue, 5 May 2009 16:42:23 +0200 Received: from exch02.inf.elte.hu ([157.181.161.77]) by HUB1.inf.elte.hu ([fe80::a1b8:7d80:d7fe:ce02%11]) with mapi; Tue, 5 May 2009 16:42:11 +0200 From: =?iso-8859-2?Q?Horv=E1th_Zolt=E1n?= To: "caml-list@yquem.inria.fr" Date: Tue, 5 May 2009 16:41:47 +0200 Subject: Last CFP: Trends in Functional Programming Thread-Topic: Last CFP: Trends in Functional Programming Thread-Index: AQHJzY+rFXV6P7W+8UOSapieBldwsw== Message-ID: <88C55C9C92561741A80422B15F25C4BFE337621BB8@exch02.inf.elte.hu> Accept-Language: hu-HU Content-Language: hu-HU X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: hu-HU Content-Type: multipart/alternative; boundary="_000_88C55C9C92561741A80422B15F25C4BFE337621BB8exch02infelte_" 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.0000] 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 co-located:01 subset:01 ralf:01 hinze:01 johan:01 X-Attachments: cset="iso-8859-2" cset="iso-8859-2" --_000_88C55C9C92561741A80422B15F25C4BFE337621BB8exch02infelte_ Content-Type: text/plain; charset="iso-8859-2" Content-Transfer-Encoding: quoted-printable Last 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 *** Submission deadline extended until 10th of May! *** 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: May 10 (extended) * Notification of Acceptance: May 12 * Camera Ready Symposium Proceedings Paper: May 14 * 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. --_000_88C55C9C92561741A80422B15F25C4BFE337621BB8exch02infelte_ Content-Type: text/html; charset="iso-8859-2" Content-Transfer-Encoding: quoted-printable
Last call for papers

 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAM= MING

 TFP 2009

 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA

 June 2-4, 2009

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

 

*** Submission deadline extended until 10th of May! = ***

 

The symposium on Trends in Functional Programming (T= FP) is an

international forum for researchers with interests i= n all aspects of

functional programming languages, focusing on provid= ing a broad view of

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

lively environment for presenting the latest researc= h results. Acceptance

for the conference is based on full papers or extend= ed 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, Ko= marno, Slovakia, and

it is co-located with the 3rd Central-European Funct= ional Programming

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

 

 IMPORTANT DATES (ALL 2009)

 

    * Paper Submission: May 10 (exten= ded)

    * Notification of Acceptance: May= 12

    * Camera Ready Symposium Proceedi= ngs Paper: May 14

    * TFP Symposium: June 2-4, 2009

    * Post Symposium Paper Submission= : June 30

    * Notification of Acceptance: Sep= tember 7

    * Camera Ready Revised Paper: Sep= tember 21

 

 SCOPE OF THE SYMPOSIUM

 

As part of the Symposium's focus on trends we theref= ore identify

the following five article categories. High-quality = articles are

solicited in any of these categories:

 

    * Research: leading-edge, previou= sly unpublished research.

    * Position: on what new trends sh= ould or should not be.

    * Project: descriptions of recent= ly 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 simu= ltaneous publication

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

programming: theoretical, implementation-oriented, o= r more experience-

oriented. Applications of functional programming tec= hniques to other

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

the following subject areas are particularly welcome= d:

 

    * Dependently Typed Functional Pr= ogramming

    * Validation and Verification of = Functional Programs

    * Debugging for Functional Langua= ges

    * Functional Programming and Secu= rity

    * Functional Programming and Mobi= lity

    * Functional Programming to Anima= te/Prototype/Implement Systems from

      Formal or Semi-Formal= Specifications

    * Functional Languages for Teleco= mmunications Applications

    * Functional Languages for Embedd= ed Systems

    * Functional Programming Applied = to Global Computing

    * Functional GRIDs

    * Functional Programming Ideas in= Imperative or Object-Oriented

      Settings (and the con= verse)

    * Interoperability with Imperativ= e Programming Languages

    * Novel Memory Management Techniq= ues

    * Parallel/Concurrent Functional = Languages

    * Program Transformation Techniqu= es

    * Empirical Performance Studies

    * Abstract/Virtual Machines and C= ompilers for Functional Languages

    * New Implementation Strategies

    * Any new emerging trend in the f= unctional programming area

 

If you are in doubt on whether your article is withi= n the scope of TFP,

please contact the TFP 2009 program chairs, Zoltan H= orvath and Viktoria

Zsok at tfp20= 09@inf.elte.hu

 

 SUBMISSION AND DRAFT PROCEEDINGS

 

Acceptance of articles for presentation at the sympo= sium is based on the

screening process of full papers (15 pages) and exte= nded abstracts

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

 

PhD students may request the program committee to pr= ovide extensive

feedback on their full papers at the time of submiss= ion. Full papers

describing work accepted for presentation must be co= mpleted 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 c= ontinue the TFP

tradition of publishing a high-quality subset of con= tributions in the

Intellect series on Trends in Functional Programming= .

 

 PROGRAM COMMITTEE

 

    * Peter Achten (symp-chair), Radb= oud University Nijmegen, NL

    * John Clements, California Polyt= echnic State University, USA

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

    * Jurriaan Hage, Utrecht Universi= ty, NL

    * Kevin Hammond, University of St= . Andrews, UK

    * Michael Hanus, Christian-Albrec= hts University zu Kiel, DE

    * Ralf Hinze, University of Oxfor= d, UK

    * Zoltan Horvath (PC co-chair),&n= bsp; Eotvos Lorand University, HU

    * Graham Hutton, University of No= ttingham, UK

    * Johan Jeuring, Utrecht Universi= ty, NL

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

    * Hans-Wolfgang Loidl, Ludwig-Max= imilians University Munchen, DE

    * Rita Loogen, Philipps-Universit= y Marburg, DE

    * Greg Michaelson, Heriot-Watt Un= iversity, UK

    * Marco T. Morazan, Seton Hall Un= iversity, USA

    * Rex L Page, University of Oklah= oma, USA

    * Sven-Bodo Scholz, University of= Hertfordshire, UK

    * Clara Segura, University Complu= tense de Madrid, ES

    * Mary Sheeran, Chalmers Universi= ty of Technology, SE

    * Phil Trinder, Heriot-Watt Unive= rsity, UK

    * Marko van Eekelen, Radboud Univ= ersity Nijmegen, NL

    * Varmo Vene, University of Tartu= , EE

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

 

 LOCATION

 

The Conference Centre of Selye University, Komarno, = Slovakia

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

modern equipment, lecture rooms and computer labs.

 

Komarno is on the north bank of river Danube, the no= rthern part of the

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

inhabitants, 90 km away from Budapest (the capital o= f Hungary), with

good highway and railway connections and 90 km away = from

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

Airport.

 

 

--_000_88C55C9C92561741A80422B15F25C4BFE337621BB8exch02infelte_--