- Haskell - Haskell.org

Newbie help with type-classes
by Ryan Ingram 11 May '07

11 May '07

Here's a test case for the problem I'm having; I'm using runhaskell from ghc v6.6. Problem #1) Without -fallow-undecidable-instances, I get the following error: Constraint is no smaller than the instance head in the constraint: ConvertToInt a (Use -fallow-undecidable-instances to permit this) In the instance declaration for `ConvertToIntList a' Problem #2) With -fallow-undecidable-instances, I get this error instead: Overlapping instances for ConvertToIntList () arising from use of `convl' at testcase.hs:28:6-15 Matching instances: instance (ConvertToInt a) => ConvertToIntList a -- Defined at testcase.hs:15:0 instance ConvertToIntList () -- Defined at testcase.hs:18:0 In the expression: convl [()] In the definition of `xl2': xl2 = convl [()] I don't understand why there is an overlapping instances error; () is not an instance of ConvertToInt so how could that instance ever apply? Is there something basic about type-classes that I'm not understanding here? My actual problem is more complicated than this, but this test-case covers the basic issue; something being an instance of class A means that I can derive an instance of class B for it, but I want to implement other instances of class B as well. Code below: {-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-} module TestCase where class ConvertToInt a where conv :: a -> Int class ConvertToIntList a where convl :: [a] -> [Int] instance ConvertToInt Int where conv = id instance ConvertToInt a => ConvertToIntList a where convl = map conv instance ConvertToIntList () where convl x = [] x :: Int x = 5 xl :: [Int] xl = convl [x] xl2 :: [Int] xl2 = convl [()]

3 3

Integrated Formal Methods 2007: Call for participation
by Jeremy.Gibbons＠comlab.ox.ac.uk 09 May '07

09 May '07

IFM2007: INTEGRATED FORMAL METHODS CALL FOR PARTICIPATION 2nd to 5th July 2007 St Anne's College, Oxford, UK www.ifm2007.org The design and analysis of computing systems presents a significant challenge: systems need to be understood at many different levels of abstraction, and examined from many different perspectives. Formal methods - languages, tools, and techniques with a sound, mathematical basis - can be used to develop a thorough understanding, and to support rigorous examination. Further research into effective integration is required if these methods are to have a significant impact outside academia. The IFM series of conferences seeks to promote that research, to bring together the researchers carrying it out, and to disseminate the results of that research among the wider academic and industrial community. This is the sixth IFM conference. It will be held in the historic university town of Oxford, at St Anne's College - one of the larger colleges of the University, with excellent new conference facilities. Oxford is easily reached from most UK cities, and is 70 minutes from the country's largest airport. Earlier conferences in the series were held at York (1999), Schloss Dagstuhl (2000), Turku (2002), Kent (2004), and Eindhoven (2005). The conference runs for three full days, 3rd to 5th July. Invited speakers include Jifeng He on "UTP Semantics for Web Services" and Daniel Jackson on "Recent Advances in Alloy"; a third invited speaker is yet to be confirmed. There are 32 contributed papers, including a special session on Unifying Theories of Programming. In addition, there are four satellite events, taking place on 2nd and 3rd July - three workshops: * Refinement Workshop * C/C++ Verification * MeMoT (Methods, Models and Tools for Fault Tolerance) and a tutorial: * KeY (Integrating OO Design and Deductive Verification of Software) The full programme is available at: http://www.ifm2007.org/programme-ifm.html Registration for the conference is now open, at: http://www.ifm2007.org/registration.html Special early-registration fees apply until 1st June 2007. For more information, visit the conference web page: http://www.ifm2007.org/ or contact the local organisers: Jim Davies http://www.softeng.ox.ac.uk/Jim.Davies Jeremy Gibbons http://www.softeng.ox.ac.uk/Jeremy.Gibbons

1 0

Job Opportunity
by Luke Evans 07 May '07

07 May '07

