Pablo Nogueira | 1 Jan 20:07 2010

ANN: WFLP 2010 Call for participation

********************************************************************
                        Call For Participation

                              WFLP2010

              19th International Workshop on Functional
                  and (Constraint) Logic Programming

                   Madrid, Spain, January 17, 2010
              http://babel.ls.fi.upm.es/events/wflp2010/

                              *********
                            colocated with
                 Principles of Programming Languages
                              POPL 2010
                   http://www.cse.psu.edu/popl/10/

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

IMPORTANT DATES

Hotel reservation deadline: December 28, 2009

VENUE

WFLP2010 and all POPL'10 affiliated events will take place at the
Melia Castilla Hotel, Madrid.

REGISTRATION

(Continue reading)

Johan Tibell | 6 Jan 13:38 2010
Picon

Reminder: ZuriHac - Haskell hackathon in Zurich, March 19-21

Hi all!

This is to remind you that we're organizing ZuriHac, a Haskell
hackathon/get-together, to be held March 19-21 at the Google Office in
Zurich, Switzerland. Lots of people have already registered but we
still have space for more!

If you plan on coming, please register [1] so we can make sure there's
seating for everyone.  Registration, travel, lodging and many other
details will soon be available on the ZuriHac wiki [2]. If you have
any questions don't hesitate to drop Christophe or me an email (or
email addresses can be found on the wiki.)

WHEN
Friday March 19 2:30pm to 6:30pm
Saturday March 20 10am to 6pm
Sunday March 21 10am to 6pm

WHERE
We will be in the TechTalk area of the Google Office at
Brandschenkestrasse 110. Please see the wiki [3] for directions.

ORGANIZERS
Johan Tibell
Christophe Poucet

Hope to see you in Zurich!

- The ZuriHac team

(Continue reading)

Frederic Blanqui | 7 Jan 09:26 2010
Picon
Picon

