TFP 2010 | 2 Apr 19:18 2010

TFP 2010 - Final Call: Submission deadline one week away, April 9

   May 17-19, 2010
   University of Oklahoma    (web search: "tfp 2010")

TFP 2010 is an international forum for researchers with interests in any 
aspect of functional programming.

Papers must be submitted by April 9, one week from today.
Acceptance notifications will go out April 15.
Early (reduced rate) registration closes April 16, two weeks from today.

   April 9:  Submission deadline
   April 15: Acceptance notification
   April 16: Early registration closes ($350, $200 for students)
   May 7: Late registration deadline ($425)
   May 17-19: TFP Symposium

   Springer series: Lecture Notes in Computer Science

Details about the event schedule, symposium scope, submissions, and 
registration may be found on the symposium website.   (Web search: "tfp 2010")

In addition to the symposium's stimulating presentations and discussions, 
highlights include an invited talk by J Strother Moore, an outing to view 
the superb collection of art of the American West at the Cowboy Hall of 
Fame, and a festive banquet.
(Continue reading)

Temur Kutsia | 2 Apr 20:28 2010

LOPSTR'10: New deadline for extended abstract submission


              20th International Symposium on
      Logic-Based Program Synthesis and Transformation
                        LOPSTR 2010
           Hagenberg, Austria, July 23-25, 2010
                 (co-located with PPDP 2010)


New deadline for extended abstract submission: April 7, 2010
Venanzio Capretta | 3 Apr 10:06 2010

MSFP: last call for papers


Third Workshop on
25 September 2010,  Baltimore, USA
A satellite workshop of ICFP 2010

The workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Monadic programming in Haskell is the
paradigmatic example, but there are many more mathematical insights
manifest in programs and in programming language design:
Freyd-categories in reactive programming, symbolic differentiation
yielding context structures, and comonadic presentations of dataflow, to
name but three. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006.
Selected papers were published as a special issue of the Journal of
Functional Programming (volume 19, issue 3-4).
The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP

Martin Escardo, University of Birmingham, UK
(Continue reading)

Huibiao Zhu | 3 Apr 10:40 2010

Call for Papers (UTP 2010)




* 3rd International Symposium on

* Unifying Theories of Programming

* (UTP 2010)

* 15-16 November 2010, Shanghai, China



* For more information email: utp2010 <at>




Following on the success of UTP 2006 (County Durham, UK) and

UTP 2008 (Dublin, Ireland), we are pleased to announce the UTP

symposium 2010, to be held in Shanghai, China in November 2010,

co-located with the 12th International Conference on Formal

Engineering Methods (ICFEM 2010).


Based on the pioneering work on Unifying Theories of Programming

by Tony Hoare, He Jifeng, and others, the aims of the UTP Symposium

series are to continue to reaffirm the significance of the ongoing

UTP project, to encourage efforts to advance it by providing a

focus for the sharing of results by those already actively

contributing, and to raise awareness of the benefits of such

unifying theoretical frameworks among the wider computer science

and software engineering communities.


Of particular interest is how unification may be used to meet the

goals and difficulties to be encountered in the Grand Challenges

of Computing, with particular reference to the UK's "GC6:

Dependable Systems Evolution", its international cousin the

"Verified Software Initiative", and their plan to develop a Verified

Software Repository.


To this end the UTP2010 Symposium welcomes contributions on the above

themes as well as others which can be related to them. Such additional

themes include, but are not limited to, relational semantics,

relational algebra, healthiness conditions, normal forms, linkage of

theories, algebraic descriptions, incorporation of probabilistic

programming, timed calculi and object-based descriptions, as well as

alternative programming paradigms such as functional, logical,

data-flow, and beyond. In all cases, the UTP approach should be

compared and advantages/disadvantages discussed.


Accepted papers are envisaged to be published in the symposium

proceedings by Springer as a volume of the Lecture Notes in Computer

Sciences.  We are also planning to have a special journal issue of

Formal Aspects of Computing for selected best papers from the UTP 2010



Papers should be written in English and not exceed 20 pages in LNCS