The Open Quark team at Business Objects is hiring. This is an opportunity to be working on and with the framework that includes the CAL language, a Haskell-like lazy functional language for the Java platform. Details of Open Quark can be found on the following page: http://labs.businessobjects.com/cal The position is located in Vancouver, Canada. The official job listing is here: http://www.recruitingcenter.net/clients/businessobjects/publicjobs/canada/co ntroller.cfm?jbaction=JobProfile&Job_Id=16831&esid=az Applications should be submitted via this page.

1 0

The Monad.Reader - Call for copy
by Wouter Swierstra 07 May '07

07 May '07

Call for Copy The Monad.Reader - Issue 8 I would like to welcome articles for the next issue of The Monad.Reader. * The Monad.Reader * The Monad.Reader is a electronic magazine about all things Haskell. It is less-formal than journal, but somehow more enduring than a wiki- page. There have been a wide variety of articles, including: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even 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 by e-mail (wss at cs.nott.ac.uk) to me before ** July 27, 2007 ** 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. Looking forward to your submission, Wouter 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

Fwd: CfP: Scheme and Functional Programming 2007
by Simon Marlow 07 May '07

07 May '07

[ posting on behalf of Danny Dubé <danny.dube(a)ift.ulaval.ca> ] [Apologies of you receive multiple copies of this message] > (for-papers) ; call for papers 2007 Workshop on Scheme and Functional Programming http://sfp2007.ift.ulaval.ca/ Freiburg, Germany --- 30 September 2007 The 2007 Scheme Workshop is a forum for discussing experience with and future development of the Scheme programming language. The scope of the workshop includes all aspects of the design, implementation, theory, and application of Scheme. We encourage everyone interested in Scheme to participate. This workshop forms part of the 2007 International Conference on Functional Programming (ICFP) as an associated, ACM SIGPLAN sponsored event. Topics of interest for technical papers include (but are not limited to): Design. Language critiques and extensions, concurrency and distribution, components and composition, language embedding, object systems, type systems, exception handling, syntactic abstraction, module systems and libraries, multiparadigm programming, scripting. Implementation. Compilers, interpreters, runtime systems, virtual machines, resource management, program analysis and transformation, partial evaluation, compile-time and run-time optimization, foreign function and operating system interfaces, embedded systems. Development tools. Profilers, tracers, debuggers, program development environments, program understanding tools, performance and conformance test suites. Theory. Formal semantics, correctness of analyses and transformations, lambda calculus, continuations, program verification. Education. Teaching Scheme, teaching with Scheme. Topics of interest for experience papers include (but are not limited to): Applications. Domain-specific languages, graphical user interfaces, web programming, network applications, multimedia programming, systems programming, symbolic computing, large systems, use of Scheme as a scripting language. Practice and experience. Experience with Scheme in education and industry. Scheme pearls. Elegant, instructive uses of Scheme. Experience papers need not necessarily report original research results; they may instead report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program! System Demonstrations. Authors of both technical and experience papers are invited to describe, in an appendix, proposals for system demonstrations to be given during the workshop. Panel Discussions. We also invite proposals for panel discussions on topics of interest to the Scheme community. Authors of accepted proposals will give a brief presentation on the topic and then moderate the discussion that follows. For submission details, please see http://sfp2007.ift.ulaval.ca/. Program committee John Clements (Cal Poly) Danny Dubé, chairman (Laval University) Martin Gasbichler (Zühlke Engineering) Aubrey Jaffer (ClearMethods Inc.) Christian Queinnec (University Paris 6) Chung-chieh Shan (Rutgers University) Steering committee William D. Clinger (Northeastern University) Marc Feeley (University of Montréal) Robby Findler (University of Chicago) Dan Friedman (Indiana University) Christian Queinnec (University Paris 6) Manuel Serrano (INRIA Sophia Antipolis) Olin Shivers (Northeastern University) Mitchell Wand (Northeastern University) Submission deadline June 22, 2007 Author notification August 3, 2007 Final paper due September 7, 2007 Workshop September 30, 2007

1 0

Haskell Weekly News: May 07, 2007
by dons＠cse.unsw.edu.au 07 May '07

