Dear all,
it's time again for our monthly Haskell meeting in Munich. If you plan
to join us on Tuesday, 28th of February at Cafe Puck in Munich at 19h30,
please go to:
http://www.haskell-munich.de/dates
and hit the button. This will help us to reserve tables.
With hope to meet many of you,
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
just to remind you: Tomorrow, Monday 30. Jan 2012, Haskellers meet in
Munich. Check out the details and click the button, if you plan to join:
http://www.haskell-munich.de/dates
See you,
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
I hope, all of you had a good start into this year.
For Munich's Haskellers, it's time for our next get-together. With a
number of participants between 12 and 14, our last meetings have been a
real success. Let's continue this joyful events. Even if you don't live
at Munich, if you can make it one day, we will be happy to receive you
there. Check out the dates!
So, this year's first get-together will take place next week, Monday,
30. January at Cafe Puck, our usual venue. If you plan to join, please
go to the site and click the button:
http://www.haskell-munich.de/dates
This will help us to reserve tables.
With hope of a large attendance, have a nice time,
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
the doodle poll for the next Haskell get-together indicates, that we
should meet on Tuesday, 13 Dec 2011, 19h30 at Cafe Puck:
http://www.doodle.com/x6x4sgnemc35myq3
I will reserve tables. For all those who cannot join, sorry, but we hope
to meet you next year. Check out the dates:
http://www.haskell-munich.de/dates
So, let's meet at Tuesday for the last time this year.
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
on our last meeting, we decided to set up a doodle poll to determine the
date of our December's get-together:
http://www.doodle.com/x6x4sgnemc35myq3
If you want to join, vote!
There are also new dates available for next year's meetings (with
rotating week-days):
http://www.haskell-munich.de/dates
Have a nice December,
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
just a reminder for our monthly Haskell get-together in Munich, Cafe
Puck, tomorrow (Tuesday, 29th, 19h30).
If you will join and didn't already click the button, you can do it here:
http://www.haskell-munich.de/dates
Have a nice day,
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
next week on Tuesday, 29 November, our monthly Haskell get-together will
be held at Cafe Puck in Munich. Starting time is 19h30. Please feel free
to join us. We are always happy to see someone new.
There have been lots of people last time and we did not have enough
tables. Therefore, if you plan to join us, please go to this page and
hit the button. This well help to reserve places:
http://www.haskell-munich.de/dates
There is also the question, what to do in December. Any suggestions?
We hope to see you soon,
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
next week on Tuesday, 29 November, our monthly Haskell get-together will
be held at Cafe Puck in Munich. Starting time is 19h30. Please feel free
to join us. We are always happy to see someone new.
There have been lots of people last time and we did not have enough
tables. Therefore, if you plan to join us, please go to this page and
hit the button. This well help to reserve places:
http://www.haskell-munich.de/dates
There is also the question, what to do in December. Any suggestions?
We hope to see you soon,
Heinrich
--
--
hoerdegen(a)funktional.info
www.funktional.info
--
Dear all,
last month's meeting of Haskellers in Munich was a success. Let's repeat it! We will meet on Wednesday, 28 Oct, at Cafe Puck at Cafe Puck (www.cafepuck.de). Everybody interested in Haskell or functional programming is cordially invited. If you can't make it this time, check out this site for other dates:
http://www.haskell-munich.de/
We hope to see you soon,
Heinrich Hördegen
--
hoerdegen(a)funktional.info
http://www.funktional.info
Une messagerie gratuite, garantie à vie et des services en plus, ça vous tente ?
Je crée ma boîte mail www.laposte.net
Dear all,
last Thursday's get-together for Haskell users in Munich was a success.
About 12 people meet at Cafe Puck where we spent a nice evening. The
overall opinion was, that gatherings of this kind should be held on a
more regular basis. Therefore, I'd like to announce the following page:
http://www.haskell-munich.de
If you can make it to Munich, please feel invited to join us at one of
the given dates. We would highly appreciate your company.
If you have suggestions about the page or anything else, please contact me.
Have a nice day,
Heinrich
--
--
kontakt(a)funktional.info
www.funktional.info
--
Hi everybody,
again, I want to announce tonight's meeting at Cafe Puck in Munich at
19h30. People interested in Haskell or functional programming in general
are cordially invited.
Hope to see many of you,
Heinrich
Dear all,
Munich's Lisp list doesn't seem to be very aktive. However, from former
meetings, I was aware that some lispers are also interested in Haskell.
Therefore, I'd like to announce the first Munich Haskell meeting, on
Thrusday, 29. of September, at 19h30 at Cafe Puck
(http://www.cafepuck.de/). It would also be nice if you could inform
other interested persons.
Meanwhile, have a nice time,
Heinrich
Hi everybody,
it was planed to have a meeting every first week a month. The May
meeting didn't take place, so what about June? Anyone willing to set up
a doodle?
Have a nice week-end!
Heinrich
Hello everybody,
Yesterday meeting was a success! We had two talks and at the end a
small discussion. Lorenz gave us a nice overview about his work using
Lisp in robotics, which was quite interesting. I gave a small overview
of urandom, a prng library.
Everyone was in favor of meeting more regularly, even if no
"big/fancy" talk is scheduled. Something like meeting for a beer and
talk about Lisp, what people are doing, etc. As such, it was agreed to
try to arrange a meeting around the first week of every month. The
exact time and place is decided through doodle and the mailing list.
So, for April's meeting (4-9), here is the link:
http://www.doodle.com/ykahw5vn67psvteq. Come and bring a friend :-)
Cheers,
Jorge
--
http://jorgetavares.com
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4th European Lisp Symposium
Special Focus on Parallelism & Efficiency
March 31 - April 1st, 2011
TUHH, Hamburg University of Technology
Hamburg, Germany
http://www.european-lisp-symposium.org/
Sponsors: EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
News:
~~~~~
* The final program is now online.
* The early registration deadline is in 3 days, so hurry!
Registration will still be possible afterwards.
Invited Speakers:
~~~~~~~~~~~~~~~~~
Craig Zilles -- Compiling for the common case
Marc Battyani -- Reconfigurable computing on steroids
Apostolos Syropoulos -- Scala: an OO surprise
Scope
~~~~~~
The purpose of the European Lisp Symposium is to provide a forum for
the discussion and dissemination of all aspects of design,
implementation and application of any of the Lisp dialects, including
Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure,
ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone
interested in Lisp to participate.
The European Lisp Symposium 2011 invites high quality papers about
novel research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
This year's focus will be directed towards "Parallelism & Efficiency".
Programme Chair
~~~~~~~~~~~~~~~~
Didier Verna - EPITA Research and Development Laboratory, France
Local Chair
~~~~~~~~~~~~
Ralf Moeller - Hamburg University of Technology, Germany
Programme Committee
~~~~~~~~~~~~~~~~~~~~
Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal
Christophe Rhodes - Goldsmiths College, University of London, UK
David Edgar Liebke - Relevance Inc., USA
Didier Verna - EPITA Research and Development Laboratory, France
Henry Lieberman - MIT Media Laboratory, USA
Jay McCarthy - Brigham Young University, USA
Jose Luis Ruiz Reina - Universidad de Sevilla, Spain
Marco Antoniotti - Universita Milano Bicocca, Italy
Manuel Serrano - INRIA, France
Michael Sperber - DeinProgramm, Germany
Pascal Costanza - Vrije Universiteit of Brussel, Belgium
Scott McKay - ITA Software, USA
--
Resistance is futile. You will be jazzimilated.
Scientific site: http://www.lrde.epita.fr/~didier
Music (Jazz) site: http://www.didierverna.com
EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France
Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22
Hi,
On Tue, Mar 8, 2011 at 09:06, <hoerdegen(a)laposte.net> wrote:
>
> Hello everybody,
>
> so the meeting will start at 18h00? Is that right?
Yes. According to Thomas, it is "in the Geophysics insitute (C406 in
Theresienstraße 41) for Wednesday, 09th of March, starting from 18:00."
Cheers,
Jorge
>
> Heinrich
>
> --
>
> Funktionale Programmierung Dr. Heinrich Hördegen
> Gutenbergstr. 26
> 80638 München
>
> FON: +49 (89) 12 59 79 49
> FAX: +49 (89) 12 59 79 50
>
> hoerdegen(a)funktional.info
> www.funktional.info
>
> --
>
>
> On 08.03.2011 08:57, Jorge Tavares wrote:
>>
>> Hi Raju,
>>
>> On Tue, Mar 8, 2011 at 00:54, Raju Bitter<rajubitter(a)googlemail.com>
>> wrote:
>>>
>>> I'm just a Lisp beginner, there's not much I can contribute. Sorry.
>>
>> Perhaps you could talk about your learning experience and if you're
>> working on a personal project, you could describe it and get some
>> ideas, advices, etc.
>>
>> Cheers,
>> Jorge
>>
>>> But I look forward to meeting you.
>>>
>>> Raju
>>>
>>> On Mar 7, 2011, at 9:37 PM, Thomas Chust wrote:
>>>
>>>> Hello,
>>>>
>>>> our meeting on Wednesday, 9th of March, is approaching, but as far as
>>>> I recall, nobody volunteered to give a presentation, yet.
>>>>
>>>> Maybe we could have some small lightning talks?
>>>>
>>>> Ciao,
>>>> Thomas
>>>>
>>>>
>>>> --
>>>> When C++ is your hammer, every problem looks like your thumb.
>>>>
>>>> _______________________________________________
>>>> http://lisp.tech.coop/Munich
>>>> munich-lisp mailing list
>>>> munich-lisp(a)common-lisp.net
>>>> http://common-lisp.net/cgi-bin/mailman/listinfo/munich-lisp
>>>
>>> _______________________________________________
>>> http://lisp.tech.coop/Munich
>>> munich-lisp mailing list
>>> munich-lisp(a)common-lisp.net
>>> http://common-lisp.net/cgi-bin/mailman/listinfo/munich-lisp
>>>
>>
>>
>
>
--
http://jorgetavares.com
=====================================
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): Parallel and Concurrent 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
=====================================
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
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4th European Lisp Symposium
Special Focus on Parallelism & Efficiency
March 31 - April 1st, 2011
TUHH, Hamburg University of Technology
Hamburg, Germany
http://www.european-lisp-symposium.org/
Sponsored by EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Registration is now open!
See http://www.european-lisp-symposium.org/content-registration-full.html
for details.
The deadline for early registration is March 12.
There is a reduced fee for students and accompanying persons.
You may also subscribe to mailing lists for this year's occurrence
on the registration page.
Invited Speakers:
~~~~~~~~~~~~~~~~~
Craig Zilles -- Compiling for the common case
Marc Battyani -- Reconfigurable computing on steroids
Apostolos Syropoulos -- Scala: an OO surprise
The complete program will be available shortly.
Scope
~~~~~~
The purpose of the European Lisp Symposium is to provide a forum for
the discussion and dissemination of all aspects of design,
implementation and application of any of the Lisp dialects, including
Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure,
ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone
interested in Lisp to participate.
Programme Chair
~~~~~~~~~~~~~~~~
Didier Verna - EPITA Research and Development Laboratory, France
Local Chair
~~~~~~~~~~~~
Ralf Moeller - Hamburg University of Technology, Germany
Programme Committee
~~~~~~~~~~~~~~~~~~~~
Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal
Christophe Rhodes - Goldsmiths College, University of London, UK
David Edgar Liebke - Relevance Inc., USA
Didier Verna - EPITA Research and Development Laboratory, France
Henry Lieberman - MIT Media Laboratory, USA
Jay McCarthy - Brigham Young University, USA
Jose Luis Ruiz Reina - Universidad de Sevilla, Spain
Marco Antoniotti - Universita Milano Bicocca, Italy
Manuel Serrano - INRIA, France
Michael Sperber - DeinProgramm, Germany
Pascal Costanza - Vrije Universiteit of Brussel, Belgium
Scott McKay - ITA Software, USA
--
Resistance is futile. You will be jazzimilated.
Scientific site: http://www.lrde.epita.fr/~didier
Music (Jazz) site: http://www.didierverna.com
EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France
Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4th European Lisp Symposium
Special Focus on Parallelism & Efficiency
March 31 - April 1st, 2011
TUHH, Hamburg University of Technology
Hamburg, Germany
http://www.european-lisp-symposium.org/
Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Important Dates
~~~~~~~~~~~~~~~~
+ Submission Deadline: January 16, 2011 --- EXTENDED
+ Author Notification: February 06, 2011
+ Final Paper Due: February 28, 2011
+ Symposium: March 31 - April 1st, 2011
Authors of accepted research contributions will be invited to submit
an extended version of their papers for journal publication.
Invited Speakers:
~~~~~~~~~~~~~~~~~
Marc Battyani (Nova Sparks)
Craig Zilles (University of Illinois)
Scope
~~~~~~
The purpose of the European Lisp Symposium is to provide a forum for
the discussion and dissemination of all aspects of design,
implementation and application of any of the Lisp dialects, including
Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure,
ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone
interested in Lisp to participate.
The European Lisp Symposium 2011 invites high quality papers about
novel research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
This year's focus will be directed towards "Parallelism & Efficiency".
We especially invite submissions in the following areas:
+ Parallel and distributed computing
+ Code generation for multi-core architectures
+ Code generation for HTM
+ Large and ultra-large systems
+ Optimization techniques
+ Embedded applications
Contributions are also welcome in other areas, including but not
limited to:
+ Context-, aspect-, domain-oriented and generative programming
+ Macro-, reflective-, meta- and/or rule-based development approaches
+ Language design and implementation
+ Language integration, inter-operation and deployment
+ Development methodologies, support and environments
+ Educational approaches and perspectives
+ Experience reports and case studies
Technical Program:
~~~~~~~~~~~~~~~~~~
We invite submissions in the following forms:
* Papers: Technical papers of up to 15 pages that describe original
results or explain known ideas in new and elegant ways.
* Demonstrations: Abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
* Tutorials: Abstracts of up to 4 pages for in-depth presentations
about topics of special interest for at least 90 minutes and up to
180 minutes.
* Lightning talks: Abstracts of up to one page for talks to last for
no more than 5 minutes.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM classification categories and terms. For more
information on the submission guidelines and the ACM keywords, see:
http://www.acm.org/sigs/publications/proceedings-templateshttp://www.acm.org/about/class/1998
Submissions should be uploaded to Easy Chair, at the following address:
http://www.easychair.org/conferences/?conf=els2011
Programme Chair
~~~~~~~~~~~~~~~~
Didier Verna - EPITA Research and Development Laboratory, France
Local Chair
~~~~~~~~~~~~
Ralf Moeller - Hamburg University of Technology, Germany
Programme Committee
~~~~~~~~~~~~~~~~~~~~
Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal
Christophe Rhodes - Goldsmiths College, University of London, UK
David Edgar Liebke - Relevance Inc., USA
Didier Verna - EPITA Research and Development Laboratory, France
Henry Lieberman - MIT Media Laboratory, USA
Jay McCarthy - Brigham Young University, USA
Jose Luis Ruiz Reina - Universidad de Sevilla, Spain
Marco Antoniotti - Universita Milano Bicocca, Italy
Manuel Serrano - INRIA, France
Michael Sperber - DeinProgramm, Germany
Pascal Costanza - Vrije Universiteit of Brussel, Belgium
Scott McKay - ITA Software, USA
--
Resistance is futile. You will be jazzimilated.
Scientific site: http://www.lrde.epita.fr/~didier
Music (Jazz) site: http://www.didierverna.com
EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France
Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22
--
Ricardo Pe~na e-mail: ricardo(a)sip.ucm.es
Departamento Sistemas Informaticos y Computacion
Facultad de Informatica
C/ Profesor Jose Garcia Santesmases s/n
Universidad Complutense de Madrid, 28040 MADRID
Ph: (+ 34) 91 394 7627 FAX: (+ 34) 91 394 7529
http://dalila.sip.ucm.es/~ricardo
------------------ Apologies for multiple postings ------------------------
***************************************************************************
* *
* CALL FOR PAPERS *
* 12th International Symposium *
* Trends in Functional Programming 2011 *
* Madrid, Spain *
* May 16-18, 2011 *
* http://dalila.sip.ucm.es/tfp11/ *
* *
***************************************************************************
The symposium on Trends in Functional Programming (TFP) is an international
forum for researchers with interests in all aspects of functional
programming, taking a broad view of current and future trends in the area.
It aspires to be a lively environment for presenting the latest research
results, and other contributions (see below), described in draft papers
submitted prior to the symposium. A formal post-symposium refereeing
process then selects a subset of the articles presented at the symposium
and submitted for formal publication, as a Springer Lecture Notes in
Computer Science volume, as they were for the TFP-2010 selected papers.
TFP 2011 is going to be held in the Computer Science Faculty of Complutense
University of Madrid, on May 16-18, 2011. It will be co-located with the
2nd International Workshop on Foundational and Practical Aspects of
Resource Analysis (FOPARA 2011) (http://dalila.sip.ucm.es/fopara11/). This
collocation could make such a gathering a very interesting event and will
allow researchers from the two communities to exchange ideas.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004, in Tallinn
(Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007,
in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, and
in Oklahoma (USA) in 2010. For further general information about TFP
please see the TFP homepage at http://www.tifp.org/.
SCOPE OF THE SYMPOSIUM
The symposium recognises that new trends may arise through various
routes. 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 Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarising 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.
Articles on the following subject areas are particularly welcome:
o Dependently typed functional programming
o Validation and verification of functional programs
o Debugging for functional languages
o Functional programming in different application areas: security, mobility,
telecommunications applications, embedded systems, global computing, grids, etc.
o Functional languages for reasoning about imperative/object-oriented programs
o Interoperability with imperative programming languages
o Novel memory management techniques
o Program transformation techniques
o Empirical performance studies
o Abstract/virtual machines and compilers for functional languages
o New implementation strategies
o 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 2011 program chair, Ricardo Pe~na, at tfp2011(a)easychair.org
BEST STUDENT PAPER AWARD
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new subject
trends. A student paper is one for which the authors state that the paper is mainly
the work of students, the students are listed as first authors, and a student
would present the paper. A prize for the best student paper is awarded each year.
SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (6 to 10 pages in
length) or full papers (16 pages). Accepted abstracts are to be completed
to full papers before the symposium for publication in the draft
proceedings.
The submission must clearly indicate which category it belongs to:
research, position, project, evaluation, or overview paper. It should also
indicate whether the main author or authors are research
students. Formatting details can be found at the TFP 2011 website.
Submission procedures will be posted on the TFP 2011 website as the
submission deadline is approaching.
Important dates (2011):
Full papers/extended abstracts submission: April 2nd
Notification of acceptance for presentation: April 15th
Early registration deadline: April 25th
Camera ready for draft proceeding: April 30th
The papers of the local proceedings will also be made available on-line
under some copyright conditions, with which all authors are asked to
agree (see http://dalila.sip.ucm.es/tfp11/).
POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the symposium draft proceedings, we will continue the last
year decision of publishing a high-quality subset of contributions in the
Springer Lecture Notes in Computer Science series (previous editions were
published by Intellect). All TFP authors will be invited to submit revised
papers after the symposium. These will be refereed using normal conference
standards and a subset of the submitted papers, over all categories, will
be selected for publication. Papers will be judged on their contribution to
the research area with appropriate criteria applied to each category of
paper.
Student papers will be given extra feedback by the Program Committee in
order to assist those unfamiliar with the publication process.
Important dates (2011):
TFP 2011 Symposium: May 16-18th
Student papers feedback: June 6th
Submission for formal review: June 24th
Notification of acceptance for LNCS: September 2nd
Camera ready paper: September 23rd
TFP 2011 ORGANIZATION
Steering Committee Chair: Marko van Eekelen, Radboud University Nijmegen
and Open University, NL
Steering Committee Treasurer: Hans-Wolfgang Loidl, Heriot-Watt University, UK
Symposium Organization Chair: Ricardo Pe~na, Complutense University of Madrid, ES
TFP 2011 PROGRAMME COMMITTEE
Peter Achten (Radboud University Nijmegen, NL)
Ana Bove (Chalmers University of Technology, SE)
Olaf Chitil (University of Kent, UK)
Marko van Eekelen (Radboud University Nijmegen and Open University, NL)
Robby Findler (Northwestern University, USA)
Victor Gul'ias (University of La Coru~na, ES)
Jurriaan Hage (University of Utrecht, NL)
Kevin Hammond (University of St. Andrews, UK)
Michael Hanus (Christian Albrechts University zu Kiel, DE)
Zolt'an Horv'ath (E"otv"os Lor'and University, HU)
Frank Huch (Christian Albrechts University zu Kiel, DE)
Mauro Jaskelioff (National University of Rosario, AR)
Rita Loogen (Philipps University Marburg, DE)
Jay McCarthy (Brigham Young University, USA)
Henrik Nilsson (University of Nottingham, UK)
Rex Page (University of Oklahoma, USA)
Ricardo Pe~na (Chair) (Complutense University of Madrid, ES)
John Reppy (University of Chicago, USA)
Konstantinos Sagonas (Uppsala University, SE, and
National Technical University of Athens, GR)
Simon Thompson (University of Kent, UK)
German Vidal (Universidad Polit'ecnica de Valencia, ES)
SPONSORS
Computer Science Faculty, Complutense University of Madrid
Spanish Ministry of Science and Innovation
INVITED SPEAKER
In this TFP edition, an invited talk will be given by Neil Mitchell
(http://community.haskell.org/~ndm/), who finished his PhD thesis on
'Transformation and Analysis of Functional Programs' at the University of
York, England, and is currently working for the Standard Chartered
Bank. The title of the talk is 'Finding functions from types', and will be
about the Hoogle tool (http://haskell.org/hoogle).