- Haskell - Haskell.org

[FMICS 2009] Call for Posters
by FMICS 2009 workshop chair 27 May '09

27 May '09

FMICS 2009 - CALL FOR POSTERS Please visit: http://users.dsic.upv.es/workshops/fmics2009 ************************************************************ * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************************ * ** IMPORTANT DATES ** * * * * Submission deadline: June 5, 2009 * * Notification: June 20, 2009 * * Camera-ready version: July 15, 2009 * * Workshop: November 2-3, 2009 * * * ************************************************************ * * * +============================================+ * * | | * * | ** FMweek ** | * * | | * * +============================================+ * * | CPA | FACS | FAST | * * +--------------------------------------------+ * * | FM2009 | FMCO | FMICS | * * +--------------------------------------------+ * * | PDMC | REFINE | TESTCOM/FATES | * * +--------------------------------------------+ * * | http://www.win.tue.nl/fmweek | * * +============================================+ * * * ************************************************************

1 0

TFM09: Deadline extension to 8 June
by J.N. Oliveira 27 May '09

27 May '09

TFM 2009 - DEADLINE EXTENSION TO 8 JUNE Please visit: http://www.di.uminho.pt/tfm09 ------------------------------------------------------------------------ ----- TFM 2009 2nd Int. FME Conference on Teaching Formal Methods "Widening Access to Formal Methods" Friday, November 6th 2009, co-located with FM2009 : 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009 CALL FOR PAPERS (URL: http://www.di.uminho.pt/tfm09) 1. About the conference ----------------------- Ten years after the First World Formal Methods Congress (FM'99) in Toulouse, formal methods communities from all over the world will once again have an opportunity to come together. As part of the First Formal Methods Week event surrounding the FM2009 conference in Eindhoven, Formal Methods Europe will be organizing TFM2009, the Second International Conference on Teaching Formal Methods. The conference will serve as a forum to explore the successes and failures of Formal Methods (FM) education, and to promote cooperative projects to further education and training in FMs. We would like to provide a forum for lecturers, teachers, and industrial partners to discuss their experience, present their pedagogical methodologies, and explore best practices. TFM2009 follows in a series of recent events on teaching formal methods, including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), etc. 2. Topics of interest --------------------- Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance ? for educators, for managers, or for the engineers themselves ? as to what might comprise a basic education in FM. Neither the present IEEE/ACM Software Engineering Body of Knowledge (SWEBOK) nor the forthcoming Graduate Software Engineering Reference Curriculum (GSWERC) provide the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM. Original contributions are solicited that provide insight, opinions, and suggestions for courses of action regarding the teaching FMs, including but not limited to the following aspects: * experiences of teaching FMs, both successful and unsuccessful; * educational resources including the use of books, case studies and the internet; * the education of weak and mathphobic students; * the integration, or otherwise, of FMs into the curriculum, including contributions to the definition of a Formal Methods Body of Knowledge (FMBOK); * the advantages of FM-trained graduates in the workplace; * changing attitudes towards FMs in students, academic staff and practitioners; * the necessary mathematical background. The conference proceedings will be published by Springer-Verlag in the LNCS series. Submissions may be up to 20 pages long using Springer's LNCS format. 3. Important dates ------------------ Please put the following dates in your diary: Submission deadline (extended) June 8, 2009 Notification of acceptance July 6, 2009 Final version August 3, 2009 4. How to submit ---------------- Papers for TFM2009 will be processed through the EasyChair conference management system. To submit your paper, please visit: http://www.easychair.org/conferences/?conf=tfm2009 5. Invited speakers ------------------- To be announced 6. Programme Committee ---------------------- Izzat Alsmadi (North Dakota State University, USA) Dines Bjorner (IIMM Institute, Denmark) Eerke Boiten (University of Kent, UK) Raymond Boute (Universiteit Gent, Belgium) Andrew Butterfield (Trinity College, Dublin) Jim Davies (University of Oxford, UK) David Duce (Oxford Brookes University, UK) John Fitzgerald (University of Newcastle upon Tyne, UK) Jeremy Gibbons (University of Oxford, UK) Randolph Johnson (National Security Agency, USA) Michael Mac an Airchinnigh (Trinity College, Dublin) Dino Mandrioli (Politecnico di Milano, Italy) Jose Oliveira (Universidade do Minho, Portugal) Kees Pronk (Technische Universiteit Delft, NL) Bernhard Schaetz (Tecnical University of Munique, Germany) Wolfgang Schreiner (Johannes Kepler University Linz, Austria) Simao Melo de Sousa (Universidade da Beira Interior, Portugal) Kenji Taguchi (National Institute of Informatics, Japan) Jeannette Wing (Carnegie-Mellon University, USA) 7. Sponsorship ---------------------- TFM2009 is supported by FME, the Formal Methods Europe Association.

