- Haskell - Haskell.org

ICLP 2009: Call for Workshop Proposals
by cfp＠clip.dia.fi.upm.es 08 Feb '09

08 Feb '09

[We apologize in advance for repeated reception of this message] [Please fell free to forward it to anyone who can be interested] *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2009 25th International Conference on Logic Programming Pasadena, California, USA July 14-17, 2009 URL: http://www.ist.unomaha.edu/iclp2009/ ICLP 2009, the 25th International Conference on Logic Programming, will be held in Pasadena (USA), from July 14 to 17, 2009. Workshops co-located with international conferences are one of the best venue for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2009 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2009 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation, and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experience of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Manuel Carro) by email by February 9th, 2009. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by February 23rd, 2009. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and arrange the distribution of the workshop proceedings, whose preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP 2009 home page by March 9th, 2009. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested. See http://www.logicprogramming.org/ for guidelines. We encourage reading these instructions in advance so that you can ask paper authors to prepare accordingly the final versions of their papers. Location: ========= All workshops will take place in Pasadena at the site of the main conference. See the ICLP 2009 web site for location details. Important Dates: ================ February 9, 2009: Proposal submission deadline. February 23, 2009: Notification. March 9, 2009: Deadline to receive the CFP and URL for workshop web page. June 1, 2009: Deadline for preliminary proceedings. July 14-17, 2009: ICLP 2009 workshops. Workshop Chair: =============== Manuel Carro [mcarro AT fi dot upm dot es] (www.clip.dia.fi.upm.es/~mcarro)

1 0

ANN : happs-tutorial 0.7
by Creighton Hogg 08 Feb '09

08 Feb '09

Hello, I'm pleased to announce the release of happs-tutorial 0.7 on Hackage. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial This is the first release of happs-tutorial built against the new Happstack project. Not much has changed in content since the last release except a few minor cleanups & a little bit of reorganization. The 0.8 release will consist of more extensive additions, with the primary focus being a walk through of multimaster. I've taken over the development of the tutorial from Thomas Hartman, who has already put a rather massive effort into making HAppS/Happstack more accessible. Please feel free to e-mail me with any comments, errata, or threats of bodily harm. Cheers, Creighton Hogg

2 1

Haskell Weekly News: Issue 104 - February 7, 2009
by Brent Yorgey 07 Feb '09

