Haskell Weekly News: Issue 209

Welcome to issue 209 of the HWN, a newsletter covering developments in
the Haskell community. This release covers two weeks, from November 13
to 26, 2011.

You can find the HTML version at:
http://contemplatecode.blogspot.com/2011/11/haskell-weekly-news-issue-209.html

Announcements

   By now I'm sure you've heard about Da the lamb.
   [1] http://goo.gl/WF2o7

   Sean Leather annouced that the next Dutch functinal programming day
   will take place on January 6, 2012, at the university campus "De
   Uithof" of Utrecht University.
   [2] http://goo.gl/IfVK8

   Ganesh Sittampalam announced that the haskell.org committee for
   2011-12 has been formed.
   [3] http://goo.gl/YFFsa

New and Updated Projects

   * Gtk2Hs (Axel Simon; 0.12.2) Adjustments to Gtk2Hs to work with
     GHC 7.x.x. Also, looking for a part-time maintainer.
     [4] http://goo.gl/52M56

   * iteratee-compress (Maciej Marcin Piechotka; 0.3.0.0) Provides
     compressing and decompressing enumerators.
     [5] http://goo.gl/tRAkg

Harald ROTTER/DTI/SAGEM is out of the office.

I will be out of the office starting  30.11.2011 and will not return until
31.12.2012.

Please contact Mr. Christian Krexner at christian.krexner <at> sagemcom.com

#
" Ce courriel et les documents qui lui sont joints peuvent contenir des
informations confidentielles ou ayant un caractère privé. S'ils ne vous sont
pas destinés, nous vous signalons qu'il est strictement interdit de les
divulguer, de les reproduire ou d'en utiliser de quelque manière que ce
soit le contenu. Si ce message vous a été transmis par erreur, merci d'en
informer l'expéditeur et de supprimer immédiatement de votre système
informatique ce courriel ainsi que tous les documents qui y sont attachés."

                               ******

" This e-mail and any attached documents may contain confidential or
proprietary information. If you are not the intended recipient, you are
notified that any dissemination, copying of this e-mail and any attachments
thereto or use of their contents by any means whatsoever is strictly
prohibited. If you have received this e-mail in error, please advise the
sender immediately and delete this e-mail and all attached documents
from your computer system."
#

_______________________________________________
Haskell mailing list

CfP PAPP 2012: 9th International Workshop on Practical Aspects of High-Level Parallel Programming

=========================================================
9th International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2012)
=========================================================

affiliated to The International Conference on Computational Science

June 4-6, 2012, Omaha, USA

http://www.papp-workshop.org

*Aims and scope*

Computational Science applications are more and more complex to develop and require more and more
computing power. Sequential computing cannot go further. Major companies in the computing industry now
recognise the urgency of re-orienting an entire
industry towards massively parallel computing.

Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards
the increase of cores in processors, the number of processors and the need for scalable computing
everywhere. But parallel and distributed
programming is still dominated by low-level techniques such as send/receive message passing. Thus
high-level approaches should play a key role in the shift to scalable computing in every computer.

Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel
logic and constraint programming, parallel execution of declarative programs such as SQL queries,
genericity and meta-programming in object-oriented
languages, etc. have produced methods and tools that improve the price/performance ratio of parallel
software, and broaden the range of target applications. Also, high level languages offer a high degree of
abstraction which ease the development of
complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of

ANNOUNCE: monad-control-0.3

Hello,

I just released monad-control-0.3. The package for lifting control
operations (like catch, bracket, mask, alloca, timeout, forkIO,
modifyMVar, etc.) through monad transformers:

http://hackage.haskell.org/package/monad-control-0.3

It has a new and improved API which is:

* easier to understand by explicitly representing the monadic state
using type families.
* 60 times faster than the previous release!
* more general because control operations can now, not only be lifted
from IO, but from any base monad (ST, STM, etc.)

I also released a new package: lifted-base:

http://hackage.haskell.org/package/lifted-base-0.1

It provides lifted versions of functions from the base library.
Currently it exports the following modules:

* Control.Exception.Lifted
* Control.Concurrent.Lifted
* Control.Concurrent.MVar.Lifted
* System.Timeout.Lifted

These are just modules which people have needed in the past. If you
need a lifted version of some function, just ask me to add it or send

Re: ANNOUNCE: monad-control-0.3

On 3 December 2011 00:45, Bas van Dijk <v.dijk.bas <at> gmail.com> wrote:
> * 60 times faster than the previous release!

Here are some benchmark results that compare the original monad-peel,
the previous monad-control-0.2.0.3 and the new monad-control-0.3:

