May 2009 - Haskell - Haskell.org

Fun with type functions
by Simon Peyton-Jones 14 May '09

14 May '09

Friends Ken, Oleg, and I have been working on a tutorial paper about type families (aka associated data types, or type functions). It's in draft at the moment, and we'd really appreciate feedback that would help us improve it. Here it is: http://haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns Thank you! Simon

1 0

FLOPS 2010: Preliminary Call for Papers
by Matthias Blume 13 May '09

13 May '09

---------------------------------------------------------------------------- PRELIMINARY CALL FOR PAPERS Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) April 19-21, 2010 Sendai, Japan http://www.kb.ecei.tohoku.ac.jp/flops2010 Submission deadline: October 16, 2009 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), and Ise (2008). 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. Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2008) were published as LNCS 4989. INVITED SPEAKERS TBD PC CO-CHAIRS Matthias Blume (TTI, Chicago, USA) German Vidal (Technical University of Valencia, Spain) CONFERENCE CHAIR Naoki Kobayashi (Tohoku University, Sendai, Japan) PC MEMBERS Nick Benton (Microsoft Research, Cambridge, UK) Manuel Chakravarty (University of New South Wales, Australia) Michael Codish (Ben-Gurion University of the Negev, Israel) Bart Demoen (Katholieke Universiteit Leuven, Belgium) Agostino Dovier (University of Udine, Italy) John P. Gallagher (Roskilde University, Denmark) Maria Garcia de la Banda (Monash University, Australia) Michael Hanus (University of Kiel, Germany) Atsushi Igarashi (Kyoto University, Japan) Patricia Johann (Rutgers University, USA) Shin-ya Katsumata (Kyoto University, Japan) Michael Leuschel (University of Dusseldorf, Germany) Francisco Lopez-Fraguas (Complutense University of Madrid, Spain) Paqui Lucio (University of the Basque Country, Spain) Yasuhiko Minamide (University of Tsukuba, Japan) Frank Pfenning (Carnegie Mellon University, USA) Francois Pottier (INRIA, France) Tom Schrijvers (Katholieke Universiteit Leuven, Belgium) Chung-chieh "Ken" Shan (Rutgers University, USA) Zhong Shao (Yale University, USA) Jan-Georg Smaus (University of Freiburg, Germany) Nobuko Yoshida (Imperial College London, UK) LOCAL CHAIR Eijiro Sumii (Tohoku University, Sendai, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at http://www.easychair.org/conferences/?conf=flops2010 IMPORTANT DATES Submission deadlines: - Abstract: October 16, 2009 - Paper: October 23, 2009 Author notification: December 21, 2009 Camera-ready copy: January 24, 2010 Conference: April 19-21, 2010 PLACE Sendai, Japan Some previous FLOPS: FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR TBA IN COOPERATION with TBA ----------------------------------------------------------------------------

1 0