HOR 2010 1st CALL FOR ABSTRACTS


               **************************************
               *                                    *
               *  HOR 2010  1st CALL FOR ABSTRACTS  *
               *                                    *
               **************************************

      5th International Workshop on Higher-Order Rewriting
                   (Affiliated with RTA'2010)
              Wednesday July 14, 2010, Edinburgh, UK

                 http://hor.pps.jussieu.fr/10/

IMPORTANT DATES:
  March   25, 2010 : deadline electronic submission of paper
  April   20, 2010 : notification of acceptance of papers
  May     17, 2010 : deadline for final version of accepted papers

HOR 2010 is a forum to present work concerning all aspects
of higher-order rewriting. The aim is to provide an informal and
friendly setting to discuss recent work and work in progress.

HOR 2010 is part of FLoC 2010 in Edinburgh.
HOR 2007 was part of RDP 2007 in Paris, France.
HOR 2006 was part of FLoC 2006 in Seattle, USA.
HOR 2004 was part of RDP 2004 in Aachen, Germany.
HOR 2002 was part of FLoC 2002 in Copenhagen, Denmark.

TOPICS of interest include (but are not limited to):
  APPLICATIONS:   proof checking, theorem proving, generic programming,
(Continue reading)

Bas van Dijk | 7 Jan 11:50 2010
Picon

ANNOUNCE: safer-file-handles-0.1

Hello,

I'm happy to announce another member in the 'monadic regions' family:
safer-file-handles:

http://hackage.haskell.org/package/safer-file-handles-0.1

The package uses my 'regions' and 'explicit-iomodes' packages to add
two safety features on top of the regular System.IO file handles and
operations:

 * Regional file handles. Files must be opened in a region. When the
region terminates all opened files are automatically closed. The main
advantage of regions is that the handles to the opened files can not
be returned from the region which ensures no I/O with closed files is
possible.

 * Explicit IOModes. The regional file handles are parameterized by
the IOMode in which they were opened. All operations on handles
explicitly specify the needed IOMode. This way it is impossible to
read from a write-only handle or write to a read-only handle for
example.

The primary technique used in this package is called "Lightweight
monadic regions" which was invented by Oleg Kiselyov and Chung-chieh
Shan. See:

http://okmij.org/ftp/Haskell/regions.html#light-weight

This technique is implemented in the 'regions' package which is
(Continue reading)

Bas van Dijk | 7 Jan 16:00 2010
Picon

ANNOUNCE: New versions of ALL the monadic regions packages

Hello,

As I explained in my announcement of 'safer-file-handles', I
discovered a serious lack of expressive power in my 'regions' package.
I have now solved that problem in the way I envisaged by removing the
'resource' parameter from 'RegionT' and using existential
quantification to bring the 'resource' type back at the place I need
it but hidden from the outside.

Now you're able to open multiple types of resources in a single region
which all will be closed automatically on termination of the region.

These are the new releases:

http://hackage.haskell.org/package/regions-0.2
http://hackage.haskell.org/package/regions-monadsfd-0.2
http://hackage.haskell.org/package/regions-monadstf-0.2.0.1
http://hackage.haskell.org/package/usb-safe-0.5
http://hackage.haskell.org/package/safer-file-handles-0.2

(Note that in the process I shuffled a bit with the API's. That's one
of the reasons all these are major releases.)

Do you want to see this in action? See 'example.hs' in the following
package that demonstrates opening multiple different types of
resources in a single region. The example extends the example in the
'usb-safe-examples' package by first opening a USB device (my USB
mouse) and a temporary file in the same region. Next the device is
configured, an interface is claimed and an alternate is set. Next some
bytes are read from an endpoint of the device. Finally these bytes are
(Continue reading)

Mario Blažević | 8 Jan 01:29 2010

ANN: Streaming Component Combinators 0.4

Version 0.4 of Streaming Component Combinators, or SCC for short, has
been released on Hackage. Get it at

http://hackage.haskell.org/package/scc

    There isn't much new high-level functionality compared to the
previous version, but the implementation has been heavily refactored and
the foundations completely replaced.

    I'm particularly happy to have found a way to drop the ugly reliance
on Data.Dynamic and to encode the required constraints in the type
system instead. The foundation of streaming components in this version
is the new Control.Concurrent.Coroutine module, whose main export is the monad
transformer Coroutine. It can transform any monad into a suspendable, resumable,
trampoline-style-runnable monad. Coroutines can be nested, which was the
requirement for streaming and the main stumbling block for the implementation.
The solution, worth at least 10 milliOlegs according to my estimate, was to
parameterize the Coroutine with a functor that wraps the coroutine suspension,
and to use nested functors for suspension from nested coroutines. The type system
automatically figures out how many wrappings to apply to each suspension
depending on how many intermediate coroutines it suspends.

   In other news is the project's Wiki page at
http://trac.haskell.org/SCC/wiki/. It's still rudimentary, but growing.

   All feedback will be appreciated.
Ivan Lazar Miljenovic | 8 Jan 15:08 2010
Picon

ANNOUNCE: SourceGraph-0.6.0.0 and Graphalyze-0.9.0.0

I'm pleased to announce the latest releases of SourceGraph [1] and
Graphalyze [2].

[1]: http://hackage.haskell.org/package/SourceGraph
[2]: http://hackage.haskell.org/package/Graphalyze

SourceGraph is a program that performs static code analysis on Haskell
projects on the by applying graph theoretic techniques to the project's
call graph.  Graphalyze is a library for analysing discrete data using
graph theory, and as such performs the heavy lifting for SourceGraph.

Sample analysis reports generated by SourceGraph are available at
http://code.haskell.org/~ivanm/Sample_SourceGraph/SampleReports.html .
I will also be demoing SourceGraph at PEPM [3] in Madrid on 19 January.

[3]: http://www.program-transformation.org/PEPM10/

Changes since the previous version include:

* Now supports "implicitly exported" entities (as requested by Curt
  Sampson).  This includes instantiated class methods from other
  modules and functions, etc. that start with an underscore (see
  http://www.haskell.org/ghc/docs/latest/html/users_guide/options-sanity.html
  for more information).

* All inaccessible entities are now reported, not just those that were
  root nodes in the call graph.

* Edges are now colour-coded based upon whether they are part of a
  clique, cycle or a chain.
(Continue reading)

Ivan Lazar Miljenovic | 8 Jan 15:29 2010
Picon

ANNOUNCE: SourceGraph-0.6.0.1

I realised soon after I sent the announcement email that there was a bug
in one of the new "subtle" features that I didn't list, namely the
background shading of directories in import visualisation.  As such,
SourceGraph 0.6.0.1 contains this fix.

There were also two other features in 0.6.0.0 that I forgot to mention:

* SourceGraph will (well, should; I haven't managed to come across a
  situation where it occurs anyway) no longer throw a fit if Graphviz
  throws an error when visualising a graph; instead it will just put an
  error message into the generated report.

* The generated Dot code is also saved in the SourceGraph/graphs/
  subdirectory, so you can tweak the call graphs of your programs.

Ivan Lazar Miljenovic <ivan.miljenovic <at> gmail.com> writes:

> I'm pleased to announce the latest releases of SourceGraph [1] and
> Graphalyze [2].
>
> [1]: http://hackage.haskell.org/package/SourceGraph
> [2]: http://hackage.haskell.org/package/Graphalyze
>
> SourceGraph is a program that performs static code analysis on Haskell
> projects on the by applying graph theoretic techniques to the project's
> call graph.  Graphalyze is a library for analysing discrete data using
> graph theory, and as such performs the heavy lifting for SourceGraph.
>
> Sample analysis reports generated by SourceGraph are available at
> http://code.haskell.org/~ivanm/Sample_SourceGraph/SampleReports.html .
(Continue reading)

Emilio Tuosto | 9 Jan 12:59 2010
X-Face
Picon
Picon

Last CfP for TGC 2010: EXTENDED deadline Jan. 20 2010

Due to several requests, the TGC'10 chairs have decided to extend the 
deadline for submsissions to January 20th

================================================================
                         Call for Papers

                             TGC 2010
                   Fifth International Symposium on
                     TRUSTWORTHY GLOBAL COMPUTING

                   http://www.pst.ifi.lmu.de/tgc2010
                   LMU, Munich, February 26-26, 2010
----------------------------------------------------------------
          co-located with the review of FP6 GCII projects
                       AEOLUS and SENSORIA
================================================================

IMPORTANT DATES
---------------
Paper submissions:          January 20, 2010 EXTENDED
Final version (pre-proc.):  February, 2010
Conference:                 February 24-26, 2010
Final version (post-proc.): March 22, 2010

SCOPE
------
The Symposium on Trustworthy Global Computing is an international
annual venue dedicated to safe and reliable computation in global
computers. It focuses on providing frameworks, tools, and protocols
for constructing well-behaved applications and on reasoning rigorously
(Continue reading)

Ivan Lazar Miljenovic | 10 Jan 12:32 2010
Picon

ANNOUNCE: SourceGraph-0.6.0.2

I've just uploaded a new version that works with haskell-src-exts-1.6.0
(all it needed was to increase the upper bound in the cabal file! \o/).

On another note, anyone know why Niklas Broberg hasn't been making any
release statements recently to say what the changes are, etc. for
haskell-src-exts?

Ivan Lazar Miljenovic <ivan.miljenovic <at> gmail.com> writes:

> I realised soon after I sent the announcement email that there was a bug
> in one of the new "subtle" features that I didn't list, namely the
> background shading of directories in import visualisation.  As such,
> SourceGraph 0.6.0.1 contains this fix.
>
> There were also two other features in 0.6.0.0 that I forgot to mention:
>
> * SourceGraph will (well, should; I haven't managed to come across a
>   situation where it occurs anyway) no longer throw a fit if Graphviz
>   throws an error when visualising a graph; instead it will just put an
>   error message into the generated report.
>
> * The generated Dot code is also saved in the SourceGraph/graphs/
>   subdirectory, so you can tweak the call graphs of your programs.
>
> Ivan Lazar Miljenovic <ivan.miljenovic <at> gmail.com> writes:
>
>> I'm pleased to announce the latest releases of SourceGraph [1] and
>> Graphalyze [2].
>>
>> [1]: http://hackage.haskell.org/package/SourceGraph
(Continue reading)


Gmane