July 2011 - Haskell - Haskell.org

(2nd) Open Call for a Springer LNCS Volume on Resource Analysis
by Ricardo Peña 22 Jul '11

22 Jul '11

*************************************************************************** * * OPEN CALL FOR A SPRINGER LNCS VOLUME ON RESOURCE ANALYSIS * * To be evaluated in conjunction with the selected papers of the 2nd International * Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011) * May 19th 2011, Madrid, SPAIN * http://dalila.sip.ucm.es/fopara11/ * *************************************************************************** Resource analysis is a live research area where people from several research communities converge. The snd Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011) covering many of these aspects was held in Madrid on May 2011. See http://dalila.sip.ucm.es/fopara11/ for looking at the program and at the rest of details of this workshop. We want to open the call for selected papers of FOPARA 2011 and invite other researchers in the area to submit papers. The results must be unpublished and not submitted for publication elsewhere. We will publish a volume of the Springer series Lecture Notes in Computer science containing both kinds of selected papers. The Program Committee of the open call will be that of FOPARA 2011. Topics ------ The following list of topics is non-exhaustive: * resource static analysis for embedded or/and critical systems * logical and machine-independent characterisations of complexity classes * logics closely related to complexity classes * type systems for controlling/inferring/checking complexity * semantic methods to analyse resources, including quasi- and sup-interpretations, * practical applications of resource analysis. Submissions ----------- All contributions must be written in English, conform to the Springer LNCS series format and not exceed 16 pages. The submission page is http://www.easychair.org/conferences/?conf=fopara2011 and it can also be accessed through the official FOPARA 2011 website. It will remain open from now to September 5th. Important dates --------------- Submission deadline: September 5th, 2011 Notification to authors: October 24th, 2011 LNCS camera ready deadline: November 18th Expected volume publication: January 2012 Program Committee ----------------- . Puri Arenas (Complutense University of Madrid, ES) . David Aspinall (University of Edinburgh, UK) . David Cachera (IRISA/École normale supérieure de Cachan, FR) . Marko van Eekelen (Radboud University Nijmegen and Open University, NL) . Kevin Hammond (University of St. Andrews, UK) . Martin Hofmann (LMU, Munich, DE) . Tamás Kozsik (Eötvös Loránd University of Budapest, HU) . Hans-Wolfgang Loidl (Heriot-Watt, Edinburgh, UK) . Jean-Yves Marion (Loria, Nancy, FR) . Simone Martini (University of Bologna, IT) . Ricardo Pe~na (PC Chair) (Complutense University of Madrid, ES) . Simona Ronchi della Rocca (University of Turin, IT) . Olha Shkaravska (Radboud University, NL)

1 0

Haskell Weekly News: Issue 191
by Daniel Santa Cruz 21 Jul '11

21 Jul '11