International Summer School on Advances in Programming Languages (precedes ICFP'09)
by Matthew Fluet (ICFP Publicity Chair) 13 May '09

13 May '09

International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland http://www.macs.hw.ac.uk/~greg/ISS-AiPL Overview ~~~~~~~~ This four-day residential International Summer School on Advances in Programming Languages has a major theme of Concurrency, Distribution, and Multicore. Intended primarily for postgraduate research students, the School offers lectures and practical sessions on an engaging blend of cutting edge theoretical and practical techniques from international experts. The Summer School is supported by the Scottish Informatics and Computer Science Alliance (http://www.sicsa.ac.uk/) a Scottish Funding Council Research Pool. Participants from SICSA member institutions may attend at no cost. Confirmed Topics/Speakers * Static and dynamic languages, Prof Philip Wadler, University of Edinburgh * Compiler technology for data-parallel languages, Dr Sven-Bodo Scholz, University of Hertfordshire * New applications of parametricity, Dr Janis Voigtlander, Technical University of Dresden * Automatic vectorising compilation, Dr Paul Cockshott, University of Glasgow * Foundational aspects of size analysis, Prof Marko van Eekelen / Dr Olha Shakaravska, Radboud University Nijmegen * Context oriented programming, Dr Pascal Costanza, Vrije Universiteit Brussels * Multi-core programming, Dr Phil Trinder, Heriot-Watt University * Multi-core compilation, Dr Alastair Donaldson, Codeplay Software Ltd * Principles and Applications of Refinement Types, Dr Andrew D. Gordon, Microsoft Research, Cambridge * Resource aware programming in Hume, Prof Greg Michaelson, Heriot-Watt University / Prof Kevin Hammond, University of St Andrews * Haskell concurrency & parallelism, Dr Satnam Singh, Microsoft Research, Cambridge Location ~~~~~~~~ The Summer School is at Heriot-Watt University's Riccarton campus, set in pleasant parkland to the west of Edinburgh, with easy access to the airport, city and central Scotland (http://www.hw.ac.uk/welcome/directions.htm) The Summer School immediately precedes the 2009 International Conference on Functional Programming (http://www.cs.nott.ac.uk/~gmh/icfp09.html) and takes place during the Edinburgh International Festival (http://www.eif.co.uk/) , and the associated Edinburgh Festival Fringe (http://www.edfringe.com/) and Edinburgh International Book Festival (http://www.edbookfest.co.uk/) Steering Committee ~~~~~~~~~~~~~~~~~~ Prof Prof Greg Michaelson, Heriot-Watt University (Convenor), <G.Michaelson(a)hw.ac.uk> Prof Kevin Hammond, University of St Andrews Dr Patricia Johann, University of Strathclyde Prof Philip Wadler, University of Edinburgh Fee ~~~ Full rate: £400; (free for SICSA students) Includes: four nights single room, en-suite accommodation with breakfast, lunch and dinner, plus coffee breaks and session materials. Day rate: £200; (free for SICSA students) Includes: lunch, coffee breaks, session materials Registration of Interest ~~~~~~~~~~~~~~~~~~~~~~~~ If you are interested in attending the International Summer School, please complete the form available from (http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ISS-AiPL%20register.doc) or below, and return it to: <ISS-AiPL-register(a)macs.hw.ac.uk> ********** International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland Registration of Interest Name: Address: Email: Phone: SICSA Uni: Yes / No Rate: Full / Day Accessibility requirements: Dietary requirements: Return to: ISS-AiPL-register(a)macs.hw.ac.uk **********

2 1

2nd Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)
by Janis Voigtlaender 13 May '09

13 May '09

=============================================================== CALL FOR PAPERS The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009 http://ropas.snu.ac.kr/aplas09/ =============================================================== APLAS aims at stimulating programming language research by providing a forum for the presentation of recent results and the exchange of ideas and experience in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming languages community. The APLAS series is sponsored by the Asian Association for Foundation of Software (AAFS), which has recently been founded by Asian researchers in cooperation with many researchers from Europe and the USA. The past formal APLAS symposiums were successfully held in Bangalore (2008, India), Singapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China) after three informal workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000). Proceedings of the past symposiums were published in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 5356. TOPICS: The symposium is devoted to both foundational and practical issues in programming languages and systems. Papers are solicited on, but not limited, to the following topics: * semantics, logics, foundational theory * type systems, language design * program analysis, optimization, transformation * software security, safety, verification * compiler systems, interpreters, abstract machines * domain-specific languages and systems * programming tools and environments INVITED SPEAKERS: TBA IMPORTANT DATES: Abstract Deadline: June 8 (Monday), 2009 Paper Submission Deadline: 24:00 AM (in Samoan Time), June 15 (Monday), 2009 Author Notification: August 17, 2009 Camera Ready: September 14, 2009 Conference: December 14-16, 2009 SUBMISSIONS INFORMATION: Papers should be submitted electronically online via the conference submission web page at URL <http://www.easychair.org/conferences/?conf=aplas2009>. Acceptable formats are PostScript or PDF, viewable by Ghostview or Adobe Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Submitted papers must be unpublished and not submitted for publication elsewhere. The proceedings of the symposium is planned to be published as a volume in Springer-Verlag's Lecture Notes in Computer Science series. Authors of selected papers will be invited after the symposium to submit a full version for publication in a special issue of New Generation Computing. GENERAL CHAIR Kwangkeun Yi (Seoul National University, Korea) PROGRAM CHAIR Zhenjiang Hu (National Institute of Inforamtics, Japan) PROGRAM COMMITTEE Manuel M. T. Chakravarty (University of New South Wales, Australia) Wei-Ngan Chin (National University of Singapore, Singapore) Nate Foster (University of Pennsylvania, USA) Ralf Hinze (Oxford University, United Kingdom) Zhenjiang Hu (National Institute of Informatics, Japan), Chair Ik-Soon Kim (Electronics and Telecommunications Research Institute, Korea) Julia Lawall (DIKU, Denmark) Sebastian Maneth (NICTA and University of New South Wales, Australia) Sungwoo Park (Pohang University of Science and Technology, Korea) G. Ramalingam (Microsoft Research, India) Peter Thiemann (University of Freiburg, Germany) Kazushige Terui (Kyoto University, Japan) Janis Voigtländer (Technical University of Dresden, Germany) Chung-chieh Shan (Rutgers University, USA) Kazunori Ueda (Waseda University, Japan) Bow-Yaw Wang (Academia Sinica, Taiwan) Jianjun Zhao (Shanghai Jiaotong University, China) POSTER SESSION CHAIR Kiminori Matsuzaki (University of Tokyo, Japan)

