[Haskell] GTTSE 2009: 2nd call for participation (06-11 July) (registration open)

[João Saraiva]

   GTTSE 2009, 06-11 July, 2009, Braga, Portugal

   3rd International Summer School on
   Generative and Transformational Techniques in Software Engineering

   http://gttse.wikidot.com/


   *** Registration is now open ***
   *** Early Registration Deadline: April 24, 2009  *** 



SCOPE AND FORMAT

The summer school brings together PhD students, lecturers, technology
presenters, as well as other researchers and practitioners who are
interested in the generation and the transformation of programs, data,
models, meta-models, and documentation. This concerns many areas of
software engineering: software reverse and re-engineering,
model-driven approaches, automated software engineering, generic
language technology, to name a few. These areas differ with regard to
the specific sorts of meta-models (or grammars, schemas, formats etc.)
that underlie the involved artifacts, and with regard to the specific
techniques that are employed for the generation and the transformation
of the artifacts.  The tutorials are given by renowned representatives
of complementary approaches and problem domains. Each tutorial
combines foundations, methods, examples, and tool support. The program
of the summer school also features invited technology presentations,
which present setups for generative and transformational
techniques. These presentations complement each other in terms of the
chosen application domains, case studies, and the underlying
concepts. The program of the school also features a participants
workshop. All summer school material will be collected in proceedings
that are handed out to the participants. Formal proceedings will be
compiled after the summer school, where all contributions are
subjected to additional reviewing.

The formal proceedings of the previous two instances of the summer
school (2005 and 2007) were published as volumes 4143 and 5235 in the
Lecture Notes in Computer Science series of Springer-Verlag.


TUTORIALS

* Software Product Line Refactoring
  Paulo Borba, Universidade Federal de Pernambuco, Recife, Brazil
  
* The TXL Source Transformation Cookbook
  James R. Cordy, Queen's University, Kingston, Canada

* Chasing Diagrams in the Mapping Forests of Model Transformations
  Zinovy Diskin, University of Waterloo and Univ. of Toronto, Canada

* Generating Language Tools with JastAdd
  Görel Hedin, Lund Institute of Technology, Sweden.

* Model Driven Language Engineering with Kermeta
  Jean-Marc Jézéquel, IRISA, Rennes, France

* Rascal: Meta-programming Made Easy
  Paul Klint, CWI and Universiteit van Amsterdam, Netherlands

* Sourcerer: Slicing and Dicing Large Amounts of Open Source Code
  Cristina Videira Lopes, University of California, Irvine, USA

* The Theory and Practice of Modeling Language Design for
Model-Based Engineering
  Bran Selic, Malina Software Corp., Canada


ORGANIZATION COMMITTEE

* João M. Fernandes (Program Co-Chair), Univ. do Minho, Portugal
* Ralf Lämmel (Program Co-Chair), Univ. Koblenz-Landau, Germany
* João Saraiva, Universidade do Minho, Portugal
* Joost Visser, Software Improvement Group, The Netherlands


ADDITIONAL INFORMATION

For additional information on the program, venue, and other details of
the summer school, please consult the web page:

http://gttse.wikidot.com/

For remaining questions please contact gttse2009 AT di.uminho.pt.






___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] Re: Marketing Haskell

[Marc A. Ziegert]

slow and lazy... that's me, too. but haskell is not slow.


how about an octopus?

there are some kinds (or all?), which are more chameleon like than real 
chameleons; they can look like strange fishes, stones, or whatever.
they have a decentralized brain (like multi core), are really intelligent (can 
even open cucumber glasses, but probably not 100 bottles of beer) and are from 
the stronger types of animals; strong because they save their energy (glucose 
and oxygen) in their blood for times when they need it -- like being lazy but 
fast.
they can swim backwards and can squeeze themself through holes of the size of 
their own eyes -- reminds me of javascript as backend.
and they are funny and cool: they squirt water at you like dolphins -- the 
"Quotes of the Week" are funny and cool, too, but you have to wet yourself.

imho, you can compare them to handy parrots (but mute) with colour/sign 
language and chameleon features. and they know some ninja arts; inky, but 
ninjas are cool.