Welcome to issue 191 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of July 10 to 16, 2011. [1] http://haskell.org/ You can find the HTML (and mobile) version of the issue at: http://contemplatecode.blogspot.com/2011/07/haskell-weekly-news-issue-191.h… Announcements Brent Yorgey put out a call for articles for the next Monad.Reader, which will be focused on parallelism and concurrency. [2] http://goo.gl/Qh6na Quotes of the Week * PenguinOfDoom: Being enlightened gentlemen, we split all programming languages into two groups, sucks and doesn't-suck and put all of them into the first group. * cmccann: beta reducing the chainsaws can be tricky * kmc: edwardk measures API lifetime in hours * _Ray_: the difference in mathematical/CS knowledge of the average haskeller, and the average PHPer, is likely similar to that of the average PHPer and a banana * quicksilver: [on LYAH] by the time I read it I knew everything it was trying to teach, so I just thought "Yay! Cute caterpillar". * edwardk: shapr is the only person i know of who just decides to drive across the country with a car full of machetes * copumpkin is now known as contrapumpkin. contrapumpkin is now known as yoda. yoda is now known as coyoda. + Eduard_Munteanu: Yonoda + coedwardk: i keep reading coyoda as coyoneda + monochrom: I read it as toyota + Eduard_Munteanu: Mmm, the monad is strong in this one... + monochrom: rumours actually say that it should be toyoda but the japaneses want it easier on americans, so toyota Top Reddit Stories * The Haskell School of Music - new book being written by Paul Hudak Domain: plucky.cs.yale.edu, Score: 66, Comments: 9 On Reddit: [3] http://goo.gl/9Jjrd Original: [4] http://goo.gl/r54xG * Confusion between (.) and ($) operators Domain: self.haskell, Score: 41, Comments: 27 On Reddit: [5] http://goo.gl/eFqRj Original: [6] http://goo.gl/eFqRj * Fitter, happier, more productive UTF-8 decoding Domain: serpentine.com, Score: 35, Comments: 6 On Reddit: [7] http://goo.gl/o2REx Original: [8] http://goo.gl/dKB04 * Static Single Assignment for Functional Programmers Domain: wingolog.org, Score: 30, Comments: On Reddit: [9] http://goo.gl/13sSP Original: [10] http://goo.gl/90MEH * [GSoC] Text/UTF-8: Initial results Domain: jaspervdj.be, Score: 29, Comments: 14 On Reddit: [11] http://goo.gl/nJ4pJ Original: [12] http://goo.gl/uPkBl * Data Driven Programming in haskell - live screencast. What are your tips/suggestions? Domain: entirelysubjective.com, Score: 29, Comments: 17 On Reddit: [13] http://goo.gl/kIiX8 Original: [14] http://goo.gl/28k6p * Ur/Web is hiring: web metaprogramming with class Domain: haskell.org, Score: 28, Comments: 11 On Reddit: [15] http://goo.gl/nWf5S Original: [16] http://goo.gl/l9HhI * Monads in C++. Bartosz Milewski's Programming Cafe Domain: bartoszmilewski.wordpress.com, Score: 23, Comments: 0 On Reddit: [17] http://goo.gl/IJnVa Original: [18] http://goo.gl/Bq4Lq * The Typeable class is changing Domain: haskell.org, Score: 22, Comments: 2 On Reddit: [19] http://goo.gl/x1InO Original: [20] http://goo.gl/E2jVK * Reverse Engineering of Compiled Haskell Domain: self.haskell, Score: 18, Comments: 22 On Reddit: [21] http://goo.gl/GCrfN Original: [22] http://goo.gl/GCrfN Top StackOverflow Questions * Haskell - How to avoid typing the same context over and over again? votes: 18, answers: 3 Read on SO: [23] http://goo.gl/0h1qF * Haskell iteratee: simple worked example of stripping trailing whitespace votes: 14, answers: 1 Read on SO: [24] http://goo.gl/bYujx * Parametrised data type in Scala votes: 12, answers: 2 Read on SO: [25] http://goo.gl/4NyZw * How to organize Haskell modules with instances: stick to data type vs type class? votes: 10, answers: 1 Read on SO: [26] http://goo.gl/Tivoh * On improving Haskell's performance compared to C in fibonacci micro-benchmark votes: 10, answers: 3 Read on SO: [27] http://goo.gl/q5O8Q * Constructing a tuple (or list) from already-existing objects - what is the cost? votes: 9, answers: 2 Read on SO: [28] http://goo.gl/UuKft * Writing A Function Polymorphic In A Type Family votes: 9, answers: 1 Read on SO: [29] http://goo.gl/vPpoH * Haskell Lazy ByteString + read/write progress function votes: 9, answers: 1 Read on SO: [30] http://goo.gl/LfNEN About the Haskell Weekly News To help create new editions of this newsletter, please send stories to dstcruz(a)gmail.com. Until next time, Daniel Santa Cruz References 1. http://haskell.org/ 2. http://permalink.gmane.org/gmane.comp.lang.haskell.general/18844 3. http://www.reddit.com/r/haskell/comments/in1my/the_haskell_school_of_music_… 4. http://plucky.cs.yale.edu/cs431/reading.htm 5. http://www.reddit.com/r/haskell/comments/ipfok/confusion_between_and_operat… 6. http://www.reddit.com/r/haskell/comments/ipfok/confusion_between_and_operat… 7. http://www.reddit.com/r/haskell/comments/im82t/fitter_happier_more_producti… 8. http://www.serpentine.com/blog/2011/07/11/fitter-happier-more-productive-ut… 9. http://www.reddit.com/r/haskell/comments/ip2de/static_single_assignment_for… 10. http://wingolog.org/archives/2011/07/12/static-single-assignment-for-functi… 11. http://www.reddit.com/r/haskell/comments/ilif5/gsoc_textutf8_initial_result… 12. http://jaspervdj.be/posts/2011-07-10-text-utf8-initial-results.html 13. http://www.reddit.com/r/haskell/comments/insp1/data_driven_programming_in_h… 14. http://entirelysubjective.com/programming/data-driven-programming-haskell-1/ 15. http://www.reddit.com/r/haskell/comments/ips56/urweb_is_hiring_web_metaprog… 16. http://www.haskell.org/pipermail/haskell-cafe/2011-July/093994.html 17. http://www.reddit.com/r/haskell/comments/imzaj/monads_in_c_bartosz_milewski… 18. http://bartoszmilewski.wordpress.com/2011/07/11/monads-in-c/ 19. http://www.reddit.com/r/haskell/comments/imm0j/the_typeable_class_is_changi… 20. http://www.haskell.org/pipermail/haskell-cafe/2011-July/093947.html 21. http://www.reddit.com/r/haskell/comments/iqz0l/reverse_engineering_of_compi… 22. http://www.reddit.com/r/haskell/comments/iqz0l/reverse_engineering_of_compi… 23. http://stackoverflow.com/questions/6706248/haskell-how-to-avoid-typing-the-… 24. http://stackoverflow.com/questions/6643495/haskell-iteratee-simple-worked-e… 25. http://stackoverflow.com/questions/6694269/parametrised-data-type-in-scala 26. http://stackoverflow.com/questions/6641105/how-to-organize-haskell-modules-… 27. http://stackoverflow.com/questions/6716315/on-improving-haskells-performanc… 28. http://stackoverflow.com/questions/6655902/constructing-a-tuple-or-list-fro… 29. http://stackoverflow.com/questions/6663547/writing-a-function-polymorphic-i… 30. http://stackoverflow.com/questions/6668716/haskell-lazy-bytestring-read-wri…