1 0

ANN: Bookshelf
by Emil Axelsson 13 May '09

13 May '09

This is the first release of Bookshelf, a simple document organizer with some wiki functionality. Documents in a directory tree are displayed as a set of HTML pages. Documents in Markdown format are converted to HTML automatically using Pandoc. The manual http://www.cs.chalmers.se/~emax/bookshelf/Manual.shelf.html describes the full functionality. Bookshelf is available on Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Bookshelf or through its Darcs repository: http://www.cs.chalmers.se/~emax/darcs/Bookshelf/ I'm not aware of any bugs. I hope it works on Windows, but I haven't tested. Cheers, / Emil

1 0

Haskell Weekly News: Issue 117 - May 12, 2009
by Brent Yorgey 12 May '09

12 May '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090512 Issue 117 - May 12, 2009 --------------------------------------------------------------------------- Welcome to issue 117 of HWN, a newsletter covering developments in the [1]Haskell community. The Haskell Platform is here! Announcements The Haskell Platform. Don Stewart [2]announced the first release of the [3]Haskell Platform: a single, standard Haskell distribution for every system. The Haskell Platform is a blessed library and tool suite for Haskell culled from Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. GHC version 6.10.3. Ian Lynagh [4]announced the release of [5]GHC 6.10.3. This release contains a handful of bugfixes relative to 6.10.2 and better line editing support in GHCi, so updating is recommend. See the [6]release notes for more details. Bindings for libguestfs. Richard W.M. Jones [7]announced some [8]partial bindings for [9]libguestfs. Heads up: Conflicting versions of network-2.2.1. Johan Tibell [10]announced a heads-up that the version of network-2.2.1 that shipped with GHC 6.10 differs from the one on Hackage. If you want the API additions that are present in network-2.2.1 on Hackage, be sure to use network-2.2.1.1 instead. hpc-strobe-0.1: Hpc-generated strobes for a running Haskell program. Thorkil Naur [11]announced the initial release of [12]hpc-strobe, a rudimentary library that demonstrates the possibility of using Hpc (Haskell Program Coverage) to inspect the state of a running Haskell program. hpc-strobe uses the basic machinery provided by Hpc to produce multiple tix files, also called strobes, representing the coverage at different times while the program is running. By subtracting such two tix files, again using Hpc machinery, a tix file representing the expressions used between the times of recording the subtracted tix files is produced. This may be used, for example, to get a better idea of what a long-running program is doing. It could also be used as a profiling tool, getting information about how many times individual expressions are used. BUG FIX release of regex-tdfa-1.1.2. ChrisK [13]announced version 1.1.2 of [14]regex-tdfa, a bug-fix release. Silkworm game. Duane Johnson [15]announced the release of [16]Silkworm, a game written in Haskell using [17]Hipmunk and GLFW. Discussion Platform policy question: API compatibility in minor releases. Duncan Coutts began a [18]discussion on versioning policies for major and minor releases, for packages included in the Haskell Platform. See also the [19]newly started discussion on the purpose of Haskell Platform releases. Blog noise [20]Haskell news from the [21]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Magnus Therning: [22]Vim haskellmode packaged for Arch. * Manuel M T Chakravarty: [23]Instant Generics: Fast and Easy.. * Bjorn Buckwalter: [24]May 2009 HCAR Submissions. * Gtk2HS: [25]Gtk2HS 0.10.1 Released. * Magnus Therning: [26]Arch and Haskell, on little snag. * Mikael Vejdemo Johansson (DrSyzygy): [27]Gröbner bases for operads - Or "What I did in my vacation". * Mads Lindstrøm: [28]WxGeneric 0.6.0. * Osfameron: [29]Is currying monadic?. * James Iry: [30]A Brief, Incomplete, and Mostly Wrong History of Programming Languages. * Duane Johnson: [31]Visualizing Typed Functions. * Well-Typed.Com: [32]Next steps for the Haskell Platform. * Don Stewart (dons): [33]The Haskell Platform. * Luke Palmer: [34]Lazy Partial Evaluation. * Christopher Lane Hinson: [35]Vec is Good. * LHC Team: [36]Constructor specialization and laziness.. * Lee Pike: [37]An Atomic Fibonacci Server: Exploring the Atom (Haskell) DSL. * John Van Enk: [38]Atom & Arduino :: First Program (pt. 2). * >>> Chris Forno: [39]Is Haskell a Good Choice for Web Applications?. * >>> Sparky: [40]Haskell and Eclipse [Part 2]. * >>> Brit Butler: [41]Playing with Haskell. * Duane Johnson: [42]Silkworm Game written in Haskell. * Matthew Podwysocki: [43]Functional Composition and Partial Application . * >>> Takashi: [44]A Prolog In Haskell. * >>> mokehehe: [45]Using DirectX from Haskell. * >>> mokehehe: [46]AO bench in Haskell. Quotes of the Week * jfredett: My haskell-spider senses were tingling, I just overshot RT and went for the Halting Problem. * NeilBrown: I heard that if you chant "I don't think this can be done in Haskell" three times in front of a text editor, Don Stewart appears and implements it in one line... * bos: The last couple of times I've wanted a book like that, I wrote the book myself. It's a very effective way to get the book you want, compared to wishing. * edwardk: {-# LANGUAGE time to pay the cutting edge typing features tax #-} * SPJ: Haha this is good news, I have slipped functional programming into your brain without you realising it is something very weird. * EvilTerran: writing machine code by hand on tape with a magnetised needle looks good compared to PHP :P * Athas: I like Lisp for its extreme expressivity, but I think it's easier to make Haskell more powerful, than to make Lisp more statically safe. * roconnor: I can't wait for the Density Comonad chapter of "learn you a haskell" About the Haskell Weekly News New editions are posted to [47]the Haskell mailing list as well as to [48]the Haskell Sequence and [49]Planet Haskell. [50]RSS is also available, and headlines appear on [51]haskell.org. To help create new editions of this newsletter, please see the information on [52]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [53]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58095 3. http://hackage.haskell.org/platform/ 4. http://article.gmane.org/gmane.comp.lang.haskell.general/17178 5. http://www.haskell.org/ghc/ 6. http://haskell.org/ghc/docs/6.10.3/html/users_guide/release-6-10-3.html 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58358 8. http://git.et.redhat.com/?p=libguestfs.git;a=blob;f=haskell/Guestfs.hs;hb=H… 9. http://et.redhat.com/~rjones/libguestfs/ 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58349 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58286 12. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hpc%2Dstrobe 13. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58067 14. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-tdfa 15. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57886 16. http://blog.inquirylabs.com/2009/05/02/silkworm-game-written-in-haskell/ 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hipmunk 18. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11001 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11035 20. http://planet.haskell.org/ 21. http://haskell.org/haskellwiki/Blog_articles 22. http://therning.org/magnus/archives/617 23. http://justtesting.org/post/106219682 24. http://flygdynamikern.blogspot.com/2009/05/may-2009-hcar-submissions.html 25. http://haskell.org/gtk2hs/archives/2009/05/10/gtk2hs-0101-released/ 26. http://therning.org/magnus/archives/599 27. http://blog.mikael.johanssons.org/archive/2009/05/grobner-bases-for-operads… 28. http://lindstroem.wordpress.com/2009/05/08/wxgeneric-0-6-0/ 29. http://greenokapi.net/blog/2009/05/07/is-currying-monadic/ 30. http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html 31. http://blog.inquirylabs.com/2009/05/07/visualizing-typed-functions/ 32. http://blog.well-typed.com/2009/05/next-steps-for-the-haskell-platform/ 33. http://donsbot.wordpress.com/2009/05/06/the-haskell-platform/ 34. http://lukepalmer.wordpress.com/2009/05/04/lazy-partial-evaluation/ 35. http://blog.downstairspeople.org/2009/05/05/vec-is-good/ 36. http://lhc-compiler.blogspot.com/2009/05/constructor-specialization-and-laz… 37. http://leepike.wordpress.com/2009/05/05/an-atomic-fibonacci-server-explorin… 38. http://blog.sw17ch.com/wordpress/?p=111 39. http://jekor.com/article/is-haskell-a-good-choice-for-web-applications 40. http://sdasrath.blogspot.com/2009/05/20090402-haskell-and-eclipse-part-2.ht… 41. http://redlinernotes.com/blog/?p=937 42. http://blog.inquirylabs.com/2009/05/02/silkworm-game-written-in-haskell/ 43. http://weblogs.asp.net/podwysocki/archive/2009/05/01/functional-composition… 44. http://propella.blogspot.com/2009/04/prolog-in-haskell.html 45. http://mokehehe.blogspot.com/ 46. http://mokehehe.blogspot.com/2009/04/ao-bench-in-haskell.html 47. http://www.haskell.org/mailman/listinfo/haskell 48. http://sequence.complete.org/ 49. http://planet.haskell.org/ 50. http://sequence.complete.org/node/feed 51. http://haskell.org/ 52. http://haskell.org/haskellwiki/HWN 53. http://code.haskell.org/~byorgey/code/hwn/