1 0

Announce: storable-record
by Henning Thielemann 26 May '09

26 May '09

I like to announce a small package for simplified declaration of Storable instances for records. It may be used alternatively to the C2HS preprocessor. It was made possible by advanced applicative technology, a cutting edge LCM monoid and an incredible constructor power tower. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/storable-record

1 0

ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009)
by Janis Voigtlaender 26 May '09

26 May '09

On behalf of the many, many contributors, I am pleased to announce that the Haskell Communities and Activities Report (16th edition, May 2009) http://www.haskell.org/communities/ is now available from the Haskell Communities home page in PDF and HTML formats. Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as I did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline ;-) to the call. The editor collects all the contributions into a single report and feeds that back to the community. When I try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ---------------------------------------- End of October 2009: target deadline for contributions to the November 2009 edition of the HC&A Report ---------------------------------------- Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editor for a simple e-mail reminder in October (you could point me to them as well, and I can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Janis Voigtlaender <hcar at haskell.org> -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de

4 5

(no subject)
by Oege de Moor 25 May '09

25 May '09

To: <haskell(a)haskell.org> Subject: 10 jobs in declarative programming TEN DECLARATIVE PROGRAMMING CONSULTANTS SOUGHT Semmle and LogicBlox are creating a platform for declarative programming in Datalog, a pure logic programming language. Semmle is based in Oxford, headed by Oege de Moor; LogicBlox is based in Atlanta, headed by Molham Aref. To configure our solution at a number of large corporate clients in the retail, insurance and software quality industries, we urgently require 10 full-time staff to act as consultants. These consultants will work with clients to write custom queries in Datalog, and to create user interfaces in a declarative framework. This is a unique opportunity to change the way enterprise software is constructed, and to become part of the revolution to adopt declarative programming in mainstream applications. Semmle and LogicBlox offer a vibrant, intellectually stimulating environment to work on exciting applications of cutting-edge technology. Requirements: You must be passionate about simplifying the construction of complex software systems. A good undergraduate degree in computer science or related discipline is necessary. Substantial programming experience, and familarity with declarative programming (both functional and logic) is a must. Some travel will be required. Starting date and renumeration: The openings are available immediately. The renumeration depends on experience and qualifications; it is especially competitive for recent graduates. Further information: To find out more about this opportunity, write to Oege de Moor (oege(a)semmle.com) and Molham Aref (molham(a)logicblox.com) To apply: Send a CV and the names of three referees (at least two of whom must be able to comment on your programming abilities) to recruit(a)semmle.com, by June 12.

1 0

ANN: Haskell Hackathon in Philadelphia
by Brent Yorgey 24 May '09

24 May '09