1 0

ANN: boomerang and web-routes-boomerang
by Jeremy Shaw 21 Jul '11

21 Jul '11

Hello, I am pleased to announce the release of two new libraries: boomerang and web-routes-boomerang. boomerang is a library for general purpose, invertible parsing and pretty printing. It provides combinators which allow you to specify a grammar once and automatically extract a parser and pretty-printer from it. This library was refactored, with permission, from the Zwaluw library created by Sjoerd Visscher and Martijn van Steenbergen. hackage: http://hackage.haskell.org/package/boomerang quick intro: http://hackage.haskell.org/packages/archive/boomerang/1.0.0/doc/html/Text-B… web-route-boomerang provides glue code for using boomerang with web-routes. web-routes is a framework-independent, type-safe, url routing library. hackage: http://hackage.haskell.org/package/web-routes-boomerang tutorial: http://happstack.com/docs/crashcourse/WebRoutes.html#web-routes-boomerang - jeremy p.s. boomerang is similar in purpose to the inveritble-syntax library: http://hackage.haskell.org/package/invertible-syntax The libraries take different approaches and are both worth considering.

2 1

Haskell Implementors Workshop talk proposals due this Friday!
by Ben Lippmeier 20 Jul '11

20 Jul '11

Call for Talks ACM SIGPLAN Haskell Implementors' Workshop http://haskell.org/haskellwiki/HaskellImplementorsWorkshop/2011 Tokyo, Japan, September 23rd, 2011 The workshop will be held in conjunction with ICFP 2011 http://www.icfpconference.org/icfp2011/ Important dates Proposal Deadline: 22nd July 2011 Notification: 8th August 2011 Workshop: 23rd September 2011 The Haskell Implementors' Workshop is to be held alongside ICFP 2011 this year in Tokyo, Japan. There will be no proceedings; it is an informal gathering of people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure. This relatively new workshop reflects the growth of the user community: there is a clear need for a well-supported tool chain for the development, distribution, deployment, and configuration of Haskell software. The aim is for this workshop to give the people involved with building the infrastructure behind this ecosystem an opportunity to bat around ideas, share experiences, and ask for feedback from fellow experts. We intend the workshop to have an informal and interactive feel, with a flexible timetable and plenty of room for ad-hoc discussion, demos, and impromptu short talks. Scope and target audience ------------------------- It is important to distinguish the Haskell Implementors' Workshop from the Haskell Symposium which is also co-located with ICFP 2011. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors' Workshop will have no proceedings -- although we will aim to make talk videos, slides and presented data available with the consent of the speakers. In the Haskell Implementors' Workshop we hope to study the underlying technology. We want to bring together anyone interested in the nitty gritty details necessary to turn a text file into a deployed product. Having said that, members of the wider Haskell community are more than welcome to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and Tools for development or deployment Talks ----- At this stage we would like to invite proposals from potential speakers for a relatively short talk. We are aiming for 20 min talks with 10 mins for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 200 words to benl(a)cse.unsw.edu.au We will also have a lightning talks session which will be organised on the day. These talks will be 2-10 minutes, depending on available time. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Organisers ---------- * Rebekah Leslie (Portland State University) * Ben Lippmeier - co-chair (University of New South Wales) * Andres Loeh (Well-Typed LLP) * Oleg Lobachev (University of Marburg) * Neil Mitchell - co-chair (Standard Chartered) * Dimitrios Vytiniotis (Microsoft Research)