1 0

FOPARA'09 -- First Call for Papers
by CFP 11 May '09

11 May '09

(Our apologies for possible multiple copies) First Call for Papers International workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS FOPARA 2009 Eindhoven, The Netherlands November,3 2009 A satellite event of 16th International Symposium on Formal Methods http://www.aha.cs.ru.nl/fopara/ WORKSHOP OBJECTIVES AND SCOPE The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The following list of topics is non-exhaustive: * resource analysis for embedded systems, * logical and machine-independent characterisations of complexity classes, * logics closely related to complexity classes, * type systems for controlling complexity, * semantic methods to analyse resources, incl. quasi- and sup- interpretations, * practical applications of resource analysis. Up to now a few similar events have taken place. In 2006, 2008 application-oriented resource analysis workshops ( EmBounded Open Workshop in Budapest, 2006, and Resource Analysis Workshop in Hertfordshir, 2008) were held as affiliated events of International Symposium on the Implementation and Application of Functional Languages (IFL). Participated: University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig-Maximilians University of Munich (Germany), University Complutense of Madrid (Spain), Politechnical University of Madrid (Spain). Another large group of research schools is presented in series of workshops on Implicit Computational Complexity, see, for instance, WICC'08 in Paris . The series gather researchers working in theoretical foundations of resource analysis, mainly from in France (Universities of Paris Diderot and Paris Nord, LORIA Nancy), Italy (Universities of Bologna and Turin), Norway, Germany and Portugal. FOPARA aims to bringing these various directions in resource analysis together and possibly to extend the community by other groups. IMPORTANT DATES (ALL 2009) * Abstract deadline: July 10, * Paper submission deadline: July 15, * Notification of acceptance: September 11, * Workshop version of the papers: October 11, * Final formal paper submission: November 22. INVITED SPEAKER Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/) Microsoft Research SUBMISSION AND PUBLICATION Acceptance of articles for presentation at the symposium is based on the pre-workshop refereeing of full papers (16 pages). In addition to the draft symposium proceedings, we plan to publish the revised versions of presented at the workshop papers in a volume of Springer's Lecture Notes in Computer Science. The request for a volume is pending. PROGRAM COMMITTEE * Marko van Eekelen (Radboud University and Open University, NL), PC chair * Olha Shkaravska (Radboud University, NL), PC co-chair * Patrick Baillot (ENS-Lyon, France) * Armelle Bonenfant (IRIT, France) * Ugo Dal Lago (University of Bologna, Italy) * Kevin Hammond (Univ. of St. Andrews, UK) * Martin Hofmann (LMU, Munich, Germany) * Thomas Jensen (IRISA, Rennes, France) * Tamas Kozsik (Eotvos Lorand University of Budapest, Hungary) * Hans-Wolfgang Loidl (LMU, Munich, Germany) * Kenneth MacKenzie (University of Edinburgh, UK) * Jean-Yves Marion (Loria, Nancy, France) * Greg Michaelson (Heriot-Watt University, Edinburgh, UK) * Ricardo Peña (University Complutense Madrid, Spain) * German Puebla (Politechnical University of Madrid, Spain) * Luca Roversi (University of Turin, Italy) * Phil Trinder (Heriot-Watt University, Edinburgh, UK) LOCATION The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009. The venue for FM2009 is the Auditorium of the Technische Universiteit Eindhoven. Everything related to the symposium will take place here, including workshops, lunches, and other activities. Technische Universiteit Eindhoven was founded in the 1950s on a patch of uncultivated land near the centre of town. Due to this fortunate circumstance, the university campus is now right in the middle of the fifth largest city in the Netherlands. This means that the railway station, the conference hotels, and other facilities are all within walking distance of the campus, and that during your stay you will have easy access to everything Eindhoven has to offer.