Hi all! We are in the early stages of planning a Haskell hackathon/get together, Hac φ, to be held this summer at the University of Pennsylvania, in Philadelphia. Right now we're looking at two possible dates: June 19-21 or July 24-26 If you might be interested in attending, please add your name on the wiki page: http://www.haskell.org/haskellwiki/Hac_%CF%86 You can also note whether either of those dates absolutely doesn't work for you. (If you don't have an account on the wiki, you can email Ashley Yakeley for an account [1], or feel free to just respond to this email.) Expect more details (such as a nailed-down date) soon, once we have gauged the level of interest. Hope to see you in Philadelphia! Brent (byorgey) Daniel Wagner (dmwit) [1] http://haskell.org/haskellwiki/HaskellWiki:New_accounts

2 1

ANN: hledger 0.5 released
by Simon Michael 24 May '09

24 May '09

I'm pleased to announce the hledger 0.5 release on hackage. hledger is a (mostly) text-mode double-entry accounting tool that generates precise activity and balance reports from a plain text journal file. It is a partial clone, in haskell, of John Wiegley's excellent ledger. hledger implements a subset of ledger's commands and options, and also provides some new ones. For basic use you can use hledger and ledger pretty much interchangeably on the same data files. For screenshots, live demo, docs etc. see http://hledger.org . Release notes are at http://hledger.org/NEWS , and below. To install: cabal install hledger [-fvty] [-fhapps]. I'd like to hear feedback, especially if you are having trouble getting started. Happy tracking! - Simon (sm on #ledger) 2009/05/23 hledger 0.5 released ------------------------------- Changes: * the vty flag is disabled by default again, to ease installation on windows * use ledger 3 terminology: a ledger contains transactions which contain postings * new "add" command prompts for transactions interactively and adds them to the ledger * new "convert" command transforms bank CSV exports to ledger format, with rule-based cleanup * new "histogram" command shows transaction counts per day or other reporting interval * most commands now work properly with UTF8-encoded text (Sergey Astanin) * invoking as "hours" is now less different: it just uses your timelog, not your ledger * --quarterly/-Q option summarises by quarter * --uncleared/-U option looks only at uncleared transactions * be more accurate about checking balanced amounts, don't rely on display precision * enforce balancing for bracketed virtual postings * fix bug in eliding of posting amounts * don't show trailing spaces on amountless postings * parse null input as an empty ledger * don't treat comments as part of transaction descriptions * require some postings in ledger transactions * require a non-empty description in ledger transactions * don't fail when matching an empty pattern, as in "not:" * make the web server handle the null path * code, api and documentation updates * add a contributor agreement/list Release contributors: * Simon Michael * Sergey Astanin Release stats: * Days since last release: 51 * Committers: 2 * Commits: 101 * Lines of non-test code: 2795 * Known errors: 0 * Tests: 76 * Performance: || hledger-0.4 | hledger-0.5 | ledger =========================++=============+=============+======= -f sample.ledger balance || 0.01 | 0.01 | 0.06 -f 1000.ledger balance || 1.33 | 1.46 | 0.53 -f 10000.ledger balance || 15.28 | 16.35 | 4.67

1 0

Haskell Weekly News: Issue 119 - May 23, 2009
by Brent Yorgey 23 May '09

23 May '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090523 Issue 119 - May 23, 2009 --------------------------------------------------------------------------- Welcome to issue 119 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements GHC porting works again. Ian Lynagh [2]announced that the [3]instructions for porting GHC to a new architecture now work again with the HEAD. If you get stuck when trying to do a port, feel free to ask on cvs-ghc at haskell.org or in #ghc on freenode. 6.10.4 plans. Ian Lynagh [4]announced plans for a 6.10.4 bugfix release of GHC. If you know of any bugs that you think should be looked into for 6.10.4, please let the development team know. The Timber compiler 1.0.3. Johan Nordlander [5]announced the release of version 1.0.3 of the Timber compiler. Timber is a modern language for building event-driven systems, based around the notion of reactive objects. It is also a purely functional language derived from Haskell, although with a strict evaluation semantics. 1.0.3 is a bug fix release, paving the way for future feature releases. mathlink-2.0.0.3. Tracy Wadleigh [6]announced the release of [7]mathlink, a library for writing Mathematica packages in Haskell. One simply writes some functions of type (MLGet a, MLPut b) => a -> IO b and provides a package specification in a simple DSL; the result is a program that exposes functions that can be called from Mathematica. text 0.2, fast and comprehensive Unicode support using stream fusion. Bryan O'Sullivan [8]announced the availability of [9]text 0.2, an efficient Unicode text library that uses stream fusion. New and notable in this release is support for lazy, chunked text, so you can process text files far larger than memory using a small footprint. Haskell Hackathon in Philadelphia. Brent Yorgey [10]announced Hac phi, a Haskell hackathon to be held in Philadelphia in July. Check out the [11]wiki page and add your name if you are interested in attending! More details to follow soon. feed2twitter 0.2 & hackage2twitter 0.2.1. Tom Lokhorst [12]announced the first release of [13]feed2twitter, a library for sending posts from a news feed to Twitter. EsotericBot 0.0.1. spoon [14]announced the release of [15]Esotericbot, a sophisticated, lightweight IRC bot, written in Haskell. atom 0.0.4. Tom Hawkins [16]announced a new release of [17]atom; this version adds an array datatype (A a). Hieroglyph-2.21 and buster, buster-gtk, and buster-network-2.0. Jeff Heard [18]announced new releases of [19]Hieroglyph, [20]buster, [21]buster-gtk, and [22]buster-network, with tons of changes; read Jeff's original announcement for details. TxtSushi 0.1. Keith Sheppard [23]announced the first version of [24]TxtSushi, a collection of command line utilities for processing tab-delimited and CSV files. It includes a utility for doing SQL SELECTs on flat files. Discussion Should exhaustiveness testing be on by default? Don Stewart started a [25]discussion, prompted by a [26]recent blog post, on whether coverage checking should be on by default, and other issues relating to compiler warnings and coding style. Proposal on the platform API policy question. Duncan Coutts [27]proposed a general policy for Haskell Platform release cycles and versioning, based on input from previous discussions. the problem of design by negation. Michael Mossey began a [28]discussion on software design philosophies. "Design by negation" considered harmful? Haskell in 3 Slides. John Van Enk [29]asked for ideas on a 3 to 4 slide introduction to Haskell. What do YOU think should be on those slides? Blog noise [30]Haskell news from the [31]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Bryan O'Sullivan: [32]Streaming Unicode support for Haskell: text 0.2. * Alex McLean: [33]Haskell hack. Music generation in Haskell. * Well-Typed.Com: [34]Building plugins as Haskell shared libs. A sneak preview of building Haskell shared libraries on Linux. * LHC Team: [35]New release: LHC 0.8. * Mark Wassell: [36]Grapefruit And Glade. * Conal Elliott: [37]The C language is purely functional. * >>> Will Donnelly: [38]Haskell: A Pretty Nice Language. * FP-Syd: [39]Sydney FP Group: FP-Syd #14.. * Dan Piponi (sigfpe): [40]Trace Diagrams with Monads. Quotes of the Week * roconnor: Damn it, I don't know how to make this as slow as python. * koeien: Let's register it [monomorphismrestriction.com] to prevent it from being used ;) * Elly: Rule 1 of malloc is the same as rule 1 of air travel: "Attempt at all costs to keep your number of landings equal to your number of takeoffs." * monochrom: I was trying to design a sensible language... then I downloaded ghc. * conal: The C ADT is implemented simply as String (or char *, for you type theorists, using a notation from Kleene) * Will Donnelly: monads are okay after a bit (though I'm still a little suspicious of them) About the Haskell Weekly News New editions are posted to [41]the Haskell mailing list as well as to [42]the Haskell Sequence and [43]Planet Haskell. [44]RSS is also available, and headlines appear on [45]haskell.org. To help create new editions of this newsletter, please see the information on [46]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [47]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16984 3. http://hackage.haskell.org/trac/ghc/wiki/Building/Porting 4. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/16972 5. http://article.gmane.org/gmane.comp.lang.haskell.general/17200 6. http://article.gmane.org/gmane.comp.lang.haskell.general/17197 7. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mathlink 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58862 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/text 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58817 11. http://www.haskell.org/haskellwiki/Hac_%CF%86 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58801 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/feed2twitter 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58796 15. http://www.killersmurf.com/projects/esotericbot 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58752 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/atom 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58683 19. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hieroglyph 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster-gtk 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/buster%2Dnetwork 23. http://article.gmane.org/gmane.comp.lang.haskell.cafe/58635 24. http://www.keithsheppard.name/txt-sushi 25. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/16926 26. http://ocaml.janestreet.com/?q=node/64 27. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/11145 28. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58784 29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/58664 30. http://planet.haskell.org/ 31. http://haskell.org/haskellwiki/Blog_articles 32. http://www.serpentine.com/blog/2009/05/22/streaming-unicode-support-for-has… 33. http://yaxu.org/haskell-hack/ 34. http://blog.well-typed.com/2009/05/buildings-plugins-as-haskell-shared-libs/ 35. http://lhc-compiler.blogspot.com/2009/05/new-release-lhc-08.html 36. http://www.poundstone.org/blog/?p=231 37. http://conal.net/blog/posts/the-c-language-is-purely-functional/ 38. http://willdonnelly.wordpress.com/2009/05/19/haskell-a-pretty-nice-language/ 39. http://www.mega-nerd.com/erikd/Blog/FP-Syd/fp-syd-14.html 40. http://blog.sigfpe.com/2009/05/trace-diagrams-with-monads.html 41. http://www.haskell.org/mailman/listinfo/haskell 42. http://sequence.complete.org/ 43. http://planet.haskell.org/ 44. http://sequence.complete.org/node/feed 45. http://haskell.org/ 46. http://haskell.org/haskellwiki/HWN 47. http://code.haskell.org/~byorgey/code/hwn/

1 0

GTTSE 2009 --- Last Call For Participation (06-11 July 2009)
by João Saraiva 22 May '09

22 May '09

GTTSE 2009, 06-11 July, 2009, Braga, Portugal 3rd International Summer School on Generative and Transformational Techniques in Software Engineering http://gttse.wikidot.com/ *********************************** ** ** ** 8 Tutorials ** ** 7 Short Tutorials ** ** Participants Workshop ** ** ** ** Registration Deadline: June 5 ** ** ** *********************************** SCOPE AND FORMAT The summer school brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, meta-models, and documentation. This concerns many areas of software engineering: software reverse and re-engineering, model-driven approaches, automated software engineering, generic language technology, to name a few. These areas differ with regard to the specific sorts of meta-models (or grammars, schemas, formats etc.) that underlie the involved artifacts, and with regard to the specific techniques that are employed for the generation and the transformation of the artifacts. The tutorials are given by renowned representatives of complementary approaches and problem domains. Each tutorial combines foundations, methods, examples, and tool support. The program of the summer school also features invited technology presentations, which present setups for generative and transformational techniques. These presentations complement each other in terms of the chosen application domains, case studies, and the underlying concepts. The program of the school also features a participants workshop. All summer school material will be collected in proceedings that are handed out to the participants. Formal proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings of the previous two instances of the summer school (2005 and 2007) were published as volumes 4143 and 5235 in the Lecture Notes in Computer Science series of Springer-Verlag. TUTORIALS * Software Product Line Refactoring Paulo Borba, Univ. Federal de Pernambuco, Recife, Brazil * The TXL Source Transformation Cookbook James R. Cordy, Queen's University, Kingston, Canada * Chasing Diagrams in the Mapping Forests of Model Transformations Zinovy Diskin, Univ. of Waterloo and Univ. of Toronto, Canada * Generating Language Tools with JastAdd Görel Hedin, Lund Institute of Technology, Sweden. * Model Driven Language Engineering with Kermeta Jean-Marc Jézéquel, IRISA, Rennes, France * Rascal: Meta-programming Made Easy Paul Klint, CWI and Universiteit van Amsterdam, Netherlands * Sourcerer: Slicing and Dicing Large Amounts of Open Source Code Cristina Videira Lopes, University of California, Irvine, USA * The Theory and Practice of Modeling Language Design for Model-Based Engineering Bran Selic, Malina Software Corp., Canada SHORT TUTORIALS * The 'Archæology' of Transformations Michel Wermelinger and Yijun Yu, The Open University. UK * Compilation for Embedded and Reconfigurable Computing Architectures João M. P. Cardoso, University of Porto, Portugal * Lightweight Domain-Specific Language Processing in Kiama Anthony Sloane, Macquarie University, Australia * Genesys: Service-Oriented Construction of Property Conform Code Generators Tiziana Margaria, University of Potsdam, Germany * The Need for Early Aspects Ana Moreira, Universidade Nova de Lisboa, Portugal * Model Transformation Chains for Model-Driven Performance Engineering Mathias Fritzsche, SAP Research * Research 2.0 and Software Engineering 2.0 Jean-Marie Favre and Denis Avrilionis, University of Grenoble, France ORGANIZATION COMMITTEE * João M. Fernandes (Program Co-Chair), Universidade do Minho, Portugal * Ralf Lämmel (Program Co-Chair), Universität Koblenz-Landau, Germany * João Saraiva, Universidade do Minho, Portugal * Joost Visser, Software Improvement Group, The Netherlands ADDITIONAL INFORMATION For additional information on the program, venue, and other details of the summer school, please consult the web page: http://gttse.wikidot.com/ Note that registration for the summer school will open in February 2009. Before that time, those who wish to be notified personally when registration opens are welcome to send an expression of interest to gttse2009 AT di.uminho.pt.

1 0

HaL4: Haskell-Treffen in Halle/Saale, 12. Juni 2009 - Programm und Anmeldung
by unknown＠example.com 20 May '09

20 May '09

Kindly excuse the German noise, please ... Liebe Haskell-Freunde! Das Programm fuer unser Haskell-Treffen steht jetzt so gut wie fest und man kann sich online anmelden. --------------------------------------------- HaL4 : Haskell - Tutorial + Workshop + Party am Freitag, dem 12. Juni 2009, in Halle/Saale --------------------------------------------- Das traditionsreiche HaL-Treffen bietet eine gute Mischung von Haskell-bezogenen Themen aus Forschung, Anwendung und Lehre mit vielen Möglichkeiten zu Diskussion und Unterhaltung bei der anschließenden Party. Der Workshop wird in diesem Jahr ergänzt durch Tutorien für Haskell-Ein- und Umsteiger. Diesmal findet das Treffen in Halle/Saale im Institut für Informatik der Martin-Luther-Universität Halle-Wittenberg statt. Wir bieten: 10 Uhr: Entwurfsmuster vom Kopf auf die Fuesse gestellt: data, fold und laziness statt Kompositum, Visitor, Iterator. Johannes Waldmann, HTWK Leipzig. 11 Uhr: CAL/openquark: (openquark.org) Haskell + Java => CAL, eine praktische Einfuehrung (Eclipse als CAL-IDE, Excel lesen, typsicheres SQL = LINQ fuer Java?) Alf Richter, iba Consulting, Leipzig 12 Uhr: Wie man das Semikolon ueberlaedt: Code-Strukturierung und -Wiederverwendung durch Monaden 15 Uhr: Hayoo! Haskell API Search Timo Huebel, FH Wedel 16 Uhr: Haskell als reine Spezifikationssprache Baltasar Trancon y Widemann, Universit Bayreuth 17 Uhr: Funktional-logische Programmierung mit Curry Jan Christiansen, Universitaet Kiel 19 - 22 Uhr: Grillparty Wir freuen uns auf rege Teilnahme sowie spannende Vorträge mit heißen Diskussionen und bitten um Anmeldung bis zum 31. Mai. Weitere Informationen auf http://www.iba-cg.de/hal4.html Beste Gruesse Henning Thielemann

1 0