07 Feb '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090207 Issue 104 - February 07, 2009 --------------------------------------------------------------------------- Welcome to issue 104 of HWN, a newsletter covering developments in the [1]Haskell community. Community News Andre Pang (ozone) will be soon [2]moving to San Fransisco to begin work with [3]Pixar! Announcements Mutually recursive modules. Henning Thielemann [4]announced a [5]small writeup explaining how mutually recursive modules are currently supported, and how they can be avoided. Please add information about other compilers and more ideas on breaking cycles. UrlDisp, a friendly URL dispatching library. Artyom Shalkhakov [6]announced the first release of [7]UrlDisp, a small library for URL dispatching (aka routing). Right now it works with CGI, and should be compatible with FastCGI as well (not tested); Happstack compatibility is planned. [8]Documentation and usage examples are available. Purely functional LU decomposition. Rafael Gustavo da Cunha Pereira Pinto [9]released some code to perform purely functional LU decomposition. Ready for testing: Unicode support for Handle I/O. Simon Marlow [10]announced that proper Unicode support in Handle I/O is ready for testing in GHC. Just download the [11]set of patches, compile GHC with them, and test away! Comments and discussion welcome. HaskellWiki Accounts. Ashley Yakeley can [12]create a HaskellWiki account for anyone who wants one (account creation has been disabled as a spam-fighting measure). multiplicity 0.1.0 released. Dino Morelli [13]announced the release of [14]multiplicity 0.1.0, a configuration file driven wrapper around [15]duplicity. It allows you to easily define backup sets as config files and avoid long, repetitive command lines. Happstack 0.1 Released!. Matthew Elder [16]announced the [17]0.1 release of [18]Happstack, the successor for the HAppS project. #haskell-in-depth IRC channel. Philippa Cowderoy [19]announced the creation of a new IRC channel, #haskell-in-depth. The new channel is open to everyone, just like #haskell, but is intended for more in-depth conversations, to allow the #haskell channel to be a more newbie-friendly place. regex-posix-unittest-1.0 AND regex-posix-0.94.1 AND regex-tdfa-0.97.1. ChrisK [20]announced an update to the [21]regex-posix package which provides better semantics for multiple matches; an update to the [22]regex-tdfa package, which provides the same new multiple match semantics and fixes a bug; and finally, a new package, [23]regex-posix-unittest, along with an [24]accompanying wiki page; it runs a suite of unit tests which regex-tdfa passes, but reveals bugs in the standard glibc, OS X, FreeBSD, and NetBSD implementations! Jane Street Summer Project 2009. Yaron Minsky [25]announced the [26]Jane Street Summer Project for 2009, the goal of which is to make functional programming languages into better practical tools for programming in the real world. Students will be funded over the summer to work on open-source projects which aim at improving the practical utility of their favorite functional language. gitit 0.5.1. John MacFarlane [27]announced the release of [28]gitit 0.5.1, a wiki program that uses git or darcs as a filestore and HAppS as a server. Changes include major code reorganization, bug fixes, new debugging features, and more. regex-xmlschema. Uwe Schmidt [29]announced the [30]release of [31]regex-xmlschema, (yet another) package for processing text with regular expressions, containing a complete implementation of the W3C XML Schema specification language for regular expressions. diagrams 0.2. Brent Yorgey [32]announced version 0.2 of the [33]diagrams package, an embedded domain-specific language for creating simple graphics in a compositional style. New features include support for arbitrary paths, text, multiple output formats, and support for the [34]colour library. Discussion Haddock Markup. David Waern began a [35]discussion on Haddock markup syntax: should it support (La)TeX for embedded mathematics? Should it support other stuff? Elegant & powerful replacement for CSS. Conal Elliott began a [36]discussion on an elegant replacement for CSS that is consistent, composable, orthogonal, functional, and based on an elegantly compelling semantic model---what might such a thing look like? type metaphysics. Gregg Reynolds began a long and interesting [37]discussion on the type system, denotational semantics, and related matters. Jobs Postdoc Positions at the CLIP group, Spain. CFP [38]announced the availability of [39]postdoctoral research positions within the [40]CLIP (Computational Logic, Implementation and Parallelism) group in Madrid, Spain. The application deadlines are February 13th and 18th; see the original email for more details. Multiple funded Ph.D. positions available. Martin Erwig [41]announced the availability of multiple funded Ph.D. positions in the [42]school of EECS at Oregon State University, in the areas of programming languages (focusing on DSLs and language design), software engineering, and HCI. If you are interested, email Martin with a resume and contact information by February 15. Blog noise [43]Haskell news from the [44]blogosphere. * Erik de Castro Lopo: [45]libsndfile 1.0.18.. * >>> Gregg Reynolds: [46]Moggi :: CT -> Hask. An interesting perspective on Haskell and category theory. * Osfameron: [47]Functional Pe(a)rls v2 (now with Monads!) at the London Perl Workshop 2008. * ezekiel smithburg: [48]google code project, google group, and darcs repository for WikimediaParser. * ezekiel smithburg: [49]releasing WikimediaParser 0.1. * Andre Pang (ozone): [50]Change. * Lennart Augustsson: [51]Is Haskell fast?. * Lennart Augustsson: [52]Regression. A library for writing embedded BASIC programs in Haskell? What is the world coming to? * Galois, Inc: [53]Equivalence and Safety Checking in Cryptol. * GHC / OpenSPARC Project: [54]Just Testing. * Jeff Heard: [55]Hieroglyph: Interactively graph a spreadsheet in 99 lines of code.. * Jeff Heard: [56]Snippet: sorting the elements of a map. * LHC Team: [57]Grin a little.. * Alex Mason: [58]Other shootout news. * Xmonad: [59]contribs review: SpawnOn. * Jeff Heard: [60]Hieroglyph Haddock docs. * Alex Mason: [61]More n-bodies speedups. * Alex Mason: [62]N-bodies evolution. * Eric Kow (kowey): [63]practical quickcheck (wanted). Eric is seeking practical advice on how to effectively use QuickCheck. * Alex Mason: [64]TextMate haskell bundle improvements. * Haskell application server stack: [65]Happstack 0.1 Released (one day early!). * Haskell application server stack: [66]SOCALFP presentation: patch-tag as a startup using Happstack. * Neil Mitchell: [67]Monomorphism and Defaulting. * Jeff Heard: [68]Hieroglyph Part II, basic mouse/keyboard interactivity. * Jeff Heard: [69]Introducing Hieroglyph. Purely functional 2D visualization on top of Cairo.. The Hieroglyph library looks pretty cool! * Jeff Heard: [70]Hieroglyph HOWTO, part I: Sparklines. * Alex Mason: [71]N-bodies speedup (50%!). * >>> John Lato: [72]Build a better WAVE reader, pt 2. * GHC / OpenSPARC Project: [73]Join Points. * Luke Palmer: [74]Parallel Rewrite System. * >>> John Lato: [75]Build a better WAVE reader, pt 1. Notes on building an 'optimal audio I/O library in Haskell'. * Luke Palmer: [76]Dana update: System U-Box compiler is go. * Luke Palmer: [77]Dana needs a self-embedding of U-Box. * Beelsebob: [78]Simulating n-bodies and functional programming. A beautiful implementation of an n-bodies simulation using reactive. * Xmonad: [79]New layout: GridVariants.SplitGrid. * Lane: [80]Christopher Lane Hinson: MaybeArrow?. An arrow with possible failure, which still allows later effects to happen after failure. * Don Stewart (dons): [81]#haskell is a busy place. Some statistics on the #haskell IRC channel. * Alson Kemp: [82]Cabal-install is awesome. Enough said! * FP-Syd: [83]Sydney FP Group: FP-Syd #11.. * Brent Yorgey: [84]Diagrams 0.2 release. * Dan Piponi (sigfpe): [85]Beyond Regular Expressions: More Incremental String Matching. More incremental brain expansion courtesy of Dan. * Don Stewart (dons): [86]Reviving the Gofer Standard Prelude (circa. 1994). Haskell, retro-style! Quotes of the Week * sigfpe: If I took some Ritalin, maybe I could write an entire book on Haskell and algebra. * cjb: It's all fun and games until somebody loses an IOVar. * Gracenotes: You are likely to be eaten by a poset * Gracenotes: A public service announcement: if you find yourself overusing the Writer monad, tell (Sum 1) * Anonymous: Haskell, the world's leading purely fictional programming language * ehird: 2009: The Year of the Combinatorial Explosion of Haskell Web Frameworks. Also, the Linux Desktop. * ehird: [on the previous quote] Someone re-remember that quote when lambdabot's back so I don't have to and thereby look egotistical, thanks * luqui: Hmph! My program which uses unsafeCoerce everywhere is not working properly! Who'd have thought... About the Haskell Weekly News New editions are posted to [87]the Haskell mailing list as well as to [88]the Haskell Sequence and [89]Planet Haskell. [90]RSS is also available, and headlines appear on [91]haskell.org. To help create new editions of this newsletter, please see the information on [92]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [93]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.algorithm.com.au/blog/files/change.php#unique-entry-id-605 3. http://www.pixar.com/ 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52272 5. http://haskell.org/haskellwiki/Mutually_recursive_modules 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52045 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/UrlDisp 8. http://www.haskell.org/haskellwiki/UrlDisp 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/52012 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51988 11. http://www.haskell.org/~simonmar/base-unicode.tar.gz 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16846 13. http://article.gmane.org/gmane.comp.lang.haskell.general/16840 14. http://ui3.info/d/proj/multiplicity.html 15. http://duplicity.nongnu.org/index.html 16. http://article.gmane.org/gmane.comp.lang.haskell.general/16838 17. http://blog.happstack.com/2009/02/03/happstack-01-released 18. http://happstack.com/ 19. http://article.gmane.org/gmane.comp.lang.haskell.general/16833 20. http://article.gmane.org/gmane.comp.lang.haskell.general/16829 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex%2Dposix 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex%2Dtdfa 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex%2Dposix%2D… 24. http://www.haskell.org/haskellwiki/Regex_Posix 25. http://article.gmane.org/gmane.comp.lang.haskell.general/16822 26. http://janestreetsummer.com/ 27. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51783 28. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/gitit 29. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51764 30. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-xmlschema 31. http://www.haskell.org/haskellwiki/Regular_expressions_for_XML_Schema 32. http://article.gmane.org/gmane.comp.lang.haskell.cafe/51726 33. http://code.haskell.org/diagrams 34. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/colour 35. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/52219 36. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/51998 37. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/51858 38. http://article.gmane.org/gmane.comp.lang.haskell.general/16837 39. http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html 40. http://clip.dia.fi.upm.es/ 41. http://article.gmane.org/gmane.comp.lang.haskell.general/16841 42. http://eecs.oregonstate.edu/ 43. http://planet.haskell.org/ 44. http://haskell.org/haskellwiki/Blog_articles 45. http://www.mega-nerd.com/erikd/Blog/CodeHacking/libsndfile/rel_18.html 46. http://syntax.wikidot.com/blog:1 47. http://greenokapi.net/blog/2008/12/01/functional-pearls-v2-now-with-monads-… 48. http://tehgeekmeister.wordpress.com/2009/02/06/google-code-project-google-g… 49. http://tehgeekmeister.wordpress.com/2009/02/05/releasing-wikimediaparser-01/ 50. http://www.algorithm.com.au/blog/files/change.php#unique-entry-id-605 51. http://augustss.blogspot.com/2009/02/is-haskell-fast-lets-do-simple.html 52. http://augustss.blogspot.com/2009/02/regression-they-say-that-as-you-get.ht… 53. http://www.galois.com/blog/2009/02/05/equivalence-and-safety-checking-in-cr… 54. http://ghcsparc.blogspot.com/2009/02/just-testing.html 55. http://vis.renci.org/jeff/2009/02/05/heiroglyph-interactively-graph-a-sprea… 56. http://vis.renci.org/jeff/2009/02/05/snippet-sorting-the-elements-of-a-map/ 57. http://lhc-compiler.blogspot.com/2009/02/grin-little.html 58. http://axman6.homeip.net/blog/2009/02/other-shootout-news.html 59. http://xmonad.wordpress.com/2009/02/04/contribs-review-spawnon/ 60. http://vis.renci.org/jeff/2009/02/04/hieroglyph-haddock-docs/ 61. http://axman6.homeip.net/blog/2009/02/more-n-bodies-speedups.html 62. http://axman6.homeip.net/blog/2009/02/n-bodies-evolution.html 63. http://koweycode.blogspot.com/2009/02/practical-quickcheck-wanted.html 64. http://axman6.homeip.net/blog/2009/02/textmate-haskell-bundle-improvments.h… 65. http://blog.happstack.com/2009/02/03/happstack-01-released/ 66. http://blog.happstack.com/2009/02/03/socalfp-presentation-patch-tag-as-a-st… 67. http://neilmitchell.blogspot.com/2009/02/monomorphism-and-defaulting.html 68. http://vis.renci.org/jeff/2009/02/03/hieroglyph-part-ii-basic-mousekeyboard… 69. http://vis.renci.org/jeff/2009/02/03/introducing-hieroglyph-purely-function… 70. http://vis.renci.org/jeff/2009/02/03/hieroglyph-howto-part-i-sparklines/ 71. http://axman6.homeip.net/blog/2009/02/n-bodies-speedup-50.html 72. http://johnlato.blogspot.com/2009/02/build-better-wave-reader-pt-2.html 73. http://ghcsparc.blogspot.com/2009/02/join-points.html 74. http://lukepalmer.wordpress.com/2009/02/02/parallel-rewrite-system/ 75. http://johnlato.blogspot.com/2009/02/build-better-wave-reader.html 76. http://lukepalmer.wordpress.com/2009/02/02/dana-update-system-u-box-compile… 77. http://lukepalmer.wordpress.com/2009/02/02/dana-needs-a-self-embedding-of-u… 78. http://noordering.wordpress.com/2009/02/01/simulating-n-bodies-and-function… 79. http://xmonad.wordpress.com/2009/02/01/new-layout-gridvariantssplitgrid/ 80. http://blog.downstairspeople.org/2009/01/04/maybearrow/ 81. http://donsbot.wordpress.com/2009/02/01/haskell-is-a-busy-place/ 82. http://www.alsonkemp.com/haskell/cabal-install-is-awesome/ 83. http://www.mega-nerd.com/erikd/Blog/FP-Syd/fp-syd-11.html 84. http://byorgey.wordpress.com/2009/01/31/diagrams-02-release/ 85. http://sigfpe.blogspot.com/2009/01/beyond-regular-expressions-more.html 86. http://donsbot.wordpress.com/2009/01/31/reviving-the-gofer-standard-prelude… 87. http://www.haskell.org/mailman/listinfo/haskell 88. http://sequence.complete.org/ 89. http://planet.haskell.org/ 90. http://sequence.complete.org/node/feed 91. http://haskell.org/ 92. http://haskell.org/haskellwiki/HWN 93. http://code.haskell.org/~byorgey/code/hwn/

