April 2008 - Haskell - Haskell.org

Continuation Fest 2008: Call for Participation
by oleg＠okmij.org 08 Apr '08

08 Apr '08

[Conrad Parker's presentation below will talk about continuations in Haskell] Continuation Fest 2008: Call for Participation http://logic.cs.tsukuba.ac.jp/Continuation/ Date: Sunday April 13, 2008. Place: Akihabara-Daibiru Building, 13th Floor, Tokyo, Japan. (Akihabara Site of the University of Tokyo, http://www.i.u-tokyo.ac.jp/map/index_e.shtml#aki) Program (tentative): 13:00-13:05 Opening Session 1. Demonstrating continuations 13:05-13:45 Kenichi Asai (Ochanomizu) Typing printf 13:45-14:25 Oleg Kiselyov Demo of persistent delimited continuations in OCaml for nested web transactions (break) Session 2. Applying continuations 14:35-15:05 Katsutoshi Itoh (Kahua project) Various use of continuations in Kahua - Application in practical web programming experience 15:05-15:35 Rui Otake (Tohoku) Delimited continuations in the grammar of Japanese 15:35-16:00 Conrad Parker (Kyoto) Continuations for video decoding and scrubbing 16:00-16:25 Takuo Watanabe (Titech) and Yuichi Tanaka Continuing from the past: An approach to building dynamically upgradable applications (break) Session 3. Implementing continuations 16:35-17:15 Shinji Kono (Ryukyu) How to implement continuation only language in gcc 4.x 17:15-17:55 Koichi Sasada (Tokyo) Ruby Continuations 17:55-18:00 Closing 18:30- Dinner Participation: No registration or participation fee is needed to attend Continuation Fest except the dinner. Those who join the dinner are encouraged to send an e-mail to the organizer by April 11th. Program committee: Chris Barker (New York), Shiro Kawai (Scheme Arts), Oleg Kiselyov (FNMOC), Chung-chieh Shan (Chair, Rutgers), Taiichi Yuasa (Kyoto) Organizers: Kenichi Asai (Ochanomizu), Yukiyoshi Kameyama (Chair, Tsukuba), Takahiro Kido (shelarcy) Inquiries: CF2008(a)logic.cs.tsukuba.ac.jp

1 0

LFMTP'08: 2nd Call for Papers
by Andreas Abel 07 Apr '08

07 Apr '08

Update: - invited speaker: Dale Miller - submission server now open (abstract deadline: 14 April) International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'08) http://www4.in.tum.de/~lfmtp Pittsburgh, PA, USA, 23 June 2008 Affiliated with Logic in Computer Science (LICS 2008) 2nd CALL FOR PAPERS Important dates: --------------------------------------------------------------------- Abstract submission: 14 April 2008 Paper submission: 21 April 2008 Author notification: 19 May 2008 Final version: 2 June 2008 Workshop day: 23 June 2008 --------------------------------------------------------------------- The LFMTP workshop continues the International workshop on Logical Frameworks and Meta-languages (LFM) and the MERLIN workshop on MEchanized Reasoning about Languages with variable BIndingIN. Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation on the one hand and their applications in for example proof-carrying code have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks and variable binding. The broad subject areas of LFMTP'08 are: * The automation and implementation of the meta-theory of programming languages and related calculi, particularly work which involves variable binding and fresh name generation. * The theoretical and practical issues concerning the encoding of variable binding and fresh name generation, especially the representation of, and reasoning about, datatypes defined from binding signatures. * Case studies of meta-programming, and the mechanization of the (meta)theory of descriptions of programming languages and other calculi. Papers focusing on logic translations and on experiences with encoding programming languages theory are particularly welcome. Topics include, but are not limited to * logical framework design * meta-theoretic analysis * applications and comparative studies * implementation techniques * efficient proof representation and validation * proof-generating decision procedures and theorem provers * proof-carrying code * substructural frameworks * semantic foundations * methods for reasoning about logics * formal digital libraries Invited Speaker: Dale Miller (Laboratoire d'Informatique, INRIA Saclay) Program Committee: Andreas Abel (LMU Munich) Peter Dybjer (Chalmers University of Technology) Alberto Momigliano (University of Edinburgh) Brigitte Pientka (McGill University) Randy Pollack (University of Edinburgh) Carsten Schuermann (IT University of Copenhagen) Peter Sewell (University of Cambridge) Aaron Stump (Washington University) Christian Urban (TU Munich) Three categories of papers are solicited: * Category A: Detailed and technical accounts of new research: up to fifteen pages including bibliography. * Category B: Shorter accounts of work in progress and proposed further directions, including discussion papers: up to eight pages including bibliography and appendices. * Category C: System descriptions presenting an implemented tool and its novel features: up to six pages. A demonstration is expected to accompany the presentation. Submission is electronic. Authors are required to submit a paper title and a short abstract of about 100 words before submitting the paper. Papers are to be submitted in postscript or PDF format and must conform to the ENTCS style preferably using LaTeX2e. For further information and submission instructions, see the LFMTP web page: http://www4.in.tum.de/~lfmtp Proceedings are to be published as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series and will be available to participants at the workshop. Authors of accepted papers are expected to present their paper at the workshop. The organizers: Andreas Abel Christian Urban Theoretical Computer Science Institute for Computer Science Ludwig-Maximilians-University Munich Technical University of Munich Email: andreas.abel(a)ifi.lmu.de Email: urbanc(a)in.tum.de -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich http://www.tcs.informatik.uni-muenchen.de/~abel/

1 0

REMINDER: Next Hackathon (Hac4) starts in 4 days
by Thomas Schilling 07 Apr '08

07 Apr '08

Hi Haskell Hackers! There are only 4 days left until the fourth Hackathon (http:// www.haskell.org/haskellwiki/Hac4) at Chalmers University in Gothenburg, Sweden. If you haven't registered, yet, please do so now! Registration deadline: Tuesday, April 8, 2008 To register, go to http://www.haskell.org/haskellwiki/Hac4/Register and follow the steps. For all those already registered, here's a short (not nearly complete) checklist: * Make sure you have an account on code.haskell.org. (See http:// www.haskell.org/haskellwiki/Hac4/Projects for how to do that.) * Decide what to work on if you haven't yet. (See http:// www.haskell.org/haskellwiki/Hac4/Projects for ideas.) * Make sure your laptop is working and that you take all required extra equipment. (If your wireless driver sucks, we can probably find some cables and a switch here.) * It would be good to have all the code you want to work on already on your computer. Also make sure it builds with your compiler version. If your distro doesn't have binaries, maybe install some software in advance, like Gobby or profiled versions of GHC, newest version of gtk2hs or whatever seems appropriate. It would just be a shame to waste hours of precious hacking time. * Make a backup. Just in case. ;) * Many hostels want a confirmation a few days before arrival, don't forget. * If you need some phone numbers of locals, check the wiki site, if you need some more help from us locals, you can ask us at our IRC channel #haskell-hac4. We're looking forward to a fun weekend! / The Hac4 Team

1 0

ANNOUNCE: Well-Typed LLP - The Haskell Consultants
by Ian Lynagh 07 Apr '08

07 Apr '08

Fellow Haskellers, We (Björn Bringert, Duncan Coutts and Ian Lynagh) are pleased to announce that we have recently set up a Haskell consultancy company, Well-Typed LLP (http://www.well-typed.com/) Our services include application development, library and tool maintenance, project advice, and training. Please see our website or drop us an e-mail for more details. We look forward to hearing from you in the future! -- Björn Bringert, Duncan Coutts, Ian Lynagh http://www.well-typed.com/ info(a)well-typed.com

1 0

ANN: Hayoo! beta 0.1
by Timo B. Hübel 07 Apr '08

07 Apr '08

Hello, we are pleased to announce the first beta release of Hayoo!, a Haskell API search engine providing advanced features like suggestions, find-as-you-type, fuzzy queries and much more. Visit Hayoo! here: http://holumbus.fh-wedel.de/hayoo Please bear in mind that this is still a beta release and we are continuously working on further improvements. Our plans for the future include: - Covering all documentation available at Hackage. - Compatibility with non-JavaScript enabled browsers. - Providing a web interface where people can point Hayoo! to an URI linking to Haddock documentation which will be automatically included in Hayoo!. Hayoo! was developed as a use-case for the Holumbus framework, which aims to help at the creation of very flexible and highly specialized search engines. Although Holumbus is still under heavy development and we have no official release yet, some informations and a Darcs repository are available at the Holumbus homepage: http://holumbus.fh-wedel.de Any suggestions and feedback is highly welcomed. Cheers, Timo B. Hübel & Sebastian M. Schlatt

2 1

DEFUN08: Call for Talks & Tutorials (co-located w/ ICFP08)
by Matthew Fluet (ICFP Publicity Chair) 06 Apr '08

06 Apr '08

Call for Talks and Tutorials ACM SIGPLAN 2008 Developer Tracks on Functional Programming http://www.deinprogramm.de/defun-2008/ Victoria, BC, Canada, 25, 27 September, 2008 The workshop will be held in conjunction with ICFP 2008. http://www.icfpconference.org/icfp2008/ Important dates Proposal Deadline: June 27, 2008, 0:00 UTC Notification: July 14, 2008 DEFUN 2008 invites functional programmers who know how to solve problems with functional prorgamming to give talks and lead tutorials at the The ICFP Developer Tracks. We want to know about your favorite programming techniques, powerful libraries, and engineering approaches you've used that the world should know about and apply to other projects. We want to know how to be productive using functional programming, write better code, and avoid common pitfals. We invite proposals for presentations in the following categories: How-to talks: 45-minute "how-to" talks that provide specific information on how to solve specific problems using functional programming. These talks focus on concrete examples, but provide useful information for developers working on different projects or in different contexts. Examples: - "How I made Haskell an extension language for SAP R/3." - "How I replaced /sbin/init by a Scheme program." - "How I hooked up my home appliances to an Erlang control system." - "How I got an SML program to drive my BMW." General language tutorials Half-day general language tutorials for specific functional languages, given by recognized experts for the respective languages. Technology tutorials Half-day tutorials on techniques, technologies, or solving specific problems in functional programming such as: - how to make the best use of specific FP programming techniques - how to inject FP into a development team used to more conventional technologies - how to connect FP to existing libraries / frameworks / platforms - how to deliver high-performance systems with FP - how to deliver high-reliability systems with FP Remember that your audience will include computing professionals who are not academics and who may not already be experts on functional programming. Presenters of tutorials will receive free registration to ICFP 2008. Submission guidelines Submit a proposal of 150 words or less for either a 45-minute talk with a short Q&A session at the end, or a 300-word-or-less proposal for a 3-hour tutorial, where you present your material, but also give participants a chance to practice it on their own laptops. Some advice: - Give it a simple and straightforward title or name; avoid fancy titles or puns that would make it harder for attendees to figure out what you'll be talking about. - Clearly identify the level of the talk: What knowledge should people have when they come to the presentation or tutorial? - Explain why people will want to attend: is the language or library useful for a wide range of attendees? Is the pitfall you're identifying common enough that a wide range of attendees is likely to encounter it? - Explain what benefits attendees are expected to take home to their own projects. - For a tutorial, explain how you want to structure the time, and what you expect to have attendees to do on their laptops. List what software you'll expect attendees to have installed prior to coming. Submit your proposal in plain text electronically to defun-2008-submission-AT-deinprogramm.de by the beginning of Friday, June 27, Universal Coordinated Time. Organizers Kathleen Fisher AT&T Labs Simon Peyton Jones Microsoft Research Mike Sperber (co-chair) DeinProgramm Don Stewart (co-chair) Galois

1 0

LFMTP'08: 2nd Call for Papers
by Andreas Abel 05 Apr '08

05 Apr '08

Update: - invited speaker: Dale Miller - submission server now open (abstract deadline: 14 April) International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'08) http://www4.in.tum.de/~lfmtp Pittsburgh, PA, USA, 23 June 2008 Affiliated with Logic in Computer Science (LICS 2008) 2nd CALL FOR PAPERS Important dates: --------------------------------------------------------------------- Abstract submission: 14 April 2008 Paper submission: 21 April 2008 Author notification: 19 May 2008 Final version: 2 June 2008 Workshop day: 23 June 2008 --------------------------------------------------------------------- The LFMTP workshop continues the International workshop on Logical Frameworks and Meta-languages (LFM) and the MERLIN workshop on MEchanized Reasoning about Languages with variable BIndingIN. Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation on the one hand and their applications in for example proof-carrying code have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks and variable binding. The broad subject areas of LFMTP'08 are: * The automation and implementation of the meta-theory of programming languages and related calculi, particularly work which involves variable binding and fresh name generation. * The theoretical and practical issues concerning the encoding of variable binding and fresh name generation, especially the representation of, and reasoning about, datatypes defined from binding signatures. * Case studies of meta-programming, and the mechanization of the (meta)theory of descriptions of programming languages and other calculi. Papers focusing on logic translations and on experiences with encoding programming languages theory are particularly welcome. Topics include, but are not limited to * logical framework design * meta-theoretic analysis * applications and comparative studies * implementation techniques * efficient proof representation and validation * proof-generating decision procedures and theorem provers * proof-carrying code * substructural frameworks * semantic foundations * methods for reasoning about logics * formal digital libraries Invited Speaker: Dale Miller (Laboratoire d'Informatique, INRIA Saclay) Program Committee: Andreas Abel (LMU Munich) Peter Dybjer (Chalmers University of Technology) Alberto Momigliano (University of Edinburgh) Brigitte Pientka (McGill University) Randy Pollack (University of Edinburgh) Carsten Schuermann (IT University of Copenhagen) Peter Sewell (University of Cambridge) Aaron Stump (Washington University) Christian Urban (TU Munich) Three categories of papers are solicited: * Category A: Detailed and technical accounts of new research: up to fifteen pages including bibliography. * Category B: Shorter accounts of work in progress and proposed further directions, including discussion papers: up to eight pages including bibliography and appendices. * Category C: System descriptions presenting an implemented tool and its novel features: up to six pages. A demonstration is expected to accompany the presentation. Submission is electronic. Authors are required to submit a paper title and a short abstract of about 100 words before submitting the paper. Papers are to be submitted in postscript or PDF format and must conform to the ENTCS style preferably using LaTeX2e. For further information and submission instructions, see the LFMTP web page: http://www4.in.tum.de/~lfmtp Proceedings are to be published as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series and will be available to participants at the workshop. Authors of accepted papers are expected to present their paper at the workshop. The organizers: Andreas Abel Christian Urban Theoretical Computer Science Institute for Computer Science Ludwig-Maximilians-University Munich Technical University of Munich Email: andreas.abel(a)ifi.lmu.de Email: urbanc(a)in.tum.de -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich http://www.tcs.informatik.uni-muenchen.de/~abel/

1 0

Local Haskell Meeting Leipzig Germany April 18th (update)
by Johannes Waldmann 03 Apr '08

03 Apr '08

Dear all, updated information (schedule, venue) for "Haskell in Leipzig 3" (Friday, April 18th, that is, in two weeks time) is now available from http://www.iba-cg.de/hal3.html. Thrilling topics, beautiful venue - register now! Talks: Janis Voigtländer - Theorems for Free Bernd Holzmüller - Haskell tools for DSL compilation Lutz Donnerhacke - Haskell/SPARK libraries Jürgen Nicklisch-Franken - Making of Leksah Sponsors: ICS AG Stuttgart - http://www.ics-ag.de/ iba Consultig Gesellschaft Leipzig - http://iba-cg.de/ FIT Leipzig - http://www.fit-leipzig.de/ We'll also have the eclipsefp Hackathon but for that, registration is now *closed* (too many people - imagine that!) Still, you can contribute to this project anytime via http://leiffrenzel.de/eclipse/wiki/doku.php Best regards, Alf Richter and Johannes Waldmann.

1 0

EXTENSION: (SecReT 2008) 3rd Int'l Workshop on Security and Rewriting Techniques
by Santiago Escobar 03 Apr '08

03 Apr '08

******************************************************************** (DEADLINE EXTENSION) SecReT 2008 3rd International Workshop on Security and Rewriting Techniques http://www.dsic.upv.es/workshops/secret08 Sunday, June 22, 2008, Pittsburgh, USA Affiliated workshop of the 21st IEEE Computer Security Foundations Symposium (CSF) and the 23rd IEEE Symposium on Logic In Computer Science (LICS) IMPORTANT DATES Abstract Submission April 18, 2008 ********* Full Paper Submission April 20, 2008 ********* Acceptance Notification May 12, 2008 Camera Ready May 26, 2008 Workshop June 22, 2008 SCOPE The aim of this workshop is to bring together rewriting researchers and security experts, in order to foster their interaction and develop future collaborations in this area, provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. The workshop focuses on the use of rewriting techniques in all aspects of security. Specific topics include: authentication, encryption, access control and authorization, protocol verification, specification of policies, intrusion detection, integrity of information, control of information leakage, control of distributed and mobile code, etc. Previous instances of SecRet were held in 2006 (S. Servolo, Venice, Italy), and 2007 (Paris, France). LOCATION SecReT'08 will be held at Carnegie Mellon University in Pittsburgh, Pennsylvania, USA. The workshop is associated with the 21st IEEE Computer Security Foundations Symposium (CSF'08) and the 23rd IEEE Symposium on Logic in Computer Science (LICS'08). SUBMISSION PROCEDURE Submission is web-based via a link available in the main web page. Submissions must be received by April 6, 2008. In addition, a title and abstract must be submitted by March 31, 2008. Submitted papers should be at most 15 pages in the ENTCS style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. PUBLICATION Accepted papers will be published in a preliminary volume available during the workshop. After the workshop, a final version of the proceedings will be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKERS Hubert Comon Cachan, France Jonathan Millen MITRE, USA PROGRAM CO-CHAIRS Daniel Dougherty Worcester Polytechnic Institute, USA Santiago Escobar Technical University of Valencia, Spain PROGRAM COMMITTEE Pierpaolo Degano Pisa, Italy Daniel Dougherty Worcester, USA Santiago Escobar Valencia, Spain Maribel Fernandez King's College London, UK Thomas Genet IRISA Rennes, France Joshua Guttman MITRE, USA Catherine Meadows NRL, USA Monica Nesi L'Aquila, Italy Michael Rusinowitch Lorraine, France Ralf Treinen Paris-7, France ********************************************************************

1 0

Some old and quite old news.
by Serguey Zefirov 02 Apr '08

02 Apr '08

I'd like to let dear readers to know that I finally managed to put source code and some documentation related to modeling of digital circuits and whole systems. Most of the work was done in 2006 and 2007, so this is very old news. But I finally found time to put everything in more-or-less usable state and put it online (thanks to Max Taldykin, the host of Moskow HUG). I put it online a while ago so this is just old news. The SVN repository is here: http://thesz.mskhug.ru/browser/hiersort This is the model of multicore dynamic dataflow machine (with a twist), the draft paper about architecture under consideration and a presentation about the use of Haskell in modeling (almost) complete MIPS CPU with memory. The core of our modeling framework is here: http://thesz.mskhug.ru/browser/hiersort/core/S.hs The paper about dataflow machine is here: http://thesz.mskhug.ru/browser/hiersort/doc/sdd2.pdf And the presentation is here: http://thesz.mskhug.ru/browser/hiersort/doc/hhm-eng.pdf To summarize presentation content: we were able to deliver working model of MIPS CPU with working model of dynamic memory with memory controller in four months. The biggest roadblock encountered is the memory leak we couldn't get rid of. We often use Haskell to prototype various kinds of IP blocks and (parts of) computer architecture since that.

1 0