- Haskell - Haskell.org

Deadline extension: PPDP'10
by Temur Kutsia 15 Mar '10

15 Mar '10

====================================================================== PPDP 2010 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming Hagenberg, Austria, 26-28 July 2010 (co-located with LOPSTR 2010) http://www.risc.uni-linz.ac.at/conferences/ppdp2010/ ====================================================================== EXTENDED DEADLINES ----------------- Abstract submission: 21 March, 2010 Full paper: 25 March, 2010 ===================================================================== PPDP 2010 aims to bring together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will take place in July 2010 in the Castle of Hagenberg, Austria, colocated with the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), organised by the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. Topics: * Logic, Constraint, and Functional Programming * Database, AI and Knowledge Representation Languages * Visual Programming * Executable Specification Languages * Applications of Declarative Programming * Methodologies: Program Design and Development * Declarative Aspects of Object-Oriented Programming * Concurrent Extensions to Declarative Languages * Declarative Mobile Computing * Integration of Paradigms * Proof Theoretic and Semantic Foundations * Type and Module Systems * Program Analysis and Verification * Program Transformation * Abstract Machines and Compilation * Programming Environments The list above is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. Submission guidelines: Papers should be submitted via the Easychair submission website for PPDP 2010: http://www.easychair.org/conferences/?conf=ppdp2010 Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. They must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Proceedings: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. Camera ready papers for accepted papers should be prepared and submitted according to the final instructions that will be sent by the publisher after notification of acceptance. Invited Speakers: Maria Paola Bonacina (Università degli Studi di Verona, Italy) Sumit Gulwani (Microsoft Research) Important Dates: # Submission: title and abstract: 21 March 2010 (extended) full paper: 25 March 2010 (extended) # Notification: 23 April 2010 # Final version: 12 May 2010 # Symposium: 26-28 July 2010 Programme Committee: Elvira Albert (Spain) Sergio Antoy (US) Frederic Blanqui (China) Michele Bugliesi (Italy) Giuseppe Castagna (France) Mariangiola Dezani (Italy) Francois Fages (France) Maribel Fernandez (UK), chair Joxan Jaffar (Singapore) Andy King (UK) Temur Kutsia (Austria) Francisco Lopez Fraguas (Spain) Ian Mackie (France) Henrik Nilsson (UK) Albert Rubio (Spain) Kazunori Ueda (Japan) Philip Wadler (UK) Symposium Chairs: Temur Kutsia and Wolfgang Schreiner (Austria) For more information, please contact the chairs: Maribel Fernandez King's College London, UK Email: Maribel.Fernandez(a)kcl.ac.uk Temur Kutsia and Wolfgang Schreiner Research Institute for Symbolic Computation Johannes Kepler University Linz Email: kutsia(a)risc.uni-linz.ac.at

1 0

Summer School "Applied Functional Programming", 16-27 Aug 2010, Utrecht, NL
by Andres Loeh 15 Mar '10

15 Mar '10

[Feel free to advertise the school to others who might be interested.] Call for participation: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Utrecht Summer School in Computer Science: Applied Functional Programming August 16-27, 2010 Utrecht, The Netherlands ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We offer a summer school that may be interesting to Haskellers on this mailing list. We mainly target bachelor and master students, but others who are interested are also welcome to apply. The deadline for applications is May 1, 2010. More information: http://www.cs.uu.nl/wiki/USCS2010 If you have any questions, feel free to contact me. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de

1 0

Last CfP: PPDP'10
by Temur Kutsia 12 Mar '10

12 Mar '10