1 0

HaskellWiki Accounts
by Ashley Yakeley 07 Feb '09

07 Feb '09

I just discovered I can create HaskellWiki accounts really easily. If you want one, email me your desired username. Medial spaces are allowed in usernames (just as they are in article titles). -- Ashley Yakeley

1 0

Do you use Haskell on the job?
by kirk.martinez＠gmail.com 06 Feb '09

06 Feb '09

Hello, fellow Haskell hackers! I am writing a term paper on Haskell in Business, and while I have gathered a lot of good information on the Internet, I would really like direct feedback from software professionals who have used Haskell in a business setting. I would really appreciate a few minutes of your time to provide insights gained from applying Haskell in the real world. Who knows, this could lead to a greater adoption of Haskell in the business community! Rather than a list of Haskell's technical strengths (purity, laziness, composition, etc.), I want to get a sense of the process leading up to the decision to use Haskell for a given project and the insights gained during and after completion. I am particularly interested in questions related to business value: * What were the pros and cons you considered when choosing a language? Why FP? Why Haskell? * What aspects of your problem domain were most critical to making that choice? * How has using Haskell given you a competitive advantage? * How is the software development lifecycle positively/negatively affected by using Haskell as opposed to a different language? * How did you convince management to go with a functional approach? * Was the relative scarcity of Haskell programmers a problem? If so, how was it managed? * Would you choose to use Haskell again for a similar project given what you know now? The best responses will not simply list answers, but also provide background and a bit of narrative on the project and insights gained. Feel free to reply to the list, or just to me personally if you prefer. My email is below. Thank you, Kirk Martinez (Kirk dot Martinez at gmail dot com)