some videos:
The Indonesian Mimic Octopus 
One Very Clever Octopus 
Skilled octopus opens bottles 
Octopus escaping through a one inch hole 

Wow! Giant octopus - extreme animals - BBC wildlife 

Pulpos: suave inteligencia (Octopus intelligence) 


- marc



Am Donnerstag, 2. April 2009 schrieb Bulat Ziganshin:
> Hello Benjamin,
> 
> Thursday, April 2, 2009, 2:54:38 PM, you wrote:
> 
> > Likewise.  Why don't we ask the real Simon to choose an additional
> > mascot for Haskell?  Something slow and lazy would do
> 
> i propose myself...
> 
> -- 
> Best regards,
>  Bulatmailto:bulat.zigans...@gmail.com
> 
> ___
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
> 




signature.asc
Description: This is a digitally signed message part.
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] Re: ANNOUNCE: GHC version 6.10.2

[Benjamin L . Russell]

On Thu, 02 Apr 2009 10:42:50 +0100, Duncan Coutts
 wrote:

>On Thu, 2009-04-02 at 13:47 +0900, Benjamin L.Russell wrote:
>> On Wed, 1 Apr 2009 18:48:13 -0700, Lyle Kopnicky 
>> wrote:
>> 
>> >Great! But what happened to the time package? It was in 6.10.1. Has it been
>> >intentionally excluded from 6.10.2?
>
>Yes, the maintainer of the time package asked for it to be removed:
>
>> Can I remove the time package from the GHC build process? I
>> want to update it but I don't want to deal with GHC's
>> autotools stuff or break the GHC build.
>
>
>> Then I should probably hold off on installing the new version for now.
>> Any estimate on when this problem will be fixed?
>
>The time package will be part of the first platform release (assuming we
>get enough volunteers to do the platform release!)
>
>In the mean time you can just:
>
>$ cabal install time

Okay; no problem.