====================================================================== Call for Papers PPDP 2010 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming Hagenberg, Austria, 26-28 July 2010 (co-located with LOPSTR 2010) http://www.risc.uni-linz.ac.at/conferences/ppdp2010/ ====================================================================== PPDP 2010 aims to bring together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will take place in July 2010 in the Castle of Hagenberg, Austria, colocated with the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), organised by the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. Topics: * Logic, Constraint, and Functional Programming * Database, AI and Knowledge Representation Languages * Visual Programming * Executable Specification Languages * Applications of Declarative Programming * Methodologies: Program Design and Development * Declarative Aspects of Object-Oriented Programming * Concurrent Extensions to Declarative Languages * Declarative Mobile Computing * Integration of Paradigms * Proof Theoretic and Semantic Foundations * Type and Module Systems * Program Analysis and Verification * Program Transformation * Abstract Machines and Compilation * Programming Environments The list above is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. Submission guidelines: Papers should be submitted via the Easychair submission website for PPDP 2010: http://www.easychair.org/conferences/?conf=ppdp2010 Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. They must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Proceedings: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. Camera ready papers for accepted papers should be prepared and submitted according to the final instructions that will be sent by the publisher after notification of acceptance. Invited Speakers: Maria Paola Bonacina (Università degli Studi di Verona, Italy) Sumit Gulwani (Microsoft Research) Important Dates: # Submission: title and abstract: 15 March 2010 full paper: 21 March 2010 # Notification: 23 April 2010 # Final version: 12 May 2010 # Symposium: 26-28 July 2010 Programme Committee: Elvira Albert (Spain) Sergio Antoy (US) Frederic Blanqui (China) Michele Bugliesi (Italy) Giuseppe Castagna (France) Mariangiola Dezani (Italy) Francois Fages (France) Maribel Fernandez (UK), chair Joxan Jaffar (Singapore) Andy King (UK) Temur Kutsia (Austria) Francisco Lopez Fraguas (Spain) Ian Mackie (France) Henrik Nilsson (UK) Albert Rubio (Spain) Kazunori Ueda (Japan) Philip Wadler (UK) Symposium Chairs: Temur Kutsia and Wolfgang Schreiner (Austria) For more information, please contact the chairs: Maribel Fernandez King's College London, UK Email: Maribel.Fernandez(a)kcl.ac.uk Temur Kutsia and Wolfgang Schreiner Research Institute for Symbolic Computation Johannes Kepler University Linz Email: kutsia(a)risc.uni-linz.ac.at

1 0

ANNOUNCE: Bravo-0.1.0
by Matthias Reisner 11 Mar '10

11 Mar '10