1 0

ANNOUNCE: hpc-strobe-0.1: Hpc-generated strobes for a running Haskell program
by Thorkil Naur 08 May '09

08 May '09

I am pleased to announce the initial release of hpc-strobe: Hpc-generated strobes for a running Haskell program. hpc-strobe is a rudimentary library that demonstrates the possibility of using Hpc (Haskell Program Coverage) to inspect the state of a running Haskell program. hpc-strobe-0.1 has been uploaded to hackage: http://hackage.haskell.org/packages/archive/hpc-strobe/0.1/hpc-strobe-0.1.t… In ordinary use of Hpc, a single so-called tix file is produced at the end of a run. The tix file records how many times each expression has been used during the run. This can be used to mark up the source code, identifying expressions that have not been used. hpc-strobe uses the basic machinery provided by Hpc to produce multiple tix files, also called strobes, representing the coverage at different times while the program is running. By subtracting such two tix files, again using Hpc machinery, a tix file representing the expressions used between the times of recording the subtracted tix files is produced. This may be used, for example, to get a better idea of what a long-running program is doing. It could also be used as a profiling tool, getting information about how many times individual expressions are used. A program is included whose strobe differences produce a crude rendering of an analog clock when they are used to mark up the source code using Hpc. Please see the attached example (gunzip the file, point you browser to it, scroll down to view the canvas function). Use of the library involves a simple change of the main function and also requires the program to be enabled for hpc. At the time of writing, this means using a fairly recent version of GHC and compiling the Haskell code with the -fhpc option. For additional details, see the README included in the package. Best regards Thorkil

1 0

Re: [Haskell-cafe] Re: ANNOUNCE: The Haskell Platform
by Don Stewart 07 May '09

07 May '09

kyagrd: > Thanks for this great effort! > > Are we going to have a meta-package on hackage as well? > (which makes it able to build it through cabal-install) Yes, this ticket tracks that stuff: http://trac.haskell.org/haskell-platform/ticket/15

1 0

Re[2]: [Haskell-cafe] Is Haskell a Good Choice for Web Applications? (ANN: Vocabulink)
by Bulat Ziganshin 07 May '09

07 May '09

Hello FFT, Wednesday, May 6, 2009, 11:59:53 PM, you wrote: > I've heard it's hard to contain a long-running Haskell application in > a finite amount of memory not exactly. you may alloc fixed pool of memory to application (say, 1gb) if you know that it never need more memory. but as far as you don't do it, memory usage grows with each major GC. ghc just don't provide any way to return memory to OS (there is a ticket on it, you can add yourself to CC list to vote for its resolution) -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

2 1