1 0

Re: Haskell Digest, Vol 63, Issue 8
by Rishiyur Nikhil 06 Feb '09

06 Feb '09

Simon PJ's interview in Computer World about Haskell: http://www.computerworld.com.au/index.php/id;1974033854 > contains the following quote: "IO is a side effect as we discussed. IO ensures the launching of the missiles: do it now and do it in this order. IO means that it needs to be done in a particular order, so you say do this and then do that and you are mutating the state of the world." I couldn't help enjoying the following abbreviation: "IO ensures the launching of the missiles ... and you are mutating the state of the world." :-) Nikhil PS: Also, "oh, that's not very cool, how can we launch missiles with that?"

2 2

Multiple funded Ph.D. positions available
by Martin Erwig 06 Feb '09

06 Feb '09

The following might be of interest for people on this list who are serious about getting a Ph.D. in CS. -- Martin ------------------------------ Multiple Ph.D. Positions in CS ------------------------------ The school of EECS at Oregon State University has several funded Computer Science Ph.D. positions to fill. The positions will be available in the following areas: * Programming Languages (with a focus on Domain-Specific Languages and Language Design) * Software Engineering * HCI Information about some of the specific projects is available from the web sites of the faculty working in these areas (Martin Erwig, Margaret Burnett, Carlos Jensen and colleagues). Several faculty colleagues also have openings in these areas that are recent, and have not yet been announced. The positions can start as early as Spring term, but no later than Fall term of 2009. Even though the official application deadline has passed, we are accepting applications for these positions, because they have just opened up. If you are interested in one of these positions, please send a resume with contact information to: erwig(a)eecs.oregonstate.edu by February 15. Please indicate in your email which area you are applying to.