Hello, I'm pleased to announce the first release of Bravo, a static text template generation library, on Hackage: http://hackage.haskell.org/package/Bravo. Bravo is a text template library that provides parsing and generation of templates at compile time. Templates can be read from strings or files and for each a new record data type is created, allowing convenient access to all template variables in a type-safe manner. Since all templates are processed at compile time, no extra file access or error handling at runtime is necessary. Bravo is inspired by the PHP template engine Smarty and the Haskell template library chunks. Compared to chunks, Bravo provides additional features like conditional template evaluation, embedding of Haskell expressions and customized data type generation. I'm going to add further information to the HaskellWiki page (http://www.haskell.org/haskellwiki/Bravo) later. Bravo is still highly experimental and not well-tested, so bug reports and additional feedback are very welcome. I'd also like to hear if you feel the package dependencies are to restrictive. Regards, Matthias Reisner

1 0

TFP 2010 - 3rd CFP: Submit papers by April 9, REGISTRATION IS OPEN
by TFP 2010 11 Mar '10

11 Mar '10

TFP 2010: 11th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING May 17-19, 2010 University of Oklahoma http://www.cs.ou.edu/tfp2010/ TFP 2010 is an international forum for researchers with interests in any aspect of functional programming. SUBMISSION and REGISTRATION DEADLINES April 9: Submission deadline (extended from April 2) April 16: Early registration deadline ($350, $200 for students) May 7: Late registration deadline ($425) May 17-19: TFP Symposium POST-SYMPOSIUM PROCEEDINGS Springer series: Lecture Notes in Computer Science Details about the event schedule, symposium scope, submissions, and registration may be found on the symposium website. http://www.cs.ou.edu/tfp2010/ (Web browser key "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. Submitted papers and extended abstracts are reviewed for presentation at the symposium, and a formal refereeing process after the symposium selects the best presentations for publication in the Springer series, Lecture Notes in Computer Science. We invite you to participate in TFP 2010. REGISTRATION IS OPEN! - Rex Page, University of Oklahoma, Program Chair - Viktia Zs and Zolt Horvath, Ev Lord University, Symposium Co-Chairs Sponsors: Erlang Solutions Ltd and The University of Oklahoma

1 0

ANNOUNCE: Harpy 0.4.2
by Dirk Kleeblatt 10 Mar '10

10 Mar '10

We are pleased to announce the release of Harpy 0.4.2, a library for runtime code generation for x86 machine code. Harpy is available from Hackage: http://hackage.haskell.org/package/harpy Following changes are new in this release: - The disassembler is now in a separate package, and is re-exported for compatibility by Harpy. This allows us to give the more liberal BSD license to the disassembler. See http://hackage.haskell.org/package/disassembler - The "mov", "jcc" (jump on condition code), and "cmp" instructions support "Ptr a" as operands. - Henning Thielemann provided some further floating point and SSE instructions. - The loop instruction supports labels now. Happy Haskell Hacking with Harpy, Martin and Dirk

1 0

ANN: gloss-1.0.0.2: Painless 2D vector graphics, animations and simulations.
by Ben Lippmeier 10 Mar '10

10 Mar '10

Gloss hides the pain of drawing simple vector graphics behind a nice data type and a few display functions. Gloss uses OpenGL and GLUT under the hood, but you won't have to worry about any of that. Get something cool on the screen in under 10 minutes. A simple animated example is: import Graphics.Gloss main = animateInWindow "My Window" (200, 200) (10, 10) white $ \time -> Rotate (time * 100) $ Color red $ Line [(0, 0), (100, 100)] "animateInWindow" first takes the name, size, position and background color of the window. The final argument is a function from the time (in seconds) from when the program started, to a picture. Once the window is open you can pan around, zoom and rotate the animation using the mouse. Pictures of more detailed examples are at: http://trac.haskell.org/gloss/ Try it out now with: cabal update cabal install gloss cabal install gloss-examples gloss-styrene then right-click drag to rotate the box.. Ben.

1 0

Re: [Haskell-cafe] generalized newtype deriving allows the definition of otherwise undefinable functions
by John Meacham 09 Mar '10

09 Mar '10

On Tue, Mar 09, 2010 at 09:56:45AM -0500, Jan-Willem Maessen wrote: > It occurs to me to observe: if we give class constraints in data types some force, and write: > > data Ord a => Set a = ...[internals go here]... > > Would this be enough to cue us that Set has a more interesting kind than just * -> * ? Yes. I was thinking something along the same lines. Could this just be another example of contravariance flipping the meaning of quantification? If we take the simpler example given: > class Iso a where > conv :: item a -> item Int let's give the whole type > class Iso a where > conv :: forall (item :: * -> *) . item a -> item Int It seems to me the issue may not be with newtype deriving, but with that universal quantification over a type constructor. If we were to declare 'Set' like so > data Ord a => Set a = ... like Jan-Willem suggests, then it seems that 'Set' should not be able to unify with 'item' since it has the extra 'Ord' consraint on the contravariant argument to item and item is universally quantified. Item would need a psuedo-type like (Ord a => item :: a -> *) to match. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/

1 0

GT-VMT 2010: cfp
by Emilio Tuosto 09 Mar '10

09 Mar '10

================================================================ Call for Participation 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010) http://www.cs.le.ac.uk/events/gtvmt10/ Satellite Event of ETAPS 2010, Cyprus -- March 20-21, 2010 ============================================================== * Scope * GT-VMT 2010 is the ninth workshop of a series that serves as a forum for all researchers and practitioners interested in the use of graph-based notation, techniques, and tools for the specification, modeling, validation, manipulation and verification of complex systems. The aim of the workshop is to promote engineering approaches that provide effective sound tool support for visual modeling languages, enhancing formal reasoning at the semantic level (e.g., for model analysis, transformation, and consistency management) in different domains, such as UML, Petri nets, Graph Transformation or Business Process/Workflow Models. * Workshop Program SATURDAY 20 MARCH 2010 9:00-9:15 Opening 9:15-10:30 Invited talk: Fernando Orejas: Symbolic Attributed Graphs and Attributed Graph Transformation 10:30-11:00 Break 11:00-12:30 Session on Foundations Maarten de Mol and Arend Rensink. A Graph Representation for Ordered Edges. Davide Grohmann and Marino Miculan. Graph Algebras for Bigraphs. Christoph Blume, Sander Bruggink, and Barbara K�nig. Recognizable Graph Languages for Checking Invariants. 12:30-14:00 Lunch 14:00-15:30 Session on Modeling and Modeling Environments Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara K�nig. Efficient Process Analysis of Transformation Systems Based on Petri nets. Berthold Hoffmann and Mark Minas. Defining Models - Meta Models versus Graph Gammars. Torsten Strobl and Mark Minas. Specifying and generating editing environments for interactive animated visual models. 15:30-16:00 Break 16:00-17:00 Session on Interactions Vojtech Rehak, Petr Slovak, Jan Strejcek, and Loic Helouet. Decidable Race Condition and Open Coregions in HMSC. Abubakar Hassan, Ian Mackie, and Shinya Sato. A light-weight abstract machine for interaction nets. 17:00-17:30 Discussion SUNDAY 21 MARCH 2010 9:30-11:00 Session on Model Transformation Eugene Syriani and Hans Vangheluwe. De-/Re-constructing Model Transformation Languages. Bernhard Schaetz. Verification of Model Transformations. Paolo Bottoni, Andrew Fish, and Francesco Parisi-Presicce. Preserving constraints in horizontal model transformations. 11:00-11:30 Break 11:30-12:30 Session on Foundations Paolo Torrini, Reiko Heckel, Istvan Rath, and Gabor Bergmann. Stochastic Graph Transformation with Regions. Wolfram Kahl. Cotabulations, Bicolimits and Van-Kampen Squares in Collagories. 12:30-14:00 Lunch * Workshop organizers Jochen Kuester, IBM Research, Switzerland Emilio Tuosto, University of Leicester, UK * Program Committee Paolo Baldan (University of Padova, Italy) Artur Boronat (University of Leicester, UK) Andrea Corradini (University of Pisa, Italy) Claudia Ermel (TU Berlin, Germany) Gregor Engels (University of Paderborn, Germany) Reiko Heckel (University of Leicester, UK) Thomas Hildebrandt (ITU, Denmark) Holger Giese (HPI Potsdam, Germany) Barbara K�nig (University of Duisburg-Essen, Germany) Jochen K�ster (IBM Research - Zurich, Germany) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Juan de Lara (Universidad Aut�noma de Madrid, Spain) Mark Minas (Universit�t der Bundeswehr M�nchen, Germany) Francesco Parisi-Presicce (University of Rome, Italy) Arend Rensink (University of Twente, Netherlands) Gabriele Taentzer (University of Marburg, Germany) Emilio Tuosto (University of Leicester, UK) D�niel Varr� (TU Budapest, Hungary) Erhard Weinell (RWTH Aachen University, Germany) Albert Z�ndorf (University of Kassel, Germany) * More information on the workshop is available through the webpage: http://www.cs.le.ac.uk/events/gtvmt10/ -- *************************************************************** Emilio Tuosto Department of Computer Science University of Leicester Leicester, LE1 7RH United Kingdom Tel. +44 (0) 116 252 5392 Fax. +44 (0) 116 252 3915 homepage -> http://www.cs.le.ac.uk/people/et52 ***************************************************************

1 0

ANN: hsndfile 0.4
by stefan kersten 09 Mar '10

09 Mar '10

i'm pleased to announce version 0.4 of hsndfile [1], a haskell interface to libsndfile [2]. in version 0.4 the buffer i/o interface has been simplified and instances for i/o based on the vector package [3] is provided by hsndfile-vector [4]. enjoy! <sk> [1] http://haskell.org/haskellwiki/Hsndfile [2] http://www.mega-nerd.com/libsndfile/ [3] http://hackage.haskell.org/package/vector [4] http://hackage.haskell.org/package/hsndfile-vector

1 0