1 0

ANNOUNCE: docidx-1.0.0
by Andy Gimblett 18 Jul '11

18 Jul '11

Hi all. I'd like to announce docidx, a new tool for Haskell documentation: http://hackage.haskell.org/package/docidx http://github.com/gimbo/docidx.hs docidx is a program which creates a static HTML page indexing your installed packages, with links to your local haddock docs and to each package's hackage page. It covers global and user packages, and handles multiple installed versions sensibly. Here's how the output looks: http://github.com/gimbo/docidx.hs/raw/master/examples/example.png The idea is to complement the "index by module name" which Cabal creates and maintains. Sometimes you want to find things by package. :-) (But note that unlike Cabal's index, docidx's isn't automatically updated when you install a new package; so, I run it once an hour from cron.) Please see the github page for more details, including customisation options. Hopefully somebody will find this useful. Maybe one day it could be part of cabal-install? :-) Thanks! -Andy PS: A bit of history/due credit: Martijn van Steenbergen did something similar in PHP in early 2009: http://thread.gmane.org/gmane.comp.lang.haskell.cafe/53531/focus=53572 ; then I wrote a static version in Python later that year: http://gimbo.org.uk/blog/2009/09/23/ ; then Andy Price ported that to Haskell: https://github.com/andyprice/docidx.hs ; finally, I rewrote that to build the index via Cabal rather than walking the filesystem directly - and here we are. -- Andy Gimblett haskell(a)gimbo.org.uk

2 2

ANNOUNCE: couch-hs
by Peter Sagerson 17 Jul '11

17 Jul '11

I'd like to introduce couch-hs, a CouchDB view server in and for Haskell. This is for the doubtless hordes of developers using CouchDB and itching to write their map/reduce functions in Haskell. I'm relatively new to both CouchDB and Haskell, but I've found them to be a satisfying combination so far. Map and reduce functions are built on the aeson monadic parser for pithy and efficient parsing of disparate document shapes. The couch-hs executable also includes development modes for compiling individual functions, for instance with an editor macro. http://hackage.haskell.org/package/couch-hs Thanks, Peter

1 0

Haskell Weekly News: Issue 190
by Daniel Santa Cruz 14 Jul '11

14 Jul '11