1 0

ANN: multiplicity 0.1.0 released
by Dino Morelli 06 Feb '09

06 Feb '09

Just released: multiplicity 0.1.0 is a configuration file driven wrapper around duplicity[1]. It allows you to easily define backup sets as config files and avoid long, repetitive command lines. on Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multiplicity-0.1… homepage: http://ui3.info/d/proj/multiplicity.html [1] duplicity is itself a command-line tool that uses rdiff-backup and gpg to perform encrypted, incremental backups -- Dino Morelli email: dino(a)ui3.info web: http://ui3.info/d/ irc: dino- pubkey: http://ui3.info/d/dino-4AA4F02D-pub.gpg

1 0

Call for Papers: 2nd International Conference on Software Language Engineering
by Serebrenik, A. 04 Feb '09

04 Feb '09

___________________________________________________________________ Call for Papers - SLE 2009 2nd International Conference on Software Language Engineering http://planet-sl.org/sle2009 Denver, Colorado, October 5-6, 2009 ___________________________________________________________________ Co-located with 12th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2009) and 8th International Conference on Generative Programming and Component Engineering (GPCE 2009) Proceedings will be published in the LNCS series (subject to Springer's approval). The 2nd International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE's foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific "technical spaces". SLE 2009 will be co-located with the 12th IEEE/ACM International Conference on Model-Driven Engineering Languages and Systems (MODELS 2009). Scope ----- The term 'software language' comprises all sorts of artificial languages used in software development including general-purpose programming languages, domain-specific languages, modeling and meta-modeling languages, data models, and ontologies. Used in its broadest sense, examples include modeling languages such as UML-based and domain-specific modeling languages, business process modeling languages, and web application modeling languages. The term 'software language' also comprises APIs and collections of design patterns that are implicitly defined languages. Software language engineering is the application of a systematic, disciplined, quantifiable approach to the development, use, and maintenance of these languages. Thus, the SLE conference is concerned with all phases of the life cycle of software languages; these include the design, implementation, documentation, testing, deployment, evolution, recovery, and retirement of languages. Of special interest are tools, techniques, methods and formalisms that support these activities. In particular, tools are often based on or even automatically generated from a formal description of the language. Hence, of special interest is the treatment of language descriptions as software artifacts, akin to programs - while paying attention to the special status of language descriptions, subject to tailored engineering principles and methods for modularization, refactoring, refinement, composition, versioning, co-evolution, and analysis. Topics of interest ------------------ We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques and frameworks that support the aforementioned life cycle activities. Some examples of tools, techniques, applications, and problems are listed below in order to clarify the types of contributions sought by SLE. * Formalisms used in designing and specifying languages and tools that analyze such language descriptions. * Language implementation techniques, grammar-based and metamodel-based. * Program and model transformation tools. * Composition, integration, and mapping tools for managing different aspects of software languages or different manifestations of a given language. * Language evolution. * Approaches to the elicitation, specification, and verification of requirements for software languages. * Language development frameworks, methodologies, techniques, best practices, and tools for the broader language life cycle covering phases such as analysis, testing, and documentation. * Design challenges in SLE. * Applications of languages including innovative domain-specific languages or "little" languages Do note that this list is not exclusive and many examples of tools, techniques, approaches have not been listed. Please visit the conference web site to see a more elaborate description of the topics of interests. The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest of SLE. Paper Submission ---------------- We solicit the following types of papers: * Research papers. These should report a substantial research contribution to SLE and/or successful application of SLE techniques. Full paper submissions must not exceed 20 pages. * Short papers. These may describe interesting or thought-provoking concepts that are not yet fully developed or evaluated, make an initial contribution to challenging research issues in SLE, or discuss and analyze controversial issues in the field. These papers must not exceed 10 pages. * Tool demonstration papers. Because of SLE's ample interest in tools, we seek papers that present software tools related to the field of SLE. These papers will accompany a tool demonstration to be given at the conference. These papers must not exceed 10 pages. The selection criteria include the originality of the tool, its innovative aspects, the relevance of the tool to SLE, and the maturity of the tool. Submissions may also include an appendix (that will not be published) containing additional screen-shots and discussion of the proposed demonstration. * Mini-tutorial papers. SLE is composed of various research areas, such as grammarware, modelware, language schemas, and semantic technologies. The cross product of attendees at SLE creates a situation where the contribution from one session may be difficult to understand by those not initiated to the area. To help unite the various communitues of SLE 2009, mini-tutorials are solicited that provide discussion points for mapping common ideas between the area and differentiating among variations. A mini-tutorial submisson should be between 15 and 20 pages. Submitted articles must not have been previously published or currently be submitted for publication elsewhere. All submitted papers will be closely reviewed by at least three members of the program committee. All accepted papers will be made available at the conference in the pre-proceedings and published in the post-proceedings of the conference, which will appear in Springer's Lecture Notes in Computer Science series. Authors will have the opportunity to revise their accepted paper for the pre- and post-proceedings. All papers must be formatted by following Springer's LNCS style and must be submitted using EasyChair (open early June): http://www.easychair.org/conferences/?conf=sle09 Further details regarding submission can be found on the SLE web page: http://planet-sl.org/sle2009 Invited Speakers ---------------- James Cordy, Queens University, Canada Jean Bezivin, University of Nantes, France Important Dates --------------- * Initial abstract submission (required) July 3, 2009 * Paper submission: July 10, 2009 * Author notification: August 21, 2009 * Paper submission for pre-proceedings: September 14, 2009 * Conference: October 5-6, 2009 * Camera-ready paper submission for post-proceedings: December 7, 2009 * LNCS post-proceedings mailed to authors (approx.): February 2010 Organization ------------ General Chair * Dragan Gasevic, Athabasca University, Canada Program Committee Co-Chairs * Mark van den Brand, TU Eindhoven, The Netherlands * Jeff Gray, University of Alabama at Birmingham, USA Program Committee * Colin Atkinson, Universität Mannheim, Germany * Don Batory, University of Texas at Austin, USA * Paulo Borba, Universidade Federal de Pernambuco, Brazil * John Boyland, University of Wisconsin, Milwaukee, USA * Marco Brambilla, Politecnico di Milano, Italy * Shigeru Chiba, Tokyo Institute of Technology, Japan * Charles Consel, LaBRI / INRIA, France * Gregor Engels, Universität Paderborn, Germany * Stephen A. Edwards, Columbia University, USA * Robert Fuhrer, IBM T.J. Watson Research, USA * Martin Gogolla, University of Bremen, Germany * Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil * Reiko Heckel, University of Leicester, UK * Frédéric Jouault, INRIA & Ecole des Mines de Nantes, France * Nicholas Kraft, University of Alabama, USA * Thomas Kühne, Victoria University of Wellington, New Zealand * Julia Lawall, University of Copenhagen, Denmark * Timothy Lethbridge, University Ottawa, Canada * Brian Malloy, Clemson University, USA * Kim Mens, Université catholique de Louvain, Belgium * Marjan Mernik, University of Maribor, Slovenia * Todd Millstein, University of California, Los Angeles, USA * Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France * Pierre-Alain Muller, University of Haute-Alsace, France * Daniel Oberle, SAP Research, Germany * Richard Paige, University of York, UK * James Power, National University of Ireland, Ireland * João Saraiva, Universidade do Minho, Portugal * Mary Lou Soffa, University of Virginia, USA * Juha-Pekka Tolvanen, MetaCase, Finland * Alexander Serebrenik, Eindhoven University of Technology, Netherlands * Tony Sloane, Macquarie University, Australia * Steffen Staab, Universität Koblenz-Landau, Germany * Jun Suzuki, University of Massachusetts, Boston, USA * Walid Taha, Rice University, USA * Eli Tilevich, Virginia Tech, USA * Jurgen Vinju, CWI, Netherlands * Eelco Visser, Delft University of Technology, Netherlands * René Witte, Concordia University, Canada Organization Committee * Bardia Mohabbati, Simon Fraser University, Canada (Web Chair) * Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity co-Chair) * James Hill, Vanderbilt University, USA (Publicity co-Chair)

1 0

ANN: Happstack 0.1 Released!
by Matthew Elder 04 Feb '09

04 Feb '09

Hello Haskell Universe, I just wanted to inform you that the Happstack project has shipped it's 0.1 release. For those of you who don't know, Happstack is the successor for the HAppS project. More details on the release can be found at http://blog.happstack.com/2009/02/03/happstack-01-released . Thanks for your time, Matthew Elder -- Need somewhere to put your code? http://patch-tag.com Want to build a webapp? http://happstack.com -- Need somewhere to put your code? http://patch-tag.com Want to build a webapp? http://happstack.com

1 0