http://basvandijk.github.com/monad-control.html

Note that the benchmarks use Bryan O'Sullivan's excellent new
criterion-0.6 package.

Re: ANNOUNCE: monad-control-0.3

On 3 December 2011 00:45, Bas van Dijk <v.dijk.bas <at> gmail.com> wrote:
> Note that Peter Simons just discovered that these packages don't build
> with GHC-7.0.4 (https://github.com/basvandijk/monad-control/issues/3).
> I just committed some fixes which enable them to be build on GHC >=
> 6.12.3. Hopefully I can release these fixes this weekend.

I just released the fixes:

http://hackage.haskell.org/package/monad-control-0.3.0.1
http://hackage.haskell.org/package/lifted-base-0.1.0.1

Cheers,

Bas

FLOPS 2012: final call for papers & deadline extension

                        Final Call For Papers
                        =====================

  _EXTENDED SUBMISSION DEADLINE : December 16, 2011_

  *Eleventh International Symposium on Functional and Logic
Programming (FLOPS 2012)*
  May 23-25, 2012
  Kobe, Japan
  [http://www.org.kobe-u.ac.jp/flops2012/]

  FLOPS is a forum for research on all issues concerning declarative
  programming, including functional programming and logic programming,
  and aims to promote cross-fertilization and integration between the
  two paradigms. Previous FLOPS meetings were held in Fuji Susono
  (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
  (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008),
  and Sendai (2010).

Topics
======
  FLOPS solicits original papers in all areas of functional and logic
  programming, including (but not limited to):
  - Declarative Pearls: new and excellent declarative programs with
    illustrative applications.
  - Language issues: language design and constructs, programming methodology,
    integration of paradigms, interfacing with other languages, type systems,
    constraints, concurrency and distributed computing.
  - Foundations: logic and semantics, rewrite systems and narrowing, type
    theory, proof systems.

PhD position at Ghent University

The Programming Languages Group of Ghent University invites applicants
for a PhD position. This position centers around the modular treatment
of side-effects in purely functional programs and models. It is part
of the project "Modular handling of effects in purely functional
programs and models" under the direction of Tom Schrijvers.

The successful applicant has a master degree in Computer Science or
equivalent. Ideally, she/he will also have a strong, documented
interest in doing research. Strong problem-solving and programming
skills are essential. Prior knowledge of purely functional programming
(e.g., Haskell) and models of side-effects (e.g., monads) is an
advantage.

The PhD position is for 4 years. It starts between January and October
2012. The position is a fully-funded post. The salary is compatible
with other Belgian PhD rates and among the better ones in Europe and
abroad.

For more information, see: http://users.ugent.be/~tschrijv/phdposition2.html

--

-- 
prof. dr. ir. Tom Schrijvers

Programming Languages Group
Department of Applied Mathematics and Computer Science
University of Ghent

Krijgslaan 281 S9
9000 Gent
Belgium

Haskell Weekly News: Issue 210

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

VSTTE 2012: First Call for Participation

*****************************************************************

         *** First Call for Participation ***

			   VSTTE 2012
Verified Software: Theories, Tools and Experiments
	 	      January 28-29, 2012

Philadelphia, USA (co-located with POPL and VMCAI)
       https://sites.google.com/site/vstte2012/

******************************************************************

The Fourth International Conference on Verified Software: Theories,
Tools, and Experiments  will take place on January 28-29, 2012.  The
focus of the conference is the development of systematic methods for
specifying, building, and verifying software.  The goal of
this conference is to advance the state of the art through the
interaction of theory development, tool evolution, and experimental
validation.  Historically,  the conference came out of the Verified
Software Initiative (VSI), a cooperative, international initiative
directed at the scientific challenges of large-scale software
verification.  An informal verification competition has been held 
and the winner will be announced during the conference.

KEYNOTE SPEAKERS

Rupak Majumdar, Max Planck Institute for Software Systems
Wolfgang Paul,  Saarland University

TUTORIALS

Francesco Logozzo, Microsoft Research
Rustan Leino, Microsoft Research

PROGRAM

The full program is available at the conference web site:

   https://sites.google.com/site/vstte2012/program

VENUE

The conference is co-located with POPL and will be held at 
the Sheraton Society Hill Hotel in Philadelphia's historic district.
For hotel rate details and booking please see the POPL webpage:

  http://www.cse.psu.edu/popl/12/

REGISTRATION

Registration is handled by the POPL registration. For rates, please see

 http://www.cse.psu.edu/popl/12/

and for registration please follow this link:

 https://regmaster3.com/2012conf/POPL12/register.php

Note that early registration deadline is December 24, 2011.

--

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.