I just read through the Release notes for version 6.10.2 (see
http://haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-2.html),
however, and noticed that the removal of the time package hadn't been
documented there.  Perhaps this information should be included?

-- Benjamin L. Russell
-- 
Benjamin L. Russell  /   DekuDekuplex at Yahoo dot com
http://dekudekuplex.wordpress.com/
Translator/Interpreter / Mobile:  +011 81 80-3603-6725
"Furuike ya, kawazu tobikomu mizu no oto." 
-- Matsuo Basho^ 

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ANNOUNCE: fad 1.0 -- Forward Automatic Differentiation library

[Bjorn Buckwalter]

I'm pleased to announce the initial release of the Haskell fad
library, developed by Barak A. Pearlmutter and Jeffrey Mark Siskind.
Fad provides Forward Automatic Differentiation (AD) for functions
polymorphic over instances of 'Num'. There have been many Haskell
implementations of forward AD, with varying levels of completeness,
published in papers and blog posts[1], but alarmingly few of these
have made it into hackage -- to date Conal Elliot's vector-spaces[2]
package is the only one I am aware of.

Fad is an attempt to make as comprehensive and usable a forward AD
package as is possible in Haskell. However, correctness is given
priority over ease of use, and this is in my opinion the defining
quality of fad. Specifically, Fad leverages Haskell's expressive
type system to tackle the problem of _perturbation confusion_,
brought to light in Pearlmutter and Siskind's 2005 paper "Perturbation
Confusion and Referential Transparency"[3]. Fad prevents perturbation
confusion by employing type-level "branding" as proposed by myself
in a 2007 post to haskell-cafe[4]. To the best of our knowledge all
other forward AD implementations in Haskell are susceptible to
perturbation confusion.

As this library has been in the works for quite some time it is
worth noting that it hasn't benefited from Conal's ground-breaking
work[5] in the area. Once we wrap our heads around his beautiful
constructs perhaps we'll be able to borrow some tricks from him.

As mentioned already, fad was developed primarily by Barak A.
Pearlmutter and Jeffrey Mark Siskind. My own contribution has been
providing Haskell infrastructure support and wrapping up loose ends
in order to get the library into a releasable state. Many thanks
to Barak and Jeffrey for permitting me to release fad under the BSD
license.

Fad resides on GitHub[6] and hackage[7] and is only a "cabal install
fad" away! What follows is Fad's README, refer to the haddocks for
detailed documentation.

Thanks,
Bjorn Buckwalter


[1] http://www.haskell.org/haskellwiki/Functional_differentiation
[2] http://www.haskell.org/haskellwiki/Vector-space
[3]:  http://www.bcl.hamilton.ie/~qobi/nesting/papers/ifl2005.pdf
[4]: http://thread.gmane.org/gmane.comp.lang.haskell.cafe/22308/
[5]: http://conal.net/papers/beautiful-differentiation/
[6] http://github.com/bjornbm/fad/
[7] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/fad




   Copyright  : 2008-2009, Barak A. Pearlmutter and Jeffrey Mark Siskind
   License: BSD3

   Maintainer : bjorn.buckwal...@gmail.com
   Stability  : experimental
   Portability: GHC only?

Forward Automatic Differentiation via overloading to perform
nonstandard interpretation that replaces original numeric type with
corresponding generalized dual number type.

Each invocation of the differentiation function introduces a
distinct perturbation, which requires a distinct dual number type.
In order to prevent these from being confused, tagging, called
branding in the Haskell community, is used.  This seems to prevent
perturbation confusion, although it would be nice to have an actual
proof of this.  The technique does require adding invocations of
lift at appropriate places when nesting is present.

For more information on perturbation confusion and the solution
employed in this library see:




Installation

To install:
cabal install

Or:
runhaskell Setup.lhs configure
runhaskell Setup.lhs build
runhaskell Setup.lhs install


Examples

Define an example function 'f':

> import Numeric.FAD
> f x = 6 - 5 * x + x ^ 2  -- Our example function

Basic usage of the differentiation operator:

> y   = f 2  -- f(2) = 0
> y'  = diff f 2 -- First derivative f'(2) = -1
> y'' = diff (diff f) 2  -- Second derivative f''(2) = 2

List of derivatives:

> ys = take 3 $ diffs f 2  -- [0, -1, 2]

Example optimization method; find a zero using Newton's method:

> y_newton1 = zeroNewton f 0   -- converges to first zero at 2.0.
> y_newton2 = zeroNewton f 10  -- converges to second zero at 3.0.


Credits
===
Authors: Copyright 2008,
Barak A. Pearlmutter  &
Jeffrey Mark Siskind 

Work started as stripped-down version of higher-order tower code
published by Jerzy Karczmarczuk 
which used a non-standard standard prelude.

Initial perturbation-confusing code is a modified version of


Tag trick, called "branding" in the Haskell community, from
Bjorn Buckwalter 



___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] CfP: Fourth Working Conference on Programming Languages (ATPS'09)

[Janis Voigtlaender]

   Fourth Working Conference on Programming Languages (ATPS'09)
   ~~
  http://www-ps.informatik.uni-kiel.de/atps09/

   Part of the 39th annual conference of the
   German Gesellschaft für Informatik
   Luebeck (Germany), 28.9.-2.10. 2009

The conference aims at bringing together researchers and developers
interested in the area of programming languages. The conference addresses
all paradigms of programming languages: imperative, object-oriented,
functional, logic, concurrent, parallel, or graphical programming
languages, as well as languages to support the implementation of
distributed systems and concepts for the integration of different
paradigms. The first three Working Conferences on Programming Languages
took place as part of the annual computer science conferences
in Germany (Aachen 1997, Paderborn 1999, Ulm 2004).

Typical but not exclusive topics are:

 * Design of programming languages as well as domain-specific languages
 * Implementation and optimization techniques
 * Analysis and transformation of programs
 * Type systems
 * Semantics and specification techniques
 * Modelling languages, object orientation
 * Internet programming
 * Verification of programs and implementations
 * Tools and programming environments
 * Frameworks, architectures, generative approaches
 * Experiences with specific applications
 * Relations between languages, architectures, processors

Techniques, methods, concepts, and tools to improve the safety
and reliability of programs are also of interest. The conference
also welcomes contributions from enterprises.


Submissions:

Submitted papers must be written in English or German and should
contain unpublished works. Contributions will be judged by
relevance, originality, correctness, and readability.
The significance should be clearly stated and compared to
existing works.

Contributions should not exceed 15 pages (LNI style, see
http://www.gi-ev.de/service/publikationen/lni/autorenrichtlinien/).
They must be submitted in PostScript or PDF format until
April 26, 2009. Detailed information about the electronic submission
is available at the web page of the conference:
http://www-ps.informatik.uni-kiel.de/atps09/

It is also intended to organize a session with short presentations about
unfinished projects and experience reports. Such short contributions
should be clearly marked and submitted like other contributions
as an extended abstract of no more than five pages.

The accepted papers will be published in the proceedings of
the general conference that consists of printed proceedings
that will appear in the GI-Edition Lecture Notes in Informatics (LNI)
with one-page abstracts and a CD containing the full papers.


Import Dates:
~
Submission of contributions:  April 26, 2009
Notification of acceptance/rejection: May 25, 2009
Submission of camera-ready papers:July 1, 2009


Organization:
~
Walter Dosch (University of Luebeck, do...@isp.uni-luebeck.de)
Michael Hanus(University of Kiel, m...@informatik.uni-kiel.de)


Program Committee:
~~
Walter Dosch (Univ. Luebeck, Co-Chair)
Wolfgang Goerigk (b+m Informatik AG)
Juerg Gutknecht (ETH Zuerich)
Michael Hanus (Univ. Kiel, Co-Chair)
Martin Hofmann (Univ. Muenchen)
Petra Hofstedt (TU Berlin)
Frank Huch (Univ. Kiel)
Jens Knoop (TU Wien)
Herbert Kuchen (Univ. Muenster)
Rita Loogen (Univ. Marburg)
Markus Mueller-Olm (Univ. Muenster)
Helmuth Partsch (Univ. Ulm)
Peter Pepper (TU Berlin)
Martin Pluemicke (BA Stuttgart)
Arnd Poetzsch-Heffter (Univ. Kaiserslautern)
Peter Thiemann (Univ. Freiburg)
Janis Voigtlaender (TU Dresden)
Wolf Zimmermann (Univ. Halle)


Information about the main conference:
http://www.informatik2009.de



___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] Re: Marketing Haskell

[Bulat Ziganshin]

Hello Benjamin,

Thursday, April 2, 2009, 2:54:38 PM, you wrote:

> Likewise.  Why don't we ask the real Simon to choose an additional
> mascot for Haskell?  Something slow and lazy would do

i propose myself...

-- 
Best regards,
 Bulatmailto:bulat.zigans...@gmail.com

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Re: Marketing Haskell

[Benjamin L . Russell]

On Wed, 01 Apr 2009 07:24:54 -0700, Jonathan Cast
 wrote:

>The sad thing is, despite the form of this message, I entirely agree
>with the content...

Likewise.  Why don't we ask the real Simon to choose an additional
mascot for Haskell?  Something slow and lazy would do

-- Benjamin L. Russell
-- 
Benjamin L. Russell  /   DekuDekuplex at Yahoo dot com
http://dekudekuplex.wordpress.com/
Translator/Interpreter / Mobile:  +011 81 80-3603-6725
"Furuike ya, kawazu tobikomu mizu no oto." 
-- Matsuo Basho^ 

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] Re: ANNOUNCE: GHC version 6.10.2

[Duncan Coutts]

On Thu, 2009-04-02 at 13:47 +0900, Benjamin L.Russell wrote:
> On Wed, 1 Apr 2009 18:48:13 -0700, Lyle Kopnicky 
> wrote:
> 
> >Great! But what happened to the time package? It was in 6.10.1. Has it been
> >intentionally excluded from 6.10.2?

Yes, the maintainer of the time package asked for it to be removed:

> Can I remove the time package from the GHC build process? I
> want to update it but I don't want to deal with GHC's
> autotools stuff or break the GHC build.


> Then I should probably hold off on installing the new version for now.
> Any estimate on when this problem will be fixed?

The time package will be part of the first platform release (assuming we
get enough volunteers to do the platform release!)

In the mean time you can just:

$ cabal install time


Duncan

___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell