- Haskell - Haskell.org

Haskell Weekly News: Issue 76 - July 9, 2008
by Brent Yorgey 09 Jul '08

09 Jul '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080709 Issue 76 - July 09, 2008 --------------------------------------------------------------------------- Welcome to issue 76 of HWN, a newsletter covering developments in the [1]Haskell community. The [2]ICFP Programming Contest is this weekend! Go forth and kick some butt, Haskell-style. A big thank you in advance to all those at PSU and U Chicago who are working hard to write and run the contest. Community News Luke Palmer (luqui) is [3]having a great time in Antwerp. John Goerzen's son is [4]so cute, it should be illegal. Announcements Haskell-cafe on lively.com. Edward Kmett has created a [5]Haskell Cafe room on Google's new virtual-world platform [6]Lively (which is unfortunately windows-only at the moment). Uniplate 1.2. Neil Mitchell [7]announced the release of [8]Uniplate 1.2, a library for reducing boilerplate code by performing generic traversals. Version 1.2 features some bug fixes, a compatibility layer with Compos and SYB, and a 25-50% performance increase over Uniplate 1.0. GHC 6.8.2 stable in Gentoo. Luis Araujo [9]announced that GHC 6.8.2, and its accompanying libraries, have now been marked as stable in the official Gentoo portage tree. The Monad.Reader (11) - Call for Copy. Wouter Swierstra [10]announced a call for copy for Issue 11 of [11]the Monad.Reader. The submission deadline is August 1, although you should let Wouter know as soon as possible if you plan to submit something. hCsound. John Lato [12]announced the initial public release of [13]hCsound, a Haskell binding to the Csound audio processing language API. Portland and OSCon. John Goerzen [14]inquired whether any Haskellers in Portland would be interested in getting together during OSCon July 23 or 24. Faster graph SCCs. Iavor Diatchki [15]announced that he has implemented Tarjan's algorithm for computing the strongly connected components of a graph, which is considerably faster than the containers package for larger graphs. Iavor's implementation is available in the [16]GraphSCC package. parallel map/reduce. jinjing [17]exhibited some code for doing parallel map/reduce computations. Disciplined Disciple Compiler. Ben Lippmeier [18]announced version 1.1 of the [19]Disciplined Disciple Compiler (DDC), an explicitly lazy dialect of Haskell, with support for first class destructive update of arbitrary data, computational effects without the need for state monads, and type directed field projections. Version 1.1 includes a number of new features and more example code. darcs 2.0.2. David Roundy [20]announced the release of [21]darcs 2.0.1 and 2.0.2. These releases fix quite a few bugs, and users of darcs 2 are strongly recommended to upgrade. Google Summer of Code Progress updates from participants in the 2008 [22]Google Summer of Code. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. Over the [23]past two weeks, he has implemented type safe dynamic loading, an annotations system, and some sample plugins. Hoogle 4. Neil Mitchell (ndm) is working on [24]Hoogle 4. [25]This week, he has been working on type searching, using a much more efficient algorithm than type search in previous versions of Hoogle. Next week, he plans to finish off type search and work on the build system. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a [26]physics engine using [27]Data Parallel Haskell. He spent most of [28]this week fixing bugs and improving existing simulation code. And he now has something to [29]show for it! Language.C. Benedikt Huber (visq) is [30]working on Language.C, a standalone parser/pretty printer library for C99. [31]This week, he created a semantic representation for declarations and types, and a way to convert between an AST representation and a semantic representation. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a [32]make-like dependency analysis framework for Cabal. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. GHC API. Thomas Schilling (nominolo) is working on [33]improvements to the GHC API. Libraries Proposals and extensions to the [34]standard libraries. Extensible exceptions. Ian Lynagh sent out a [35]proposal to replace the current exception mechanism in the base library with extensible exceptions, a la Simon Marlow's [36]extensible extensions paper. Deadline for discussion is 25th July. Discussion Qualified import syntax badly designed (?). Neil Mitchell began a [37]discussion about Haskell syntax for qualified module imports (and module imports in general). Trouble with zip12. Michael Feathers is [38]having trouble with the zip12 function and some weird SQL-related errors... Santana on my evil ways. John D. Ramsdell [39]set off a spate of Haskell song and poetry. Alternatives to convoluted record syntax. Dougal Stanton [40]asked about alternatives to convoluted record update syntax, eliciting a number of interesting responses. Jobs Lectureship in Functional Programming, Nottingham. Graham Hutton [41]announced an opening for a Lecturer in the Functional Programming Lab in Nottingham, a recently formed research group that comprises Thorsten Altenkirch, Graham Hutton, Henrik Nilsson, four research fellows, and eleven PhD students. Applications from the Haskell community are encouraged! The closing date for applications is Friday 15th August 2008. Blog noise [42]Haskell news from the [43]blogosphere. * Edward Kmett: [44]A Lively Haskell Cafe. A Haskell Cafe room on lively.com! * Sterling Clover: [45]Comonads in everyday life. A neat post on using a zipper comonad to render a website menu hierarchy without lots of duplicated effort. * Chung-chieh Shan: [46]Differentiating regions. * Real-World Haskell: [47]Real World Haskell, The Book, Available for Pre-Order. * Benedikt Huber: [48]An analysis-friendly representation. An update on Benedikt's Google Summer of Code project, Language.C. * Chris Okasaki: [49]Breadth-First Numbering: An Algorithm in Pictures. Algorithms without words! * >>> Jeremy Frens: [50]PE Problem #2 in All Languages (Part I). Jeremy explores solutions to Project Euler problem #2 in a variety of languages. * Roman Cheplyaka: [51]Double buffering & demo. A demo of Roman's Google Summer of Code physics simulator! * Roman Cheplyaka: [52]QuickCheck puzzle: the answer. Why Roman's QuickCheck test involving nonzero vectors didn't terminate. Sneaky. * Roman Cheplyaka: [53]Status report: week 6. A status report on Roman's Google Summer of Code project. * >>> JP Moresmau: [54]Handling errors in JSON to Haskell deserialization. JP adds error handling with an Either monad to his JSON deserialization code. * Braden Shepherdson: [55]Fixed Point Datatypes. Braden explains the concept of recursive data types as fixed points of functors. * Luis Araujo: [56]GHC 6.8.2 stable! (Himerge 0.21.9 too!). * Matthew Sackman: [57]Anglo Haskell 2008. * Neil Mitchell: [58]GSoC Hoogle: Week 6. * >>> James Hague: [59]Functional Programming Went Mainstream Years Ago. * Max Bolingbroke: [60]Compiler Plugins For GHC: Weeks Three and Four. An update on Max's Google Summer of Code project. * >>> David Overton: [61]A Haskell Sudoku Solver using Finite Domain Constraints. David shows how to use his Haskell constraint solver to solve Sudoku puzzles. Pretty neat! * >>> Lorenz Pretterhofer: [62]Haskell Does Concurrency. * Edward Kmett: [63]Anamorphism. The newest installment in Edward's [64]field guide to recursion schemes. * John Goerzen (Real World Haskell): [65]Last Call for Comments on Most Chapters. Real World Haskell is going to press soon! Get your final comments in ASAP! * Edward Kmett: [66]MSFP 2008. * Lennart Augustsson: [67]Lost and Found. A very slick Haskell library for tracing how expressions are actually evaluated, including the ability to explicitly see the sharing involved! * Tom Nielsen (FP Lunch): [68]braincurry. A domain specific language to define and execute experiments and simulations related to cellular neuroscience. * Alex McLean: [69]Visualisation of a triangular mesh. * Paul R Brown: [70]Beust Sequence Ruminations. Thoughts on solving an interesting puzzle in Haskell. * >>> David Overton: [71]Constraint Programming in Haskell. David is working on a constraint logic programming system in Haskell. * >>> chaource: [72]Why functional programming is almost dead (and has always been). Interesting argument? Flawed premises? Both? None of the above? You decide! Quotes of the Week * jfredett: I'd code but I'm so drugged up I could only write effective code in perl. * SamB: [SamB] @let forkbomb n = forkbomb (2*n) `par` forkbomb (2*n+1) [lambdabot] Defined. [SamB] > forkbomb 1 -!- lambdabot [n=lambdabo@72.249.126.23] has quit [Remote closed the connection] * vinicius: haskell is macgyver with bananas, barbed wired and envelopes * dons: huh, amazon recommends Neal Stephenson + RWH * Pseudonym: trapped in the IO monad: The lesser known R. Kelly opera * byorgey: Extreme Anger Programming: you are paired with a really dumb partner and after twenty minutes of agony you rip the keyboard from their hands, delete everything they typed, and do it yourself About the Haskell Weekly News New editions are posted to [73]the Haskell mailing list as well as to [74]the Haskell Sequence and [75]Planet Haskell. [76]RSS is also available, and headlines appear on [77]haskell.org. Headlines are available as [78]PDF. To help create new editions of this newsletter, please see the information on [79]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [80]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.icfpcontest.org/ 3. http://luqui.org/blog/archives/2008/07/05/fun-with-flemish/ 4. http://changelog.complete.org/posts/728-guid.html 5. http://www.lively.com/dr?rid=-4485567674160322075 6. http://www.lively.com/ 7. http://article.gmane.org/gmane.comp.lang.haskell.general/16292 8. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uniplate 9. http://araujoluis.blogspot.com/2008/07/ghc-682-stable-himerge-0219-too.html 10. http://article.gmane.org/gmane.comp.lang.haskell.general/16290 11. http://www.haskell.org/haskellwiki/The_Monad.Reader 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16288 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hCsound 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42047 15. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9470 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GraphSCC 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41944 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41941 19. http://www.haskell.org/haskellwiki/DDC 20. http://lists.osuosl.org/pipermail/darcs-users/2008-June/012480.html 21. http://darcs.net/ 22. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 23. http://blog.omega-prime.co.uk/2008/07/05/compiler-plugins-for-ghc-weeks-thr… 24. http://code.haskell.org/hoogle/ 25. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-6.html 26. http://haskell.org/haskellwiki/Hpysics 27. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 28. http://physics-dph.blogspot.com/2008/07/status-report-week-6.html 29. http://physics-dph.blogspot.com/2008/07/double-buffering-demo.html 30. http://www.sivity.net/projects/language.c/wiki/ 31. http://hsbene.blogspot.com/2008/07/analysis-friendly-representation.html 32. http://code.haskell.org/~Saizan/cabal 33. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 34. http://haskell.org/haskellwiki/Library_submissions 35. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9481 36. http://www.haskell.org/~simonmar/papers/ext-exceptions.pdf 37. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42080 38. http://www.haskell.org//pipermail/haskell-cafe/2008-July/044956.html 39. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41975 40. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41936 41. http://article.gmane.org/gmane.comp.lang.haskell.general/16285 42. http://planet.haskell.org/ 43. http://haskell.org/haskellwiki/Blog_articles 44. http://comonad.com/reader/2008/haskell-cafe/ 45. http://fmapfixreturn.wordpress.com/2008/07/09/comonads-in-everyday-life/ 46. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Differentiation/ 47. http://www.realworldhaskell.org/blog/2008/07/08/real-world-haskell-the-book… 48. http://hsbene.blogspot.com/2008/07/analysis-friendly-representation.html 49. http://okasaki.blogspot.com/2008/07/breadth-first-numbering-algorithm-in.ht… 50. http://jdfrens.blogspot.com/2008/07/pe-problem-2-in-all-languages-part-i.ht… 51. http://physics-dph.blogspot.com/2008/07/double-buffering-demo.html 52. http://physics-dph.blogspot.com/2008/07/quickcheck-puzzle-answer.html 53. http://physics-dph.blogspot.com/2008/07/status-report-week-6.html 54. http://jpmoresmau.blogspot.com/2008/07/handling-errors-in-json-to-haskell.h… 55. http://braincrater.wordpress.com/2008/07/07/fixed-point-datatypes/ 56. http://araujoluis.blogspot.com/2008/07/ghc-682-stable-himerge-0219-too.html 57. http://www.wellquite.org/anglo_haskell_2008.html 58. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-6.html 59. http://prog21.dadgum.com/31.html 60. http://blog.omega-prime.co.uk/2008/07/05/compiler-plugins-for-ghc-weeks-thr… 61. http://overtond.blogspot.com/2008/07/haskell-sudoku-solver-using-finite.html 62. http://krysole.net/2008/07/04/haskell-does-concurrency/ 63. http://comonad.com/reader/2008/anamorphism/ 64. http://comonad.com/reader/2008/recursion-schemes/ 65. http://www.realworldhaskell.org/blog/2008/07/03/last-call-for-comments-on-m… 66. http://comonad.com/reader/2008/msfp/ 67. http://augustss.blogspot.com/2008/07/lost-and-found-if-i-write-108-in.html 68. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=105 69. http://doc.gold.ac.uk/~ma503am/alex/visualisation-of-a-mesh/ 70. http://mult.ifario.us/p/beust-sequence-ruminations 71. http://overtond.blogspot.com/2008/07/pre.html 72. http://chaource.livejournal.com/34530.html 73. http://www.haskell.org/mailman/listinfo/haskell 74. http://sequence.complete.org/ 75. http://planet.haskell.org/ 76. http://sequence.complete.org/node/feed 77. http://haskell.org/ 78. http://code.haskell.org/~byorgey/code/hwn/archives/20080709.pdf 79. http://haskell.org/haskellwiki/HWN 80. http://code.haskell.org/~byorgey/code/hwn/

1 0

ANN: Uniplate 1.2
by Neil Mitchell 08 Jul '08

08 Jul '08

I am pleased to announce Uniplate 1.2, available from Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uniplate Description =========== Uniplate is a library for reducing boilerplate code, by performing generic traversals. For example, given a data type with a Uniplate instance: data Expr = Var String | Add String String | Mul String String | ... instance Uniplate Expr where ... We can write a function to get all the variables in an Expr as: vars x = [v | Var v <- universe x] Additionally, Uniplate can work with the built-in deriving Data/Typeable support in GHC to eliminate the need for writing Uniplate instances. The library is described in Chapter 3 of my thesis (http://www-users.cs.york.ac.uk/~ndm/thesis/) complete with simple examples for most functions. Most Haskell users working with a moderately complex data type, such as an abstract syntax tree, should be using some form of boilerplate removal. Uniplate is used in projects such as Yhc, Hoogle, Reach, Reduceron, Catch, Supero and many others. What's New ========== * Fixed the descendBi function, previously could give the wrong results. * Add holes, the 1-step version of contexts * The underlying data type of the library has been changed from a list to a tree, as suggested by Koen Claessen. This change, plus some other performance tweaks, gives a 25-50% speed up over Uniplate 1.0. * A compatibility layer with Compos and SYB has been added. By importing Data.Generics.Uniplate.Compos/SYB an interface approximating the other library will be provided, which can be used to help porting programs to Uniplate. The implementations are not exact duplicates of the library, but in many examples should be sufficient. There are some slight API changes, but should be minimal. If your program hits one of these changes, please email me and I will fix it for you. Thanks Neil

1 0

The Monad.Reader (11) - Call for Copy
by Wouter Swierstra 07 Jul '08

07 Jul '08

Call for Copy The Monad.Reader - Issue 11 The summer's bound to be a washout; the submission deadline for the Haskell Symposium has passed; Wimbledon's finished. But it's not too late to start writing something for the next issue of The Monad.Reader! The deadline for Issue 11 is ** August 1, 2008 ** The Monad.Reader is a electronic magazine about all things Haskell. It is less formal than journal, but more enduring than a wiki-page or blog. There have been a wide variety of articles, ranging from code fragments, puzzles, book reviews, tutorials, to half-baked research ideas. * Submission Details * Get in touch with me if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail (wss at cs.nott.ac.uk). Articles should be written according to the guidelines available from http://www.haskell.org/haskellwiki/The_Monad.Reader Please submit your article in PDF, together with any source files you used. The sources will be released together with the magazine under a BSD license. If you would like to submit an article, but have trouble with LaTeX please let me know and we'll sort something out. All the best, Wouter

1 0

ANNOUNCE: hCsound library
by John Lato 06 Jul '08

06 Jul '08

I have just released hCsound v.2.0.0 (initial public release), a Haskell binding to the Csound audio processing language API. This release supports most of the functions in csound.h. Features from CppSound.cpp are not yet supported. Examples and (minimal) haddock documentation are included. I would appreciate hearing comments and suggestions from users. This package should build fairly easily on Linux and OS X; building on Windows is possible but may require tinkering. Windows users should contact me if they have any problems or questions. The source tarball is available on hackage at http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hCsound The darcs repo is at http://mml.music.utexas.edu/jwlato/hCsound/ I would like to thank the C2HS developers and maintainers for their excellent tool and advice. John Lato

1 0

Lectureship in Functional Programming, Nottingham
by Graham Hutton 05 Jul '08

05 Jul '08

Dear all, We are currently seeking a new Lecturer (Assistant Professor) in the Functional Programming Lab in Nottingham, a recently formed research group that comprises Thorsten Altenkirch, Graham Hutton, Henrik Nilsson, four research fellows, and eleven PhD students. Applications from the Haskell community are encouraged! The closing date for applications is Friday 15th August 2008. Best wishes, Graham +-----------------------------------------------------------------+ UNIVERSITY OF NOTTINGHAM School of Computer Science Lectureship in Functional Programming Applications are invited for the above post in the School of Computer Science. The successful candidate will be expected to participate in the School's teaching activities and contribute to research in the recently formed Functional Programming Laboratory. Candidates must hold a PhD or equivalent in a relevant subject, have an excellent publication record and the ability to teach at undergraduate and postgraduate level. It is desirable that candidates have a track record of external research funding, collaboration across disciplines, experience of different types of assessment and higher education quality assurance. They should also have the ability to play a role in the routine running of the School of Computer Science. The Functional Programming Laboratory covers a broad range of topics in the theory, practice, and implementation of functional programming languages. Current interests include type theory, language design, program semantics, program verification, modelling and simulation, category theory, programming tools, and quantum programming. Applications are welcome from any area that complements existing research strengths in the laboratory. Informal enquiries may be addressed to Dr T Altenkirch, tel: 0115 846 6516, Email: Thorsten.Altenkirch(a)Nottingham.ac.uk or Dr G Hutton, tel: 0115 951 4220, Email: Graham.M.Hutton(a)Nottingham.ac.uk. School of Computer Science : http://nottingham.ac.uk/cs Functional programming lab : http://sneezy.cs.nott.ac.uk/joomla/ How to apply : http://jobs.nottingham.ac.uk/CJ24461S Closing date : 15th August 2008 +-----------------------------------------------------------------+ | Dr Graham Hutton Email : gmh(a)cs.nott.ac.uk | | Functional Programming Lab | | School of Computer Science Web : www.cs.nott.ac.uk/~gmh | | University of Nottingham | | Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 | | Nottingham NG8 1BB, UK | +-----------------------------------------------------------------+ This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

Haskell Weekly News: Issue 75 - July 2, 2008
by Brent Yorgey 02 Jul '08

02 Jul '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080702 Issue 75 - July 02, 2008 --------------------------------------------------------------------------- Welcome to issue 75 of HWN, a newsletter covering developments in the [1]Haskell community. Announcements Anglo Haskell 2008. Matthew Sackman [2]announced [3]AngloHaskell 2008, a gathering of all people Haskell-related from beginners, to seasoned hackers to academic giants. All and more are welcomed by large fuzzy green lambdas. The proposed dates and location are Friday the 8th and Saturday the 9th of August, at Imperial College, London. CFP - Special Issue of Fundamenta Informaticae on Dependently Typed Programming. Wouter Swierstra [4]announced a call for papers for a special issue of [5]Fundamenta Informaticae on [6]Dependently Typed Programming. The deadline for submissions is October 1. Gtk2Hs 0.9.13. Peter Gavin [7]announced the release of Gtk2Hs 0.9.13, including bindings for Gnome VFS and GStreamer, a new Gtk+ tutorial adapted by Hans van Thiel, cairo image stride support, and more. Hasim. Jochem Berndsen [8]announced Hasim, a [9]small project to create a library to do discrete event simulation in Haskell, using monads to define a domain-specific language for "actions" of a process. Galois move. Don Stewart [10]announced that Galois has completed the move of its data center. Expect speedier response times for hackage.haskell.org and darcs.haskell.org. Google Summer of Code Progress updates from participants in the 2008 [11]Google Summer of Code. Hoogle 4. Neil Mitchell (ndm) is working on [12]Hoogle 4. [13]This week, Neil worked on better Haddock database generation, lazy name searching, and a snazzy --info flag for Hoogle. Next up: type search! DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a [14]physics engine using [15]Data Parallel Haskell. [16]This week, he worked on implementing Mirtich's V-Clip algorithm for collision detection (and [17]got it to work), cabalized his project and added documentation. He also ran into an interesting QuickCheck puzzle. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. [18]This week, he created a generic framework for automatically running QuickCheck tests at a number of different types. This week he plans to synthesize the many suggestions from the [19]discussion on the libraries list into a stable API design. Language.C. Benedikt Huber (visq) is [20]working on Language.C, a standalone parser/pretty printer library for C99. [21]This week he worked on a better representation for declarators, and abstracted the notion of an InputStream over both String and ByteString, among other accomplishments. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a [22]make-like dependency analysis framework for Cabal. GHC API. Thomas Schilling (nominolo) is working on [23]improvements to the GHC API. Officials at HWN headquarters have released a statement reversing their previous position regarding the existence of Thomas, citing regrettably faulty information to explain their previous misapprehensions. Expect to hear more from Thomas soon, now that he has finished graduating and moving. Libraries Proposals and extensions to the [24]standard libraries. GetOpt formatting improvements. Duncan Coutts [25]proposed some modifications to make the output of the System.Console.GetOpt library more readable, resulting in quite a bit of discussion. HughesPJ improvements. Benedikt Huber [26]proposed a patch with some bug fixes, performance improvements, and QuickCheck test suite for the Text.PrettyPrint.HughesPJ pretty-printing library. Discussion A Monad for on-demand file generation?. Joachim Breitner [27]asked about a monad for transparently tracking files which may need to be regenerated due to dependencies, leading to an interesting discussion of incremental computation, strict vs. lazy I/O, and other issues. New mailing list proposal: Haskell-Edu. Benjamin L. Russell sent out a message [28]proposing a new mailing list hosted at haskell.org, "Haskell-Edu: The Haskell Educational Mailing List." The new mailing list would be guided by the principle that Haskell is useful not just in research, but also in teaching programming as part of a liberal arts education. Comments and discussion welcomed. Learning GADT types to simulate dependent types. Paul Johnson is trying to use GADTs to simulate aspects of a dependently typed system, and [29]asks for help improving his Oleg rating. Call graph tool?. C.M.Brown [30]asked whether there is a tool for visualizing the call graph for a collection of source files, leading to a discussion of various tools. Jobs Formal methods and automated reasoning at Rockwell Collins. Janis Voigtlaender [31]passed on an opening for a Senior Systems Engineer at [32]Rockwell Collins. The opening is for a computer scientist or engineer to develop and apply automated analysis to computer systems and to pursue research in formal methods and automated reasoning. Contact: rmgatto at rockwellcollins.com. Blog noise [33]Haskell news from the [34]blogosphere. * Roman Cheplyaka: [35]V-Clip seems to work!. * Benedikt Huber: [36]Last week on Language.C (1). An update on Benedikt's Google Summer of Code project. * Jamie Brandon: [37]Week 3 progress. An update on Jamie's Google Summer of Code project. * Philip Wadler: [38]Welcome to Scotland, Neil, Patricia, and Conor!. * >>> codders: [39]Coding style, Haskell. codders likes how Real World Haskell gives some hints about Haskell coding style and culture in addition to teaching the language itself. * >>> zoo: [40]Haskell plug-in for Eclipse. zoo explains how to install the [41]Haskell Eclipse plugin. * Dan Piponi (sigfpe): [42]A blessed man's formula for holey containers. Dan descries an enlightening derivation of the [43]combinatorial form of Faa di Bruno's formula from the perspective of derivatives of types. * Roman Cheplyaka: [44]Status report: week 5. An update on Roman's Google Summer of Code project. * >>> codders: [45]More Haskell fun. * >>> Marco Tulio Gontijo e Silva: [46]Rank 2 Types. Marco describes a practical use for GHC's rank-2 types. * Edward Kmett: [47]Memoizing Context. * >>> JP Moresmau: [48]Deserializing JSON to Haskell Data objects. * >>> codders: [49]Getting started with Haskell... still. codders is learning Haskell by reading the beta version of [50]Real World Haskell. * Neil Mitchell: [51]GSoC Hoogle: Week 5. * Arnar: [52]Parsing JSON with Haskell. A nice example of using [53]Parsec to parse JSON. * Thomas Hartman: [54]HAppS Tutorial. Quotes of the Week * quicksilver: [on what OS sjanssen uses] sjanssen runs haskell programs in his head; much more efficient. * EvilTerran: "We were somewhere around Barstow, on the edge of the desert, when the phantom types began to take hold." * audreyt: o/~ the phantom of the typesystem is here / inside my mind! o/~ * dmwit: No, no, no, ($) isn't right-assoc, it's wrong-assoc. * solrize: this would never happen in haskell: i sent in a search query to a certain python program, but left the query field empty, expecting to get back an error message. instead it found a bunch of books written by the diet doctor Gary Null. * heatsink: We're all inside do-blocks in the IO monad if you think about it. * djsiegel: [upon having a question answered by dons] oh my, I'm talking to the man * mar77a: the first computers were big because they were actually cupboards with fast humans inside About the Haskell Weekly News New editions are posted to [55]the Haskell mailing list as well as to [56]the Haskell Sequence and [57]Planet Haskell. [58]RSS is also available, and headlines appear on [59]haskell.org. Headlines are available as [60]PDF. To help create new editions of this newsletter, please see the information on [61]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [62]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.general/16272 3. http://www.haskell.org/haskellwiki/AngloHaskell/2008 4. http://article.gmane.org/gmane.comp.lang.haskell.general/16269 5. http://fi.mimuw.edu.pl/ 6. http://sneezy.cs.nott.ac.uk/darcs/DTP08/journal.html 7. http://www.haskell.org//pipermail/haskell-cafe/2008-June/044805.html 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41881 9. http://huygens.functor.nl/hasim 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41847 11. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 12. http://code.haskell.org/hoogle/ 13. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-5.html 14. http://haskell.org/haskellwiki/Hpysics 15. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 16. http://physics-dph.blogspot.com/2008/06/status-report-week-5.html 17. http://physics-dph.blogspot.com/2008/07/v-clip-seems-to-work.html 18. http://jamiiecb.blogspot.com/2008/06/week-3-progress.html 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9259 20. http://www.sivity.net/projects/language.c/wiki/ 21. http://hsbene.blogspot.com/2008/07/last-week-on-languagec-1.html 22. http://code.haskell.org/~Saizan/cabal 23. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 24. http://haskell.org/haskellwiki/Library_submissions 25. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9415 26. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9377 27. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41868 28. http://thread.gmane.org/gmane.comp.lang.haskell.general/16271 29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41848 30. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41786 31. http://article.gmane.org/gmane.comp.lang.haskell.general/16266 32. http://www.rockwellcollins.com/ 33. http://planet.haskell.org/ 34. http://haskell.org/haskellwiki/Blog_articles 35. http://physics-dph.blogspot.com/2008/07/v-clip-seems-to-work.html 36. http://hsbene.blogspot.com/2008/07/last-week-on-languagec-1.html 37. http://jamiiecb.blogspot.com/2008/06/week-3-progress.html 38. http://wadler.blogspot.com/2008/06/welcome-to-scotland-neil-patricia-and.ht… 39. http://talkingcode.co.uk/2008/06/30/coding-style-haskell/ 40. http://imonad.com/blog/2008/06/haskell-plug-in-for-eclipse/ 41. http://sourceforge.net/projects/eclipsefp/ 42. http://sigfpe.blogspot.com/2008/06/blessed-mans-formula-for-holey.html 43. http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno's_formula#Combinatorial_form 44. http://physics-dph.blogspot.com/2008/06/status-report-week-5.html 45. http://talkingcode.co.uk/2008/06/28/more-haskell-fun/ 46. http://marcotmarcot.blogspot.com/2008/06/rank-2-types.html 47. http://comonad.com/reader/2008/memoizing-context/ 48. http://jpmoresmau.blogspot.com/2008/06/deserializing-json-to-haskell-data.h… 49. http://talkingcode.co.uk/2008/06/27/getting-started-with-haskell-still/ 50. http://www.realworldhaskell.org/ 51. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-5.html 52. http://www.hvergi.net/2008/06/parsing-json-with-haskell/ 53. http://legacy.cs.uu.nl/daan/parsec.html 54. http://ramblings.tumblr.com/post/39794244/happs-tutorial 55. http://www.haskell.org/mailman/listinfo/haskell 56. http://sequence.complete.org/ 57. http://planet.haskell.org/ 58. http://sequence.complete.org/node/feed 59. http://haskell.org/ 60. http://code.haskell.org/~byorgey/code/hwn/archives/20080702.pdf 61. http://haskell.org/haskellwiki/HWN 62. http://code.haskell.org/~byorgey/code/hwn/

1 0

CFP - Special Issue of Fundamenta Informaticae on Dependently Typed Programming
by Wouter Swierstra 30 Jun '08

30 Jun '08

After our workshop in Nottingham, are happy to announce a special issue of Fundamenta Informaticae on Dependently Typed Programming. We would like to welcome submissions from the Haskell community on type- directed programming, generic programming, programming with GADTs, and advanced type systems amongst other things. Call for Papers: Special Issue of Fundamenta Informaticae (http://fi.mimuw.edu.pl/) Dependently Typed Programming (http://sneezy.cs.nott.ac.uk/darcs/DTP08/journal.html) Editors: Thorsten Altenkirch (Nottingham) Tarmo Uustalu (Tallinn) Dependently typed programming is using the power of dependent types to capture relationships between data, internalising invariants necessary for appropriate computation. When data describe types, we can express patterns of programming in code. To capture this potential a number of languages have been proposed and implemented which incorporate some aspects of dependent types, e.g. Agda, ATS, Cayenne, Coq's CIC, Concoqtion, DML, Delphin, ELF, Epigram, Omega, OpTT, Pie, PiSigma, Ynot for a non-exhaustive list. Within the European TYPES project we have organized two workshops to discuss aspects of dependently programming: - EffTT, Workshop on Effects and Type Theory http://cs.ioc.ee/efftt/ Tallinn, Estonia, December 2007 - DTP08, Dependently Typed Programming 2008 http://sneezy.cs.nott.ac.uk/darcs/DTP08/ Nottingham, UK, February 2008 The special issue is motivated by the desire to give people who have presented their ideas at those workshops the opportunity to publish papers on their work. However, we would like to invite everybody working in this area to submit papers to the special issue. For a more complete list of topics, please consult the workshop pages following the links above. The paper should follow the usual standards of journal papers, and should be submitted by email (preferable pdf) to one of the editors before 1 October 2008. We expect that the papers don't exceed 20 pages (see the FI webpage for style files). We hope to be able to stick to the following schedule: Deadline for submissions: 1 October 08 Notification of acceptance: 15 January 2009 Final versions due: 15 March 2009

1 0

HASE 2008 - Last CfP - 3 days left for paper submission
by tase08 27 Jun '08

27 Jun '08

***We apologise if you have received multiple copies of this call for papers.*** Please circulate to colleagues who might be interested. HASE 2008 11th High Assurance Systems Engineering Symposium Nanjing, China December 3-5, 2008 <http://cs.nju.edu.cn/hase08/main.html> http://cs.nju.edu.cn/hase08/main.html Call for Papers The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. Authors are invited to submit high quality technical papers describing original and unpublished work in all aspects of high assurance systems engineering. Topics of interests for the symposium include, but are not limited to: *Design and development of highly reliable, survivable, secure, safe, and time-assured systems *Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods *Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems *Formal specification, specification validation, testing, and model checking for high assurance systems *High assurance software architecture and design *Transformation-based and evolutionary-based system development *Reconfigurable system design for evolving high assurance requirements *Dynamic monitoring and adaptation for run-time assurance *High assurance web services *High assurance information/knowledge systems and data grids *High assurance embedded systems, ubiquitous systems and sensor networks *Extending web service specifications for reliability, safety, security, privacy, trust, and other QoS properties *Assurance techniques for service-oriented systems CALL FOR FAST ABSTRACTS Contributions for the Fast Abstract track of HASE 2008 are solicited. The fast abstracts aim to serve as a rapid and flexible mechanism to o Discuss industrial experiences and achievements o Report on research work in progress o Introduce new ideas to the community o State positions on controversial issues or open problems Works related to high assurance systems engineering fitting the categories described above are welcome. Authors from industry, government, and academia are encouraged to submit Fast Abstracts. Fast Abstracts will not be formally refereed. Instead, the HASE'08 Fast Abstracts Committee will screen the submissions. The criteria for acceptance will be i) relevance and interest to the community and ii) timeliness of the material. Submission Guidelines: Research Papers: Original, previously unpublished papers are solicited. Maximum 10 pages, standard IEEE double-column format. Fast Abstracts: Fast Abstracts are limited to 2 pages, in standard IEEE double-column format. Authors of accepted Fast Abstracts will present a short talk approximately 10-15 min) at HASE 2008 Fast Abstract sessions. Important Dates: * June 30, 2008: Paper submission deadline (extended) * July 10, 2008: Fast Abstract submission deadline * August 1, 2008: Acceptance/rejection notification * August 29, 2008: Camera-ready version due * December 3-5, 2008: HASE 2008 Organization: General Chairs: Jian Lu, Nanjing University (China) Program Co-chairs: Xuandong Li, Nanjing University (China) Carol S. Smidts, Ohio State University US (North/South America) Jie Xu, University of Leeds (Europe) Finance Chair: Xin Chen, Nanjing University (China) Publicity Chair: Jing Dong, University of Texas at Dallas (US) Registration Chair: JianHua Zhao, Nanjing University (China) 　　　　　　　　　 Local Organization Chair: Linzhang Wang, Nanjing University, (China) Program Committee: Farooq Ahmad (National University of Sciences and technology, Pakistan) Masaki Aida (Tokyo Metropolitan University, Japan) Xiaoying Bai (Tsinghua University, China) Farokh Bastani (University of Texas at Dallas, USA) Andrea Bondavali(University of Florence, Italy) Guillaume Brat (USRA-RIACS, USA) Taolue Chen(CWI, Netherlands) Michel Cukier (University of Maryland at College Park, USA) John Davies(BAE Systems, UK) JinSong Dong (National University of Singapore,Singapore) Felicita Di Giandomenico(CNR, Italy) Arif Ghafoor (Purdue University, USA) Swapna Gokhale (University of Connecticut, USA) Katerina Goseva-Popstojanova (West Virginia University, USA) Mats Heimdahl (University of Minnesota, USA) Mike Henshaw(Loughborough University, UK) Ravi Iyer (University of Illinois at Urbana-Champaign, USA) Phil John(Cranfield University, UK) Yoshiaki Kakuda (Hiroshima City University, Japan) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Xiaodong Lu (Tokyo Institute of Technology, Japan Michael Lyu (Chinese University of Hong Kong, China) Miroslaw Malek( Humboldt University, Germany) Hong Mei (Peking University, China) Graham Morgen(University of Newcastle, UK) Kinji Mori (Tokyo Institute of Technology, Japan) Hiroaki Morino (Shibaura Institue of Technology, Japan) Gilles Muller(EMN, France) Edgar Nett(University of Magdeburg. Germany) Jun Pang (University of Luxembourg, Luxembourg) Steven Roach (University of Texas at El Paso, USA) Manuel Rodriguez (Ohio State University, USA) Luigi Romano(University of Napoli, Italy) Eugene Santos (Dartmouth College, USA) Man-Tak Shing (Naval Postgraduate School, USA) Zhendong Su (University of California at Davis, USA) Yongdong Tan (Southwest Jiaotong University, China) Paul Townend(University of Leeds, UK) Helene Waeselynck(LAAS-CNRS, France) Farn Wang (National Taiwan University Taiwan, China) Ji Wang (Changsha Institute of Technology, China) Linzhang Wang (Nanjing University, China) Victor Winter (University of Nebraska at Omaha, USA) Eric Wong (University of Texas at Dallas, USA) Dianxiang Xu (North Dakota State University, USA) Jian Zhang (Institute of Software, China) Jianhua Zhao (Nanjing University, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Hong Zhu (Oxford Brooks University, UK) Huibiao Zhu (East China Normal University, China) Steering Program Committee Taghi M. Khoshgoftaar, Florida Atlantic University Kinji Mori, Tokyo Institute of Technology Raymond Paul, Department of Defense Chair) Wei-Tek Tsai, Arizona State University Victor Winter, University of Nebraska,Omaha I-Ling Yen, University of Texas at Dallas Keynote Speakers TBD

1 0

Passing on a job opening
by Janis Voigtlaender 26 Jun '08

26 Jun '08

Hi all, I received below job opening. It might be of interest to some people on this list (formal methods, theorem provers, ...). The contact is rmgatto(a)rockwellcollins.com. Ciao, Janis. ================ www.rockwellcollins.com Quick RC facts: 2007 sales were $4.42 billion and we have 20,000 employees in 60 locations in 27 different countries. www.rockwellcollins.com AUT0000000O- Sr Systems Engineer This position is for a computer scientist or engineer to develop and apply automated analysis to computer systems and to pursue research in formal methods and automated reasoning. Ongoing investigations apply automated reasoning tools to validate hardware, firmware, and software of systems with critical security and/or safety functionality. The position is within a research group that is improving both the state of the art and the state of the practice for the development of high assurance systems. Candidates must have excellent communication skills and the ability to work in a team environment. Candidates for employment in Rockwell Collins’ Advanced Technology Center must have excellent problem-solving skills, be self-motivated, and be willing to learn new technologies. Candidates must be able to obtain a DoD Security Clearance. Candidates should have training/experience in modeling using formal specification languages and the use of automated theorem provers (ACL2, PVS, HOL, etc) and/or model checkers (SPIN, SMV, etc). Experience in specifying, architecting, implementing, verifying, or certifying embedded systems, especially critical avionics or secure systems, is beneficial. This job level requires a Bachelor's Degree in applicable engineering or science field or equivalent and a minimum of 6 years of related experience. Outstanding candidates with less or more education/experience are encouraged to apply so as to be considered for other positions in the same group. Applicant must be capable of obtaining a US Department of Defense (DoD) security clearance. US Citizenship is required.

1 0

Final CFP: IEEE/WIC/ACM IAT-2008 [DL: July 10]
by WI-IAT'08 26 Jun '08

26 Jun '08

[Apologies if you receive this more than once] ##################################################################### IEEE/WIC/ACM Intelligent Agent Technology 2008 CALL FOR PAPERS ##################################################################### 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-08) December 9-12, 2008, Sydney, Australia Official Site: http://datamining.it.uts.edu.au/wi08/html/iat/ Mirror Site: http://www.maebashi-it.org/wi-iat08/iat08/index.html Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ################################################################## # (Papers Due: *** 10 July 2008 *** # Accepted papers will be published in the conference proceedings # by the IEEE Computer Society Press, which are indexed by EI. ################################################################## IAT 2008 provides a leading international forum to bring together researchers and practitioners from diverse fields, such as computer science, information technology, business, education, human factors, systems engineering, and robotics, to (1) examine the design principles and performance characteristics of various approaches in intelligent agent technology, and (2) increase the cross-fertilization of ideas on the development of autonomous agents and multi-agent systems among different domains. By encouraging idea-sharing and discussions on the underlying logical, cognitive, physical, and sociological foundations as well as the enabling technologies of intelligent agents, IAT 2008 will foster the development of novel paradigms and advanced solutions in agent-based computing. IAT 2008 will be jointly held with the 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI-08). The two conferences will have a joint opening, keynote, reception, and banquet. Attendees only need to register for one conference and can attend workshops, sessions, tutorials, panels, exhibits and demonstrations across the two conferences. We are also planning a joint panel, joint paper sessions, and doctor symposium that discuss common problems in the two areas. +++++++++++++++++++ Topics of Interest +++++++++++++++++++ We invite submissions in all IAT related areas. Papers exploring new directions or areas will receive a careful and supportive review. Areas of interest include, but are not limited to: * Autonomy-Oriented Computing (AOC) - Agent-Based Complex Systems Modeling and Development - Agent-Based Simulation - Autonomy-Oriented Modeling and Computation Methods - Behavioral Self-Organization - Complex Behavior Characterization and Engineering - Emergent Behavior - Hard Computational Problem Solving - Nature-Inspired Paradigms - Self-Organized Criticality - Self-Organized Intelligence - Swarm Intelligence * Autonomous Knowledge and Information Agents - Agent-Based Distributed Data Mining - Agent-Based Knowledge Discovery And Sharing - Autonomous Information Services - Distributed Knowledge Systems - Emergent Natural Law Discovery in Multi-Agent Systems - Evolution of Knowledge Networks - Human-Agent Interaction - Information Filtering Agents - Knowledge Aggregation - Knowledge Discovery - Ontology-Based Information Services * Agent Systems Modeling and Methodology - Agent Interaction Protocols - Cognitive Architectures - Cognitive Modeling of Agents - Emotional Modeling - Fault-Tolerance in Multi-Agent Systems - Formal Framework for Multi-Agent Systems - Information Exchanges in Multi-Agent Systems - Learning and Self-Adaptation in Multi-Agent Systems - Mobile Agent Languages and Protocols - Multi-Agent Autonomic Architectures - Multi-Agent Coordination Techniques - Multi-Agent Planning and Re-Planning - Peer-to-Peer Models for Multi-Agent Systems - Reinforcement Learning - Social Interactions in Multi-Agent Systems - Task-Based Agent Context - Task-Oriented Agents * Distributed Problem Solving - Agent-Based Grid Computing - Agent Networks in Distributed Problem Solving - Collective Group Behavior - Coordination and Cooperation - Distributed Intelligence - Distributed Search - Dynamics of Agent Groups and Populations - Efficiency and Complexity Issues - Market-Based Computing - Problem-Solving in Dynamic Environments * Autonomous Auctions and Negotiation - Agent-Based Marketplaces - Auction Markets - Combinatorial Auctions - Hybrid Negotiation - Integrative Negotiation - Mediating Agents - Pricing Agents - Thin Double Auctions * Applications - Agent-Based Assistants - Agent-Based Virtual Enterprise - Embodied Agents and Agent-Based Systems Applications - Interface Agents - Knowledge and Data Intensive Systems - Perceptive Animated Interfaces - Scalability - Social Simulation - Socially Situated Planning - Software and Pervasive Agents - Tools and Standards - Ubiquitous Systems and E-Technology Agents - Ubiquitous Software Services - Virtual Humans - XML-Based Agent Systems ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ High-quality papers in all IAT related areas are solicited. Paper submissions should be limited to a maximum of 7 pages in the IEEE 2-column format, the same as the camera-ready format (see the Author Guidelines of last year at http://www.ieeeconfpublishing.org/cpir/AuthorKit.asp?Community=CPS&Facility…) All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Note that IAT'08 will accept ONLY on-line submissions, containing PDF versions. Please use the Submission Form on the IAT'08 website to submit your paper. Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press that are indexed by EI. Submissions accepted as regular papers will be allocated 7 pages in the proceedings and accorded oral presentation times in the main conference. Submissions accepted as short papers will be allocated 4 pages in the proceedings and will have a shorter presentation time at the conference than regular papers. All co-authors will be notified at all time, for the submission, notification, and confirmation on the attendance. Submitting a paper to the conference and workshops means that, if the paper is accepted, at least one author should attend the conference to present the paper. The acceptance list and no-show list will be openly published on-line. For no-show authors, their affiliations will receive a notification. A selected number of IAT'08 accepted papers will be expanded and revised for inclusion in Web Intelligence and Agent Systems: An International Journal (http://wi-consortium.org/journal.html) and in Annual Review of Intelligent Informatics (http://www.wi-consortium.org/annual.html) The best paper awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Application-oriented submissions will be considered for the best application paper award. More detailed instructions and the On-Line Submission Form can be found from the IAT'08 homepage: http://datamining.it.uts.edu.au/wi08/html/iat/. ++++++++++ Workshops ++++++++++ As an important part of the conference, the workshop program will focus on new research challenges and initiatives. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press that are indexed by EI, and will be available at the workshops. Detailed information is available at the conference homepage. Accepted Workshops: =================== Workshop on Collective Intelligence in Semantic Web and Social Networks Workshop on Web Information Retrieval Support Systems Workshop on Web Personalization, Reputation and Recommender Systems Workshop on Intelligent Web Interaction Workshop on Intelligent e-government Workshop on New Computing Paradigms for Web Intelligence meets Brain Informatics Workshop on Fuzzy Logic On the Web Workshop on Natural Language Processing and Ontology Engineering Workshop on Web Intelligence & Intelligent Agent Technology in e-Learning Workshop on Computational Social Networks Workshop on Optimization-based Data Mining and Web Intelligence Workshop on Human Aspects in Ambient Intelligence: Agent Technology, Human-Oriented Knowledge and Applications Workshop on e-Commerce, Business, and Services Workshop on Agents and Data Mining Interaction Workshop on P2P Computing and Autonomous Agents Workshop on Logics for Intelligent Agents and Multi-Agent Systems Workshop on Data Mining in Bioinformatics 2008 WI-IAT Doctoral Workshop Note: we will not have a separate workshop registration fee (i.e., conference registration covers everything). ++++++++++ Tutorials ++++++++++ IAT'08 also welcomes Tutorial proposals. IAT'08 will include tutorials providing in-depth background on subjects that are of broad interest to the Web intelligence community. Both short (2 hours) and long (half day) tutorials will be considered. The tutorials will be part of the main conference technical program. Detailed information is available at the conference homepage. Note: we will not have a separate tutorials registration fee (i.e., only one conference registration covers everything). ++++++++++++++++++++ Industry/Demo-Track ++++++++++++++++++++ We solicit Industry/Demo-Track papers by the following methods. (1) Industry papers of 4 pages can be submitted on the same schedule as the research track. (2) Separate 2 page demo proposals can submitted at a later schedule. (3) Full regular paper submissions can include a demo option. That is, a full paper submissions will be asked to specify if they would like to give a demonstration; choice of demonstrations (while utilizing information from the regular reviewing process) will be selected based on value as a demonstration. For options (1) and (2), please find more detailed instructions at the homepage: http://datamining.it.uts.edu.au/wi08/html/iat/ ++++++++++++++++ Important Dates ++++++++++++++++ * Workshop proposal submission: April 10, 2008 * Electronic paper submission (7 pages): July 10, 2008 * Tutorial proposal submission: July 10, 2008 * Workshop paper submission: July 30, 2008 * Author notification: September 3, 2008 * Conference dates: December 9-12, 2008 ++++++++++++++++++++++++ Conference Organization ++++++++++++++++++++++++ Conference General Chairs: * Chengqi Zhang, University of Technology, Sydney, Australia * Nick Cercone, York University, Canada Program Chair: * Lakhmi Jain, University of South Australia, Australia IAT Program Co-Chairs: * Maria Gini, University of Minnesota, USA * Boi B. Faltings, Swiss Federal Institute of Technology, Swiss * Takao Terano, Tokyo Institute of Technology, Japan WI Program Co-Chairs: * Pawan Lingras, Saint Mary's University, USA * Matthias Klusch, German Research Center for AI, Germany * Jie Lu, University of Technology, Sydney, Australia Organizing Chair: * Longbing Cao, University of Technology, Sydney, Australia Workshop Co-Chairs: * Yuefeng Li, Queensland University of Technology, Australia * Gabriella Pasi, University of Milano, Italy Tutorial Chair: * Ajith Abraham, Norwegian University of science and Technology, Norway Industry/Demo-Track Chair: * Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland Publicity Co-Chairs: * Ioannis E. Anagnostopoulos, University of the Aegean, Greece * Jia Hu, International WIC Institute/BJUT, China * Richi Nayak, Queensland University of Technology, Australia IEEE-CS-TCII Chair: * Ning Zhong, Maebashi Institute of Technology, Japan ACM-SIGART Chair * Maria Gini, University of Minnesota, USA WIC Co-Chairs/Directors: * Ning Zhong, Maebashi Institute of Technology, Japan * Jiming Liu, University of Windsor, Canada WIC Advisory Board: * Edward A. Feigenbaum, Stanford University, USA * Setsuo Ohsuga, Waseda University, Japan * Benjamin Wah, University of Illinois, Urbana-Champaign, USA * Philip Yu, University of Illinois, Chicago, USA * L.A. Zadeh, University of California, Berkeley, USA WIC Tech. Committee & WI/IAT Steering Committee: * Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA * Nick Cercone, York University, Canada * Dieter Fensel, University of Innsbruck, Austria * Georg Gottlob, Oxford University, UK * Lakhmi Jain, University of South Australia, Australia * Jianchang Mao, Yahoo! Inc., USA * Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France * Hiroshi Motoda, Osaka University, Japan * Toyoaki Nishida, Kyoto University, Japan * Andrzej Skowron, Warsaw University, Poland * Jinglong Wu, Kagawa University, Japan * Xindong Wu, University of Vermont, USA * Yiyu Yao, University of Regina, Canada *** Contact Information *** The WIC Office Email: wi08(a)wi-consortium.org

1 0