Welcome to issue 190 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of July 3 to 9, 2011. You can find the HTML version of this issue at: http://contemplatecode.blogspot.com/2011/07/haskell-weekly-news-issue-190.h… Announcements Karel Gardas announced that he, Stephen Blackheath, and David Terei are "working together on ARM registerised port of GHC. The port is using LLVM as a code generator and in kind of working already." Testing is much appreciated! [1] http://goo.gl/TVvGD Matthias Fischmann inveted people to the HacPhi satellite in Berlin on July 29-31. See the post for details. Admission is free, but there is limited space, so don't wait too long! [2] http://goo.gl/XqdvI Quotes of the Week * chrisdone: [on hpaste as motivational tool] When I added hlint I was like 'hey Neil, check this', and he was all 'Oh noes! I must fix all the bugs!' * *amacleod started excising GOTOs from his BASIC code when he was 10. *roconnor started excising GOTOs from his Pascal code when he was 11. *luite used goto's in his C code last year. * AlanPerlis: One can't proceed from the informal to the formal by formal means. * Axman6: well, if C++ is anything to go by, the next Haskell will have lambdas and easy concurrency! * Cale: Constructing a definition from a type is formally the same thing as constructing a proof from a theorem. (Just with different logical systems in place :) * xplat: im in ur Sierpinski space, classifyin' ur subobjects * cmccann: in ContT, flow controls you * [Kron] What is the meaning of life? D: [joe6] learning agda? * camccann: Applying readFile to a file path doesn't return a String value any more than putting a steak next to a meat grinder magically turns them into a hamburger. * blackdog: the type system makes you strong, makes you hard. Top Reddit Stories * GHC on ARM Domain: ghcarm.wordpress.com, Score: 35, Comments: 4 On Reddit: [3] http://goo.gl/idJ7s Original: [4] http://goo.gl/D5zjE * The Monad.Reader Issue 18 Domain: themonadreader.wordpress.com, Score: 32, Comments: 3 On Reddit: [5] http://goo.gl/XA67w Original: [6] http://goo.gl/tzVX2 * Haskell vs. ML in the context of "Worse is Better" Domain: news.ycombinator.com, Score: 31, Comments: 25 On Reddit: [7] http://goo.gl/LpTbP Original: [8] http://goo.gl/bNU4w * Do (side) effects really need a total order? Domain: pchiusano.blogspot.com, Score: 31, Comments: 8 On Reddit: [9] http://goo.gl/jfxWl Original: [10] http://goo.gl/5tmUZ * Call for GUI examples - Any small GUI applications that you would like to see implemented with Functional Reactive Programming? Domain: apfelmus.nfshost.com, Score: 30, Comments: 13 On Reddit: [11] http://goo.gl/MMZJb Original: [12] http://goo.gl/X7IXP * Impredicative Polymorphism - A Use Case Domain: augustss.blogspot.com, Score: 23, Comments: 6 On Reddit: [13] http://goo.gl/QCwpt Original: [14] http://goo.gl/owsJT * Yesod :: Testimonials from a developer and designer Domain: yesodweb.com, Score: 19, Comments: 9 On Reddit: [15] http://goo.gl/5HOKo Original: [16] http://goo.gl/Zad2d * Parallelizing a nonogram solver Domain: jaspervdj.be, Score: 14, Comments: 2 On Reddit: [17] http://goo.gl/5LFlF Original: [18] http://goo.gl/BUbUA * A Haskell newbie's guide to Snap, Part 2 Domain: learnmeahaskell.blogspot.com, Score: 13, Comments: 0 On Reddit: [19] http://goo.gl/KTW50 Original: [20] http://goo.gl/rF1B1 * Losing my mind: Is Rhask (R language+Haskell) a real entity? Domain: self.haskell, Score: 11, Comments: 8 On Reddit: [21] http://goo.gl/O95KN Original: [22] http://goo.gl/O95KN Top StackOverflow Questions * How to gain control of a 5GB heap in Haskell? votes: 27, answers: 1 Read on SO: [23] http://goo.gl/OdZIG * Using higher-order Haskell types in C# votes: 16, answers: 2 Read on SO: [24] http://goo.gl/qzvok * Why applicative functors in Haskell and functional programming votes: 16, answers: 6 Read on SO: [25] http://goo.gl/72kE7 * Is there OS written in Haskell? votes: 16, answers: 3 Read on SO: [26] http://goo.gl/PgOeO * A good way to avoid “sharing”? votes: 15, answers: 1 Read on SO: [27] http://goo.gl/9GLzu * Hard Time Learning Haskell [migrated] votes: 13, answers: 0 Read on SO: [28] http://goo.gl/hhonY * Creating a Haskell REPL within a Haskell application votes: 11, answers: 1 Read on SO: [29] http://goo.gl/jZU7I About the Haskell Weekly News To help create new editions of this newsletter, please send stories to dstcruz(a)gmail.com. Until next time, Daniel Santa Cruz References 1. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/90890 2. http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/90922 3. http://www.reddit.com/r/haskell/comments/ija21/ghc_on_arm/ 4. http://ghcarm.wordpress.com/2011/07/06/armv7-thumb-vfpv3-support-and-github… 5. http://www.reddit.com/r/haskell/comments/ihz6h/the_monadreader_issue_18/ 6. http://themonadreader.wordpress.com/2011/07/05/issue-18/ 7. http://www.reddit.com/r/haskell/comments/ig4yk/haskell_vs_ml_in_the_context… 8. http://news.ycombinator.com/item?id=2725386 9. http://www.reddit.com/r/haskell/comments/iihrl/do_side_effects_really_need_… 10. http://pchiusano.blogspot.com/2011/07/do-side-effects-really-need-total-ord… 11. http://www.reddit.com/r/haskell/comments/ijsnv/call_for_gui_examples_any_sm… 12. http://apfelmus.nfshost.com/blog/2011/07/08-call-for-gui-examples.html 13. http://www.reddit.com/r/haskell/comments/il5g5/impredicative_polymorphism_a… 14. http://augustss.blogspot.com/2011/07/impredicative-polymorphism-use-case-in… 15. http://www.reddit.com/r/haskell/comments/iitr1/yesod_testimonials_from_a_de… 16. http://www.yesodweb.com/page/testimonials 17. http://www.reddit.com/r/haskell/comments/ihdbh/parallelizing_a_nonogram_sol… 18. http://jaspervdj.be/posts/2011-07-05-parallelizing-a-nonogram-solver.html 19. http://www.reddit.com/r/haskell/comments/iiksr/a_haskell_newbies_guide_to_s… 20. http://learnmeahaskell.blogspot.com/2011/07/haskell-newbies-guide-to-snap-p… 21. http://www.reddit.com/r/haskell/comments/ig5mk/losing_my_mind_is_rhask_r_la… 22. http://www.reddit.com/r/haskell/comments/ig5mk/losing_my_mind_is_rhask_r_la… 23. http://stackoverflow.com/questions/6623391/how-to-gain-control-of-a-5gb-hea… 24. http://stackoverflow.com/questions/6562378/using-higher-order-haskell-types… 25. http://stackoverflow.com/questions/6570779/why-applicative-functors-in-hask… 26. http://stackoverflow.com/questions/6638080/is-there-os-written-in-haskell 27. http://stackoverflow.com/questions/6614023/a-good-way-to-avoid-sharing 28. http://stackoverflow.com/questions/6618081/hard-time-learning-haskell-migra… 29. http://stackoverflow.com/questions/6588999/creating-a-haskell-repl-within-a…

1 0

VSTTE 2012 : Third Call for Papers
by Gudmund Grov 12 Jul '11

12 Jul '11

VSTTE 2012 Verified Software: Theories, Tools and Experiments January 28-29, 2012 Philadelphia, USA (co-located with POPL and VMCAI) https://sites.google.com/site/vstte2012/ The Fourth International Conference on Verified Software: Theories, Tools, and Experiments will take place on January 28-29, 2012. The focus of the conference is the development of systematic methods for specifying, building, and verifying software. The goal of this conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. Historically, the conference came out of the Verified Software Initiative (VSI), a cooperative, international initiative directed at the scientific challenges of large-scale software verification. An informal verification competition will be held in parallel to the conference. More information will be available from the website. Topics of interest include: * Specification and verification techniques * Tool support for specification languages * Tool for various design methodologies * Tool integration and plug-ins * Automation in formal verification * Tool comparisons and benchmark repositories * Combination of tools and techniques (e.g. formal vs. semiformal, software specification vs. engineering techniques) * Customizing tools for particular applications * Challenge problems * Refinement methodologies * Requirements modeling * Specification languages * Specification/verification case-studies * Software design methods * Program logic SUBMISSIONS Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions are limited to 15 proceedings pages in LNCS format and must include a cogent and self-contained description of the ideas, methods and results, together with a comparison to existing work. System descriptions are also limited to 15 proceedings pages in LNCS format. Authors are encouraged to submit work in progress, particularly if the work involves collaboration, theory unification, and tool integration. Papers can be submitted at https://www.easychair.org/conferences/?conf=vstte2012 Submissions that arrive late, are not in the proper format, or are too long will not be considered. The proceedings of VSTTE 2012 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. IMPORTANT DATES August 31, 2011: Conference Paper Submission Deadline October 20, 2011: Notification of acceptance November 15, 2011: Final conference paper versions due January 28-29, 2012: Main conference CONFERENCE CHAIR Ernie Cohen, European Microsoft Innovation Center PROGRAM CHAIRS Rajeev Joshi, NASA Jet Propulsion Laboratory Peter Müller, ETH Zurich Andreas Podelski, University of Freiburg PROGRAM COMMITTEE Clark Barrett, New York University Lars Birkedal, IT University of Copenhagen Patrick Cousot, Ecole normale Supérieure, Paris and New York University Leonardo De Moura, Microsoft Research Jean-Christophe Filliatre, CNRS Université Paris Sud John Hatcliff, Kansas State University Bart Jacobs, Katholieke Universiteit Leuven Ranjit Jhala, University of California, San Diego Rajeev Joshi, NASA JPL Gerwin Klein, NICTA Viktor Kuncak, EPF Lausanne Gary T. Leavens, University of Central Florida Rustan Leino, Microsoft Research Panagiotis Manolios, Northeastern University Peter Müller, ETH Zurich Tobias Nipkow, Technische Universität München Matthew Parkinson, Microsoft Research Corina Pasareanu, NASA Ames Wolfgang Paul, Saarland University Andreas Podelski, University of Freiburg Natasha Sharygina, University of Lugano Willem Visser, University of Stellenbosch Thomas Wies, IST Austria PUBLICITY CHAIR Gudmund Grov, University of Edinburgh VERIFICATION COMPETITION ORGANISER Jean-Christophe Filliatre, CNRS Université Paris Sud STEERING COMMITTEE Tony Hoare, Microsoft Research Andrew Ireland, Heriot-Watt University Jay Misra, UT Austin Natarajan Shankar, SRI International Jim Woodcock, University of York -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Re: [Haskell] [Haskell-cafe] Call for GUI examples - Functional Reactive Programming
by Paul Liu 12 Jul '11

12 Jul '11

Hi James, I think you meant to reply to the list. For one, I wouldn't consider GUI programming based on HTML as declarative, since more often than not, the format says nothing about its behavior, and when it does, it's through javascript, which is hardly declarative. Regards, Paul Liu On Tue, Jul 12, 2011 at 5:17 AM, James Deng <cnjamesdeng(a)gmail.com> wrote: > These days, more and more GUI programming are done in declarative, such as > HTML(jQuery), Mozilla XUL, android UI XML. > > Haskell is an excellent declarative language, so should have the advantages > of constructing GUI in declarative, intuitive and powerful way. But so far, > there is not such a GUI library intuitive like Html, powerful like XUL. > > I expect something like html to layout GUI, and a haskell GUI engine would > render the user interfaces files. > Where is the gap lying? > > On 07/12/2011 05:51 AM, Paul Liu wrote: > > You guys might want to checkout the recent work on Euterpea at Yale > CS. In particular: > > 1. Paul Hudak is writing a new book. > http://plucky.cs.yale.edu/cs431/reading.htm > 2. It uses FRP and arrows for sound synthesis. > 3. It combines FRP signals with monadic (which recently gets > re-written in arrows) GUI composition. > 4. New novel techniques is being developed to handle I/O within arrows > framework. > > The code can be obtained through darcs, details at > http://plucky.cs.yale.edu/cs431/software_resources.htm > > Notably, the way it handles GUI is that the composition of widgets are > static, but the signals flowing between them are dynamic. This closely > follows Conal Elliott's Phooey approach, and greatly reduces the > complexity of GUI programming. > > Disclaimer: I was an ex-student who worked on this project. > > Regards, > Paul Liu > > On Thu, Jul 7, 2011 at 11:08 PM, Heinrich Apfelmus > <apfelmus(a)quantentunnel.de> wrote: > > Dear Haskellers, > > Can GUI programming be liberated from the IO monad? > > > Regards, > -- > James Deng > http://cnjdeng.appspot.com -- Regards, Paul Liu

1 0

Re: [Haskell] [Haskell-cafe] Call for GUI examples - Functional Reactive Programming
by Paul Liu 11 Jul '11

11 Jul '11

You guys might want to checkout the recent work on Euterpea at Yale CS. In particular: 1. Paul Hudak is writing a new book. http://plucky.cs.yale.edu/cs431/reading.htm 2. It uses FRP and arrows for sound synthesis. 3. It combines FRP signals with monadic (which recently gets re-written in arrows) GUI composition. 4. New novel techniques is being developed to handle I/O within arrows framework. The code can be obtained through darcs, details at http://plucky.cs.yale.edu/cs431/software_resources.htm Notably, the way it handles GUI is that the composition of widgets are static, but the signals flowing between them are dynamic. This closely follows Conal Elliott's Phooey approach, and greatly reduces the complexity of GUI programming. Disclaimer: I was an ex-student who worked on this project. Regards, Paul Liu On Thu, Jul 7, 2011 at 11:08 PM, Heinrich Apfelmus <apfelmus(a)quantentunnel.de> wrote: > Dear Haskellers, > > Can GUI programming be liberated from the IO monad? -- Regards, Paul Liu

1 0