07 May '07

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20070507 Issue 62 - May 07, 2007 --------------------------------------------------------------------------- Welcome to issue 62 of HWN, a weekly newsletter covering developments in the [1]Haskell community. This week sees the release of Atom, a hardware description language embedded in Haskell, along with the usual suite of new libraries and tools. In addition, The Monad.Reader Issue 7 was released, and the hackage upload festival continues unabated. 1. http://haskell.org/ Announcements Atom: Hardware Description in Haskell. Tom Hawkins [2]announced the release of [3]Atom, a high-level hardware description language embedded in Haskell, compiles conditional term rewriting systems into conventional HDL. 2. http://article.gmane.org/gmane.comp.lang.haskell.general/15209 3. http://www.funhdl.org/ The Monad.Reader: Issue 7. Wouter Swierstra [4]announced the latest issue of [5]The Monad.Reader. The Monad.Reader is a quarterly magazine about functional programming. It is less-formal than journal, but somehow more enduring than a wiki page or blog post. 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/22038 5. http://www.haskell.org/haskellwiki/The_Monad.Reader HDBC: Haskell Database Connectivity. John Goerzon [6]announced that [7]HDBC 1.1.2 is now released. HDBC provides an abstraction layer between Haskell programs and SQL relational databases. This lets you write database code once, in Haskell, and have it work with any number of backend SQL databases. 6. http://article.gmane.org/gmane.comp.lang.haskell.general/15227 7. http://software.complete.org/hdbc FileManip: Expressive Filesystem Manipulation. Bryan O'Sullivan [8]announced the [9]FileManip package provides expressive functions and combinators for searching, matching, and manipulating files. 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/22090 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/FileManip-0.1 photoname: manipulate photos using EXIF data. Dino Morelli [10]announced the release of [11]photoname, a command-line utility for renaming and moving photo image files. The new folder location and naming are determined by two things: the photo shoot date information contained within the file's EXIF tags and the usually-camera-assigned serial number, often appearing in the filename. 10. http://article.gmane.org/gmane.comp.lang.haskell.general/15187 11. http://ui3.info/d/proj/photoname.html RSA-Haskell: Command-line Cryptography. David Sankel [12]announced the release of [13]RSA-Haskell, a collection of command-line cryptography tools and a cryptography library written in Haskell. It is intended to be useful to anyone who wants to secure files or communications or who wants to incorporate cryptography in their Haskell application. 12. http://article.gmane.org/gmane.comp.lang.haskell.general/15207 13. http://www.netsuperbrain.com/rsa-haskell.html Haskell modes for Vim. Claus Reinke [14]summarised the various Haskell/Vim support currently available 14. http://article.gmane.org/gmane.comp.lang.haskell.general/15180 French Translation of Gentle Introduction to H98. The haskell-fr team [15]announced a completed a [16]translation into French of the 'Gentle Introduction to Haskell'. 15. http://article.gmane.org/gmane.comp.lang.haskell.general/15193 16. http://gorgonite.developpez.com/livres/traductions/haskell/gentle-haskell/ Haskell' This section covers the [17]Haskell' standardisation process. * [18]Polymorphic strict fields 17. http://hackage.haskell.org/trac/haskell-prime 18. http://thread.gmane.org/gmane.comp.lang.haskell.prime/2192 Hackage This week's new libraries in [19]the Hackage library database. 19. http://hackage.haskell.org/ * BitSyntax-0.2. Adam Langley. [20]A simple function for the construction of binary data. 20. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/BitSyntax-0.2 * filepath-1.0. Neil Mitchell. [21]Library for manipulating FilePath's in a cross platform way. 21. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/filepath-1.0 * Chart-2007.3.5. Tim Docker [22]A library for generating 2D Charts and Plots. 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Chart-2007.3.5 * FileManip-0.1. Bryan O'Sullivan [23]A Haskell library for working with files and directories. 23. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/FileManip-0.1 * hsns-0.5.2. Austin Seipp [24]A network sniffer written in a purely fun language. 24. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsns-0.5.2 * template-0.1. Johan Tibell [25]Simple string substitution library that supports dollar-based substitution. 25. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/template-0.1 * ASN1-0.0.1. Dominic Steinitz [26]ASN.1 suppport for X.509 identity and attribute certificates, PKCS8, PKCS1v15. 26. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ASN1-0.0.1 Discussion The Proper Definition of (evaluate :: a -> IO a). Isaac Dupree [27]described a variant of evaluate with modified semantics to the current implementation. 27. http://article.gmane.org/gmane.comp.lang.haskell.libraries/6858 Why is Data.Set not a monad?. Dan Doel [28]documented the reasons why Data.Set is not currently an instance of Monad. 28. http://article.gmane.org/gmane.comp.lang.haskell.libraries/6861 Chaos. Andrew Coppin [29]announced chaos, a fun image generating mystery program. 29. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/22177 The Functional Pearls. Don Stewart [30]collected the functional pearls known to be available online, on to a single page on the Haskell wiki. 30. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/22171 Blog noise [31]Haskell news from the blogosphere. * [32]HUG: Nested Data Parallelism in Haskell * [33]HUG: London Haskell User Group * [34]New York Functional Programmers meeting: roundup * [35]Python-style string split in Haskell * [36]Thinking in types * [37]Using the Haskell package system * [38]Fixed precision, an update * [39]Use of Text.XHtml.Strict for Outputting XHTML * [40]Idiom: Plan for Currying * [41]Bowling in Haskell * [42]The Trivial Monad * [43]Homeland Security Threat Level Monad * [44]Monads as universe helpers * [45]Understanding comonads * [46]Coding in Haskell: conciseness * [47]Functional programming in Wall Street * [48]Phantom Types for Real Problems * [49]Haskell rocks * [50]Advertising the ICFP Programming Contest * [51]Haskell wikibook * [52]Roll Your Own Window Manager: Part 1: Defining and Testing a Model * [53]Haskell and the Type Calculus: or, the Good -> Bad -> Ugliness of Types * [54]FileManip, an expressive Haskell library for manipulating files * [55]Programming in Haskell * [56]Parsing JSON in Haskell * [57]Namespace confusion * [58]A Scheme parser in Haskell * [59]Simple performance analysis * [60]Playing with Haskell unsafely * [61]repeat and sequence * [62]Haskell and C: functions returning more than one value 31. http://planet.haskell.org/ 32. http://www.londonhug.net/2007/05/01/hug-update-nested-data-parallelism-in-h… 33. http://www.phildawes.net/blog/2007/05/02/london-haskell-user-group/ 34. http://privosoft.blogspot.com/2007/05/new-york-functional-programmers-meeti… 35. http://gimbo.org.uk/blog/2007/04/20/splitting-a-string-in-haskell/ 36. http://totherme.livejournal.com/3845.html 37. http://gimbo.org.uk/blog/2007/04/27/haskell-packages-gotcha-global-vs-per-u… 38. http://augustss.blogspot.com/2007/04/fixed-precision-update-so-i-was-bit.ht… 39. http://www.movethemarkets.com/richard/2007/04/14/use-of-textxhtmlstrict-for… 40. http://www.movethemarkets.com/richard/2007/04/28/functional-programming-idi… 41. http://www.randomhacks.net/articles/2007/04/28/bowling-in-haskell 42. http://sigfpe.blogspot.com/2007/04/trivial-monad.html 43. http://sigfpe.blogspot.com/2007/04/homeland-security-threat-level-monad.html 44. http://gelisam.blogspot.com/2006/10/monads-as-universe-helpers.html 45. http://gelisam.blogspot.com/2007/04/i-understand-comonads.html 46. http://defowl.blogspot.com/2007/04/coding-in-haskell.html 47. http://codemiscellany.blogspot.com/2007/04/functional-programming-in-wall-s… 48. http://neilmitchell.blogspot.com/2007/04/phantom-types-for-real-problems.ht… 49. http://errantember.livejournal.com/50627.html 50. http://johanjeuring.blogspot.com/2007/05/advertising-icfp-programming-conte… 51. http://koweycode.blogspot.com/2007/05/haskell-wikibook-now-featured.html 52. http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/01#xmonad_part1_model 53. http://disparatemathematician.blogspot.com/2007/05/haskell-and-type-calculu… 54. http://www.serpentine.com/blog/2007/05/01/filemanip-an-expressive-haskell-l… 55. http://www.regdeveloper.co.uk/2007/05/03/programming_haskell/ 56. http://notes-on-haskell.blogspot.com/2007/05/parsing-json.html 57. http://notes-on-haskell.blogspot.com/2007/05/namespaces-confusion.html 58. http://sami.samhuri.net/articles/2007/05/03/a-scheme-parser-in-haskell-part… 59. http://syntaxfree.wordpress.com/2007/05/04/lra/ 60. http://therning.org/magnus/archives/249 61. http://therning.org/magnus/archives/269 62. http://therning.org/magnus/archives/280 Quotes of the Week * Oleg K: So, `bind' is `let' and monadic programming is equivalent to programming in the A-normal form. That is indeed all there is to monads * kc5tja: Premature evil is the root of all optimization * Tommah: Remember, kids: if you program in a language with side effects, the terrorists win. * ndm: Comments are for people who can't sense what their code does from the indentation * jcreigh: GHC has lots of interesting features above Haskell98, I've noticed. 'You can take the red pill or the blue pill...' 'Hmm. What's the green pill?' 'What? Oh. That's GHC.' * schluehk: It's about a variant of the other big Haskell credo: once it compiles it works. Once you have written a prototype you have also a spec. If this is not agile I don't know what? It is a quite remarkable inversion. Formerly people wanted tools that are so versatile that they let them express almost everything with great ease and where they didn't care a lot about speed optimizations and corner cases in the early iterations. Now people want tools that restricts intentionally their expressivity to let them do big upfront design as source code. They want to be guided to initial perfection. Let's face it: Haskell has quite some momentum in the dialectic move. Code Watch Notable new features and bug fixes to the Haskell compilers. Thu May 3 06:19:55 PDT 2007. Simon Marlow. [63]Add history/trace functionality to the GHCi debugger. The debugger can now log each step of the evaluation without actually stopping, keeping a history of the recent steps (currently 50). When a (real) breakpoint is hit, you can examine previous steps in the history (and their free variables) using the :history, :back and :forward commands. 63. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/20551 Wed May 2 09:34:57 PDT 2007. Simon Peyton-Jones. [64]Make records work properly with type families. This fixes Trac #1204. There's quite a delicate interaction of GADTs, type families, records, and in particular record updates. 64. http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/20522 About the Haskell Weekly News Each week, new editions are posted to [65]the Haskell mailing list as well as to [66]the Haskell Sequence and [67]Planet Haskell. [68]RSS is also available, and headlines appear on [69]haskell.org. Headlines are available as [70]PDF. To help create new editions of this newsletter, please see the [71]contributing information. Send stories to dons at cse.unsw.edu.au. The darcs repository is available at darcs get [72]http://www.cse.unsw.edu.au/~dons/code/hwn 65. http://www.haskell.org/mailman/listinfo/haskell 66. http://sequence.complete.org/ 67. http://planet.haskell.org/ 68. http://sequence.complete.org/node/feed 69. http://haskell.org/ 70. http://www.cse.unsw.edu.au/~dons/code/hwn/archives/20070507.pdf 71. http://haskell.org/haskellwiki/HWN 72. http://www.cse.unsw.edu.au/~dons/code/hwn

1 0

Monad and Monad transformer???
by Duong Thai Ha 07 May '07

07 May '07

hi I am a newbee to haskell so please forgive me if the question is not appropreate. I am trying to get the idea of using Monad and have to understand the following code. Can you please tell me is how different Monad and Monad transformer is? And what is mean by > newtype State s a = State { runState :: s -> (a, s) } --------------------------------- Define (State s) as a State monad > instance Monad (State s) where > return a = State $ \s -> (a,s) > m >>= k = State $ \s -> let (a,s') = runState m s in runState (k a) s' Thanks lot for your help I really do appreciate that Best regard

2 1

Is Hackage becoming a centralistic approach?
by Wolfgang Jeltsch 03 May '07

03 May '07

Hello, on <http://haskell.org/haskellwiki/Hackage> I read that there is the idea to make Hackage support bug tracking and project pages. This looks like Hackage should provide complete hosting of Haskell projects at some time. Is this really intended? Since any reasonable Haskell project should use Hackage now, this would mean that a Haskell software developer cannot use another hosting provider or whatever to host his project. I think this would be very bad since the decision about how and where to host a project shouldn’t be based primarily on what programming language it uses. Any comments? Best wishes, Wolfgang

3 2

ANN: HDBC 1.1.2
by John Goerzen 03 May '07

03 May '07

Hi everyone, I've made a few improvements to HDBC since the release of 1.1.0 yesterday. HDBC 1.1.2 is posted, with these updates: * New data type that "wraps" the IConnection class in a way that's easier to use in Haskell and more backwards-compatible. * Updated docs for correct URLs for HDBC info Also, on the HDBC website: * Posted migration to 1.1.x information * Posted API docs for the database backend drivers HDBC is at http://software.complete.org/hdbc -- John Goerzen Author, Foundations of Python Network Programming http://www.amazon.com/exec/obidos/tg/detail/-/1590593715

1 0

2nd CFP: IAT'07- DL: June 1, 2007 - Silicon Valley, USA
by Jia Hu 03 May '07

03 May '07

[Apologies if you receive this more than once] ##################################################################### IEEE/WIC/ACM Intelligent Agent Technology 2007 CALL FOR PAPERS ##################################################################### 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) Silicon Valley, USA, November 2-5, 2007 Official: http://www.cs.sjsu.edu/wi07/iat/ Mirror: http://www.maebashi-it.org/wi07/iat/ (to be collocated with WI'07, BIBM'07 and GrC'07) Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ##################################################################### # Conference Chair # Andrei Broder, VP, Yahoo Fellow, Yahoo! Research # # Program Chair and Co-Chairs # T.Y. Lin, San Jose State University/UC Berkeley, USA # Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA # Matthias Klusch, German Research Center for AI, Germany # Chengqi Zhang, University of Technology, Sydney, Australia # # Organizing Chair # Howard Ho, Manager, IBM Almaden Research Center # # IAT-WI Joint Keynote Speakers (Tentative) # # Vinton G. Cerf, Turing Award Winner, # VP and Chief Internet Evangelist, Google # Richard M. Karp, Turing Award Winner, # University of California Berkeley # Anant Jhingran, VP and CTO, IBM Silicon Valley Laboratory # # (More IAT Invited Speakers will be announced) # # (Papers Due: ** June 1 **, 2007) # Accepted papers will be published in the conference proceedings # by the IEEE Computer Society Press, which are indexed by EI. ###################################################################### The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) will be jointly held with the 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07), the 2007 IEEE International Conference on Bioinformatics and Biomedicine (BIBM'07), and the 2007 IEEE International Conference on Granular Computing (GrC'07) for providing synergism among the four research areas. It will provide opportunities for technical collaboration beyond that of previous conferences. The four conferences will have a joint opening, keynote, reception, and banquet. Attendees only need to register for one conference and can attend workshops, sessions and tutorials across the four conferences. We are also planning a joint panel and joint paper sessions that discuss common problems in the four areas. IAT 2007 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 2007 will foster the development of novel paradigms and advanced solutions in agent-based computing. +++++++++++ Highlights +++++++++++ The conference will be held in Silicon Valley, California. Many high-tech companies and three distinguished universities (Stanford, UC Berkely and UCSC) are just around the corner. The highlight of the conference is that a unique forum consisting of a half-day demo session and free discussion will be organized to link industries and academics. Leading IT companies like IBM, Google, and Yahoo etc will present at the conference. The area now known as Silicon Valley has been a center of technological development since the 1950's. The name Silicon Valley stems from the early 1970's, when the area had become the center for many semiconductor companies. While still hosting semiconductor and microprocessor companies, the region now hosts the headquarters of high tech companies of every kind, including many of the best known and most prestigious names in personal computers, Web search, Internet auctions, networking, storage, databases, etc. +++++++++++++++++++ Topics of Interest +++++++++++++++++++ The topics and areas include, but 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.computer.org/portal/pages/cscps/cps/final/iat06.xml) All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Note that IAT'07 will accept ONLY on-line submissions, containing PDF versions. Please use the Submission Form on the IAT'07 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'07 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) More detailed instructions and the On-Line Submission Form can be found from the IAT'07 homepage: http://www.cs.sjsu.edu/wi07/iat/. +++++++++++++++++++++++++ IAT'07 Best Paper Awards +++++++++++++++++++++++++ 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. The full author list and paper title will be announced on the Web Intelligence Consortium homepage: http://wi-consortium.org/html/wicawards.html ++++++++++++++++++++ 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://www.cs.sjsu.edu/wi07/wi/ We are planning to arrange the Industry/Demo track in the afternoon of November 3 (before and during the conference reception), jointly with the IAT'07 Demo sessions. Leading IT companies in Silicon Valley will be invited to attend this track. ++++++++++ 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. Note: we will not have a separate workshop registration fee (i.e., only one conference registration covers everything). ---------------------- WI-IAT 2007 Workshops: ---------------------- Title: Second International Workshop on Communication between Human and Artificial Agents (CHAA-07) Organisers: Christel Kemke Email: ckemke(a)cs.umanitoba.ca Web page: http://www.cs.umanitoba.ca/~ckemke/CHAA-07/ Title: Rational, Robust, and Secure Negotiations in Multi-Agent Systems (RRS2007) Organisers: Takayuki Ito Email: ito.takayuki(a)nitech.ac.jp Web page: http://www-itolab.mta.nitech.ac.jp/RRS2007/ Title: P2P Computing and Autonomous Agents Organisers: Tarek Helmy, Khaled Ragab Email: helmy(a)ccse.kfupm.edu.sa; helmy(a)kfupm.edu.sa Web Page: http://www.ccse.kfupm.edu.sa/~helmy/P2PAA2007_WI.html Title: Multiagent systems in e-Business: concepts, technologies and applications Organisers: Costin Badica; Maria Ganzha; Marcin Paprzycki Email: badica_costin(a)software.ucv.ro; ganzha(a)euh-e.edu.pl; marcin.parzycki(a)swps.edu.pl Web page: http://software.ucv.ro/~badica_costin/maseb2007/ Title: Agent & Data Mining Interaction Organisers: Pericles A. Mitkas, Longbing Cao, Vladimir Gorodetsky, Justin Zhan Email: mitkas(a)eng.auth.gr; lbcao(a)it.uts.edu.au Web page: http://issel.ee.auth.gr/ADMI Title: Educating the Web-Generation Organisers: Elisabeth Heinemann Email: elisabeth.heinemann(a)googlemail.com Web page: http://www.effactory.com/Edu4WebGen/ Title: Collective Intelligence on Semantic Web Organisers: Geun Sik Jo; Jason J. Jung; Ngoc Thanh Nguyen Email: gsjo(a)inha.ac.kr; j2jung(a)intelligent.pe.kr; thanh(a)pwr.wroc.pl Web page: http://intelligent.pe.kr/CISW07/ Title: New Computing Paradigms for Web Intelligence and Brain Informatics Organisers: Dr. Yuefeng Li; Dr. Yulin Qin, Prof. Dieter Fensel Email: y2.li(a)qut.edu.au; dieter.fensel(a)deri.org Web page: http://www.maebashi-it.org/wimbi07/WImBI2007.htm Title: Web Personalization and Recommender Systems Organisers: Yue Xu Email: yue.xu(a)qut.edu.au Web page: http://www.wprs07.fit.qut.edu.au/ Title: Service Composition Organisers: M. Brian Blake; Dumitru Roman; Charles Petrie Email: blakeb(a)cs.georgetown.edu; dumitru.roman(a)deri.org Web site: http://events.deri.at/sercomp2007/ Title: Biomedicine applications of Web technologies Organisers: Chun-Nan Hsu; Vincent Shin-Mu Tseng; Wen-Hsiang Lu Email: chunnan(a)iis.sinica.edu.tw; tsengsm(a)mail.ncku.edu.tw; whlu(a)mail.ncku.edu.tw Web page: http://chunnan.iis.sinica.edu.tw/BMWT2007.html Title: Intelligent Web Interaction Workshop 2007 1st Organiser: Prof. Seiji YAMADA Email: seiji(a)nii.ac.jp Web site: http://ymd.ex.nii.ac.jp/ws/iwi/07/ Title: Cyberinfrastucture for e-Science Organisers: Prof. Vasant Honavar; A/prof. Kei Cheung Email: honavar(a)cs.iastate.edu; kei.cheung(a)yale.edu Web page: http://www.cild.iastate.edu/events/CyIneS2007/ Title: 2007 International Workshop on Social Media Analysis Organisers: Chun-hung Li, William K. Cheung, Quoping Qiu Email: sma(a)comp.hkbu.edu.hk Web page: http://www.comp.hkbu.edu.hk/~sma/ Title: Web Security, Integrity, Privacy and Trust Organisers: Dr. Yiuming Cheung, Prof. Michael Chau, and Prof. Yong Zhang Email: ymc(a)Comp.HKBU.Edu.HK; mchau(a)business.hku.hk; zhangyong076(a)gmail.com Web page: http://isec.hitsz.edu.cn/wsipt07/ For more information, please visit the conference website at http://www.maebashi-it.org/wi07/iat/?index=workshop. ++++++++++ Tutorials ++++++++++ IAT'07 also welcomes Tutorial proposals. IAT'07 will include tutorials providing in-depth background on subjects that are of broad interest to the intelligent agent 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). ++++++++++++++++ Important Dates ++++++++++++++++ Workshop proposal submission: March 20, 2007 Electronic submission of full papers: ** June 1, 2007 ** Tutorial proposal submission: June 15, 2007 Notification of paper acceptance: July 22, 2007 Camera-ready copies of accepted papers: August 17, 2007 Conference: November 2-5, 2007 ++++++++++++++++++++++++ Conference Organization ++++++++++++++++++++++++ Conference Chair: * Andrei Broder, Yahoo! Research, USA Program Chair: * Tsau Young (T.Y.) Lin, San Jose State University/UC Berkeley, USA IAT Program Co-Chairs: * Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA * Matthias Klusch, German Research Center for AI, Germany * Chengqi Zhang, University of Technology, Sydney, Australia WI Program Co-Chairs: * Laura Haas, IBM Almaden Research Center, USA * Janusz Kacprzyk, Polish Academy of Science, Poland * Rajeev Motwani, Stanford University, USA Organizing Chair: * Howard Ho, IBM Almaden Research Center, USA Workshop Co-Chairs: * Vijay Raghavan, University of Louisiana, USA * Yuefeng Li, Queensland University of Technology, Australia Tutorial Chair: * Pawan Lingras, Saint Mary's University, Canada Industry/Demo-Track Chair: * Jianchang Mao, Yahoo! Inc., USA Local Accommodations Co-Chairs: * David Scot Taylor, San Jose State University, USA * Tom Qi Zhang, Google, USA Publicity Chair: * James Wang, Clemson University, USA (chair) Publicity Co-Chairs: * Martine De Cock, Ghent University, Belgium * Jia Hu, International WIC Institute, China * Debajyoti Mukhopadhyay, West Bengal University of Technology, India 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, IBM Thomas J. Watson Research Center, 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 Webmaster: * Albert Sutojo, San Jose State University, USA *** Contact Information *** Jia Hu International WIC Institute, China E-mail: hujia(a)kis-lab.com

1 0