format ( Paper

submission will be done online via the easychair submission system.



Program Chair


Shengchao Qin                   (Durham Univeristy, UK)




Important Dates


June 4,  2010:           Title and abstract submission deadline

June 11, 2010:                   Paper submission deadline

July 30, 2010:            Acceptance/rejection notification

August 13, 2010:     Camera-ready version due

Nov 15-16, 2010:     UTP 2010



Haskell mailing list
Haskell <at>
Philippe Narbel | 4 Apr 17:45 2010

MPOOL 2010 (ECOOP) : Call for Papers



                              Workshop on
                                 at the
                     21 or 22 July 2010, Maribor, Slovenia

While OO has become ubiquitously employed for design, implementation, and
even conceptualization, many practitioners recognize the concomitant need
for other programming paradigms according to problem domain.  We seek
answers to the question of how to address the need for other programming
paradigms--or even domain specific languages--in the general context of OO

Can OO programming languages effectively support other programming
paradigms or the embedding of other languages?  The answer seems to be
affirmative, at least for some paradigms.  For example, significant
progress has been made for the case of functional programming in C++.
Additionally, several efforts have been made to integrate support for
other paradigms as a front-end for OO languages (the Pizza language,
extending Java, is a prominent example). Libraries and extensions for
concurrency are also being developed for new and upcoming multi-core and
heterogeneous architectures.

This workshop seeks to bring together practitioners and researchers in
this developing field to `compare notes' on their work--describe existing,
developing, or proposed techniques, idioms, methodologies, language
extensions, or software for expressing non-OO paradigms in OO languages;
or theoretical work supporting or defining the same. High-level
presentations of position are welcome, and reports of work in progress,
are welcome.

Specific areas of interest include, but are not limited to:

  - non-OO programming with OO languages;
  - merging functional/logic/OO/other programs (language crossbinding);
  - non-OO programming at the meta level (e.g. template metaprogramming);
  - techniques for language embeddings (e.g. multistage programming);
  - language embedding in OO languages (domain specific languages - DSLs)
  - module systems vs. object systems;
  - OO design patterns and their relation to functional patterns;
  - multiparadigm and multilingual programming in the .NET framework;
  - type system relationships across languages;
  - theoretical foundations of multiparadigm programming with OO languages;
  - multiparadigm approaches to support emerging hardware architectures (e.g.
    multi/many-core CPUs, GPGPUs, IBM Cell, etc).

The workshop will consist of short presentations with interspersed
discussion sessions, and longer general discussions of themes or topics
derived from some common element of subsets of presentations. We expect
the majority of the participants to give presentations.

Prospective participants may submit either presentation abstracts or full
papers. All accepted materials will be distributed at the workshop, made
available at the MPOOL 2010 Web site and will nbe published by the ACM
Digital Library. Papers need to be formatted accordingly -- see for details.

For authors of accepted presentations who require justification for travel
the organizers can provide official letters of invitation.


Prospective authors are invited to submit abstracts or full papers in PDF,
postscript, or Microsoft Word. Authors of accepted papers are responsible
for submitting the final version using an appropriate ACM template to
ensure inclusion in the proceedings. Submission and email correspondence
to mpool10 <at> .


May  4th,  2008:  Abstracts due.
May 19th,  2008:  Notification of acceptance.


This workshop is a joint organization by the University of Applied
Sciences, Regensburg, Germany, and the Los Alamos National Laboratory,


Gerald Baumgartner (Louisiana State University, Louisiana, USA)
Gavin Bierman (Microsoft Research, UK)
Kei Davis (Los Alamos National Laboratory, New Mexico, USA)
Zoltan Horvath (University Eotvos Lorand of Sciences, Budapest, Hungary)
Jaakko Jarvi (Texas A&M University, Texas, USA)
Herbert Kuchen (University of Muenster, Germany)
Philippe Narbel (University of Bordeaux I, France)
Joerg Striegnitz (University Of Applied Sciences Regensburg, Germany)


More information is available at
Jean-Sebastien Delfino | 5 Apr 05:27 2010

Google Summer of Code - Distributed Haskell components with Apache Tuscany

Hi all,

The Apache Tuscany project [1] (an implementation of OASIS SCA [2], a 
programming model for distributed composite applications) is 
participating in the Google Summer of Code program [3] and one of the 
GSoC student project ideas is to develop support for Haskell SCA components.

The project will help assemble Haskell components with SCA components 
written in other programming languages, and is also a great opportunity 
for students to research programming models and experiment with mixing 
component assembly/composition and Haskell function composition.

More details can be found there [4].

If you're interested in the project, please post any questions to the 
Tuscany dev list dev <at> or just send me an email.


Tom Hawkins | 5 Apr 16:34 2010

Re: [Haskell-cafe] Re: ANN: spec2code

On Mon, Apr 5, 2010 at 4:00 AM, Heinrich Apfelmus
<apfelmus <at>> wrote:
>> Does it scale?  Absolutely, spec2code is not confined to
>> specifications for which optimized algorithms are already known.
>> spec2code can be used to implement operation systems, device drivers,
>> build systems, package management tools, and even do your shirt
>> laundry.  spec2code will change your job from programmer to
>> specification author, giving you more time for meetings, managing
>> email, and browsing the web.  Say goodbye to those dirty Perl scripts,
>> broken C code, and ultimately, your job.  spec2code is the future of
>> programming and the beginning of the end of mankind.
>> Looking forward to obsoleting you soon,
> Awesome! Given the great potential of the new  spec2code  compiler, the
> reception seems to be somewhat chilly. But maybe that's because no one
> likes to be obsoleted...

Or it could just be that time of year.  (Apr 1st)
Kwanghoon Choi | 6 Apr 10:31 2010

ANNOUNCE: GenSmsPdu-0.1

Dear Haskeller,
I like to annouce GenSmsPdu, an automatic SMS message generator.
GenSmsPdu is a library for random generation of 3GPP SMS messages. It defines a big data type for 3GPP defined SMS message formats such as SMS-SUBMIT and SMS-DELIVER [1]. Using generator functions offered by QuickCheck, it can generate arbitrary SMS messages in the data type automatically.

GenSmsPdu also offers an encoder to convert an SMS message  in the data type into an SMS PDU (Protocol Data Unit) in bytes, and a decoder to do the reverse. Currently, GenSmsPdu generates single-pages SMS messages.

[1] 3GPP TS 23.040 V6.7.0, 3rd Generation Partnership Project Technical Specification Group Core Network and Terminals; Technical Realization of the Short Message Service (SMS) (Release 6), March 2006.

Best regards,


Haskell mailing list
Haskell <at>
Simon Peyton-Jones | 7 Apr 23:31 2010

FP jobs



Did you know that CUFP has a jobs board




There’s a Haskell vacancy advertised recently (along with lots of F#)!



Haskell mailing list
Haskell <at>
Chris Casinghino | 8 Apr 00:00 2010

ANNOUNCE: Hac phi 2010


I am very pleased to officially announce Hac phi 2010, a Haskell
hackathon/get-together to be held May 21-23 at the University of
Pennsylvania in Philadelphia.  The hackathon will officially kick off
at 2:30 Friday afternoon, and go until 5pm on Sunday (with breaks for
sleep, of course).  Last year's Hac phi was a lot of fun, and many
people have already expressed interest in coming back this year.  I
want to stress that everyone is welcome---you do not have to be a
Haskell guru to attend!  Helping hack on someone else's project could
be a great way to increase your Haskell-fu.

If you plan on coming, please officially register [1].  Registration,
travel, lodging and many other details can be found on the Hac phi
wiki [2].  Note that we're in a different space this year and may have
to cap attendance, so register early.

We're also looking for a few people interested in giving short (15-20
min.) talks, probably on Saturday afternoon.  Anything of interest to
the Haskell community is fair game---a project you've been working on,
a paper, a quick tutorial.  If you'd like to give a talk, add it on
the wiki [3].

Hope to see you in Philadelphia!

-The Hac φ team