June 2008 - Haskell - Haskell.org

Announcing Djinn, version 2004-12-11, a coding wizard
by Lennart Augustsson 07 Apr '11

07 Apr '11

Howdy, y'all! I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is interactive if not given any arguments. # Let's see if it can find the identity function. Djinn> f ? a->a f :: a -> a f x1 = x1 # Yes, that was easy. Let's try some tuple munging. Djinn> sel ? ((a,b),(c,d)) -> (b,c) sel :: ((a, b), (c, d)) -> (b, c) sel ((_, v5), (v6, _)) = (v5, v6) # We can ask for the impossible, but then we get what we # deserve. Djinn> cast ? a->b -- cast cannot be realized. # OK, let's be bold and try some functions that are tricky to write: # return, bind, and callCC in the continuation monad Djinn> type C a = (a -> r) -> r Djinn> returnC ? a -> C a returnC :: a -> C a returnC x1 x2 = x2 x1 Djinn> bindC ? C a -> (a -> C b) -> C b bindC :: C a -> (a -> C b) -> C b bindC x1 x2 x3 = x1 (\ c15 -> x2 c15 (\ c17 -> x3 c17)) Djinn> callCC ? ((a -> C b) -> C a) -> C a callCC :: ((a -> C b) -> C a) -> C a callCC x1 x2 = x1 (\ c15 _ -> x2 c15) (\ c11 -> x2 c11) # Well, poor Djinn has a sweaty brow after deducing the code # for callCC so we had better quit. Djinn> :q Bye. To play with Djinn do a darcs get http://darcs.augustsson.net/Darcs/Djinn or get http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz Then just type make. (You need a Haskell 98 implementation and some libraries.) And then start djinn. For the curious, Djinn uses a decision procedure for intuitionistic propositional calculus due to Roy Dyckhoff. It's a variation of Gentzen's LJ system. This means that (in theory) Djinn will always find a function if one exists, and if one doesn't exist Djinn will terminate telling you so. This is the very first version, so expect bugs. :) Share and enjoy. -- Lennart

8 13

Haskell-mode 2.0
by Stefan Monnier 02 Feb '09

02 Feb '09

I have recently taken over maintainership of Haskell-mode, and after making a bunch of changes, I figured it would be a good idea to make a new release. You can find this new release at: http://www-perso.iro.umontreal.ca/~monnier/elisp/ If you think it should also be found at http://www.haskell.org/haskell-mode/, then please tell John Peterson to get back to me (my email to him seem to go straight to the bitbucket. John?). This release has several changes that have all been only lightly tested, especially w.r.t compatibility with various Emacsen. See appended the NEWS file that describes some of the notewirthy changes. Stefan Changes since 1.45: * keybindings C-c <char> have been replaced by C-c C-<char> so as not to collide with minor modes. * The following modules are now automatically activated without having to add anything to haskell-mode-hook: haskell-font-lock (just turn on global-font-lock-mode). haskell-decl-scan (just bind `imenu' to some key). * In recent Emacsen, haskell-doc hooks into eldoc-mode. * haskell-hugs and haskell-ghci are superceded by inf-haskell. * Indentation rules have been improved when using layout inside parens/braces. * Symbols like -> and \ can be displayed as actual arrows and lambdas. See haskell-font-lock-symbols. * Tweaks to the font-lock settings. Among other things paren-matching with things like \(x,y) should work correctly now. * New maintainer <monnier(a)gnu.org>.

3 6

ANNOUNCE: cabal-install 0.5
by Duncan Coutts 05 Dec '08

05 Dec '08

cabal-install 0.5 ================= cabal-install version 0.5 is out: http://haskell.org/cabal/download.html or get it from hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-install If you are already using a cabal-install pre-release then you can just: $ cabal update $ cabal install cabal-install New features in cabal-install ============================= Command line improvements ------------------------- The most immediately noticeable thing is that the command line interface now has all the commands that runhaskell Setup.hs has. Of course it still has the features to download and install packages from hackage. It also gained an upload command. So it now provides a command line interface to the whole Cabal/Hackage system. There’s no need to use runhaskell Setup.hs ever again. There is also bash command line completion support included which I find is a great time saver. Installing and upgrading ------------------------ The next big thing is that it includes a new package dependency resolution system that finds correct and sensible solutions more of the time and has better default behaviour. The new behaviour should be similar to other package managers that people are used to. For example, suppose you’ve got xmonad-0.5 installed and version 0.7 is the latest on hackage, then $ cabal install xmonad will install xmonad-0.7. The older version, xmonad-0.5, will remain installed. The behaviour of install is to upgrade as little as possible to satisfy your request, but sometimes you want to upgrade all the dependencies too. Supposing now that we have xmonad-0.7 installed, but we’re still using X11-1.4.1 and the latest version on hackage is X11-1.4.2, then $ cabal upgrade xmonad will install X11-1.4.2 and *re-install* xmonad-0.7, this time built against the newer X11-1.4.2. So in general, the install command will install the latest version of things but will try and use any existing installed versions of dependencies while the upgrade command will also try to use the latest versions of all dependencies. As a special case, cabal upgrade on its own will try to upgrade all the packages that you have installed. For both command there is a --dry-run flag so you can see what would be installed without actually doing it. Hugs ---- Yes, it even works with hugs. That is, cabal-install built by ghc can manage the installation of packages for hugs. In principle cabal-install should be able to be run by hugs but currently the zlib binding is using a function that hugs does not support. Note that for hugs, Cabal does not know what packages are already installed because there is no equivalent of the package database that ghc has. So that means cabal-install cannot do very sensible installation planning. It should work ok so long as all the dependencies are already installed. Windows ------- Yes, it even works on Windows. The one caveat is that cabal-install cannot currently upgrade itself because Windows makes it hard for a process to overwrite its own executable file. It needs more complex trickery with the Win32 API. In the meantime the workaround is to rename the cabal.exe file first eg to cabal-foo.exe, then run cabal-foo install cabal-install. Build reporting --------------- One feature that made it into this release is build reporting. cabal-install keeps logs of all packages that you install (at least packages from hackage, not local ones). It records a bit of information about each package, in particular whether the outcome was successful or not. You can see these build reports in ~/.cabal/packages/$server/build-reports.log. For example, there is one from my machine for xmonad: package: xmonad-0.7 os: linux arch: x86_64 compiler: ghc-6.8.2 client: cabal-install-0.5.1 flags: -testing small_base dependencies: X11-1.4.2 base-3.0.1.0 containers-0.1.0.1 directory-1.0.0.0 mtl-1.1.0.0 process-1.0.0.0 unix-2.3.0.0 install-outcome: InstallOk docs-outcome: NotTried tests-outcome: NotTried The plan in the longer term is to let people upload these build reports to hackage so we can get a wider range of testing data about the packages on hackage. Duncan

2 1

The real Monad Transformer
by Henning Thielemann 13 Nov '08

13 Nov '08

It was argued that people avoid Haskell because of terms from Category theory like 'Monad'. This problem can now be solved by a wrapper which presents all the WWW without monads! Start e.g. at http://saxophone.jpberlin.de/MonadTransformer?source=http%3A%2F%2Fwww%2Ehas… Of course the tool is written in Haskell, that is, Haskell helps solving problems which only exist because of Haskell. Bug reports and feature requests can be tracked at https://sourceforge.net/projects/parallelweb

8 10

NW Functional Programming Interest Group
by Greg Meredith 19 Jul '08

19 Jul '08

All, Apologies for multiple listings. A small cadre of us are organizing a Northwest Functional Programming Interest Group (hey... NWFPIG, that's kinda funny). Our first official meeting is at the The Seattle Public Library 1000 - 4th Ave. Seattle, WA 98104 from 17:00 - 18:00 on February 20th. On the first meeting's agenda we'll be - giving people who are interested in or actively using FP for work or play a chance to meet - seeking to build up a pipeline of presentations and guest speakers - trying to keep organizational mishigosh to a minimum Hope to see you there. Monadically yours, --greg -- L.G. Meredith Managing Partner Biosimilarity LLC 806 55th St NE Seattle, WA 98105 +1 206.650.3740 http://biosimilarity.blogspot.com

1 6

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

Haskell Weekly News: Issue 74 - June 25, 2008
by Brent Yorgey 25 Jun '08

25 Jun '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080625 Issue 74 - June 25, 2008 --------------------------------------------------------------------------- Welcome to issue 74 of HWN, a newsletter covering developments in the [1]Haskell community. This week, you'll notice a bit more detail in the 'Blogs' section. I've added summaries to some of the posts, to help you decide which you might be interested to read (only a few this week, since I added them at the last minute). I've also >>> highlighted blogs not syndicated on Planet Haskell---mostly people who have just begun learning Haskell and decided to blog about it. Go show them some comment love, and invite them into the community! Community News Andrew Wagner (chessguy) recently flew out to Microsoft for an interview with their Live Search team. In [2]an email to the cafe, he shares some stories from his experience and some interesting coding challenges. Announcements HAppS self-demoing tutorial. Thomas Hartman [3]announced a self-demoing, HStringTemplate-using intro to HAppS. Check out the [4]live demo or obtain it [5]from Hackage. NWFP Interest Group. Greg Meredith [6]announced the next monthly meeting of the NW Functional Programmers Interest group, 6:30 on June 25 at the Seattle Public Library. Greg will talk about a very cool [7]compositional representation of graphs he's been tinkering with recently. ICFP final call for posters. Matthew Fluet [8]announced the final call for proposals for the ICFP 2008 poster session, which should be [9]submitted by June 30. Let people know what you're working on! type-level and parameterized-data packages. Alfonso Acosta [10]announced the release of the [11]type-level and parameterized-data packages, which provide type-level computation and parameterized types a la a dependently-typed system. Lambda in the sun. James Iry [12]announced the creation of [13]Southern California Functional Programmers (SoCalFP), a group for people in LA, Orange County, and San Diego to meet to discuss, debate, present, and learn about functional programming concepts and techniques in various languages. Real World Haskell. Bryan O'Sullivan [14]announced the availability of ten new draft chapters of [15]Real World Haskell, the upcoming O'Reilly book being written by Bryan, John Goerzen, and Don Stewart. In case you were worried, yes, you'll be able to have one in your Christmas stocking! Pugs on hackage!. Audrey Tang has uploaded to Hackage [16]version 6.2.13.2 of [17]Pugs, an implementation of Perl 6 in Haskell. Literal programming with rst-literals. Martin Blais [18]described a neat use of his utility [19]rst-literals to extract Haskell code from ReST documents, enabling a different style of literate programming. Pipe 1.0. Matti Niemenmaa [20]announced the release of [21]Pipe, a library for piping data through a pipeline of processes. HUnit. Richard Giraud [22]announced that he has improved the HUnit documentation and published the changes in a [23]darcs repository. hback. Norbert Wojtowicz [24]announced a new release of [25]hback, a Haskell implementation of the [26]dual n-back memory game using [27]gtk2hs. Google Summer of Code Progress updates from participants in the 2008 [28]Google Summer of Code. Hoogle 4. Neil Mitchell (ndm) is working on Hoogle 4, and recently [29]added two new features, multi-word search and intelligent suggestions. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a physics engine using [30]Data Parallel Haskell. [31]This week he intended to implement simple ad-hoc cubic collision geometry to test collisions with rotation, but the code became too cumbersome and non-extensible. He took a break to read some papers, and found [32]a better solution. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. [33]This week he worked on adding arbitrary user-specified phases to GHC, implementing a control system, pipeline generation, and [34]Template Haskell integration. Next he plans to work on a plugin annotation system. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a make-like dependency analysis framework for Cabal. He has posted [35]a detailed explanation of his project, some of the issues involved, and his progress so far. Language.C. Benedikt Huber (visq) is working on Language.C, a standalone parser/pretty printer library for C99. This week he worked on AST documentation and improvements, prepared to port the AST analysis from c2hs, and worked on the pretty printer's internals. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. Recently he has worked on implementing some [36]bitpacking tools to save memory. GHC API. Thomas Schilling (nominolo) is supposedly working on [37]improvements to the GHC API. However, officials at HWN headquarters have begun privately speculating that Thomas does not, in fact, exist. Discussion history of tuples vs pairs. Conal Elliott [38]asked about the history of support for n-tuples in Haskell and ML. hackageDB maintainer policy. Ross Paterson began a lengthy [39]discussion towards agreeing on a policy for uploading packages to Hackage, specifying whether the package is maintained and who is maintaining it, and other related issues. What is a rigid type variable?. Xiao-Yong Jin [40]asked what the 'rigid type variables' are that are sometimes referred to in GHC error messages. Read the thread for a concise discussion and the solution to the original problem. Map interface. Jamie Brandon started a [41]thread asking for feedback on his proposed API for generic tries, and the discussion is still ongoing. Left and right folds. George Kangas [42]exhibited a pair of very elegant alternate definitions for left and right fold, and showed how this alternate viewpoint makes obvious several algebraic identities as well as the generalization to [43]Data.Foldable. A must-read for the aspiring functional programmer. ribbonsPerLine. Alfonso Acosta asked an interesting [44]question about "ribbonsPerLine" in the Text.PrettyPrint.HughesPJ library. Do you know what it does? The answer can be found in the [45]original paper describing the library. Jobs PhD position at University of Strathclyde, Glasgow. Simon Marlow [46]announced, on behalf of Patricia Johann, an open PhD position in operational and categorical approaches to parametricity. The funded position is in the newly-formed Mathematically Structured Programming group at the University of Strathclyde, comprising Neil Ghani, Patricia Johann, and Conor McBride. Quantitative Trading Developer Position at Hutchin Hill Capital. Neil Mehra [47]announced an open position for a Quantitative Trading Developer at Hutchin Hill Capital, a newly formed multi-strategy hedge fund located in midtown Manhattan. Blog noise [48]Haskell news from the [49]blogosphere. * >>> Blockcipher: [50]Converting Geospatial Coordinates. Blockcipher has had enough of reading Haskell tutorials, and is itching to actually create something useful! * Roman Cheplyaka: [51]V-Clip algorithm (status update). An update on Roman's Google Summer of Code project. * Andy Gill: [52]Memo class using type families. * >>> blueapple: [53]Project Euler. blueapple is hooked on [54]Project Euler and has been using it as an opportunity to learn Haskell. * >>> Dinesh Pillay: [55]Haskell & Type Inference. Dinesh has been learning Haskell for just a few days now and is really enjoying it. In this post he shares a problem he was having with types and its solution. * Don Stewart (dons): [56]Daily Haskell: Download and analyse logs, then generate sparklines. A new series on gluing Hackage libraries together to get things done. * Max Bolingbroke: [57]Compiler Plugins For GHC: Week Two. An update on Max's Google Summer of Code project. * Edward Kmett: [58]Paramorphism. * Edward Kmett: [59]Catamorphism. * Edward Kmett: [60]Recursion Schemes: A Field Guide. Edward is writing up a 'field guide' to all those 'foomorphism' recursion schemes. * Neil Mitchell: [61]GSoC Hoogle: Week 4. * Real World Haskell: [62]Ten new draft chapters. * Jamie Brandon: [63]Bitpacking. Updates on Jamie's Google Summer of Code project. * Jamie Brandon: [64]Finally!. * Brent Yorgey: [65]ZipEdit. Brent describes a new library for creating simple interactive list editors. * Real-World Haskell: [66]Video of my concurrent/multicore Haskell talk is up. * Roman Cheplyaka: [67]Status report: week 4. An update on Roman's Google Summer of Code project. * Osfameron: [68]More Countdown: laziness, Scheme, and German frogs. * Andrea Vezzosi (Saizan): [69]a dependency analysis framework for Cabal. * Osfameron: [70]Schwartzian transform in Haskell. * Neil Mitchell: [71]Hoogle 4 New Features. * Thomas M. DuBuisson: [72]Past and Future libraries. * >>> codeflow: [73]Haskell + a grain of Python. codeflow talks about his experience learning Haskell and functional programming. * >>> Peter Christensen: [74]Hey Language Snobs: Don't Pinch Pennies. * >>> Micah Elliott: [75]1983-96: The Golden Age of Programming Languages. Quotes of the Week * povman: when does ghc6.10 plan to release itself? * Baughn: So I just rewrote a fairly complex text extraction/indexing system to pipeline its work across several processors - painlessly, in less than five minutes. Bravo, haskell! * monochrom: We need to cabalise Cale. * Botje: h0t (monoid `mappend` monoid) action? * quicksilver: the only tool we have in haskell98 for performing an action is the magic sigil 'main =' * solrize: haskell has a very steep unlearning curve :) * Botje: drug users pass around needles, haskell users pass around Oleg papers * qwe1234: i know haskell, ocaml, scheme and prolog better than you ever will. About the Haskell Weekly News New editions are posted to [76]the Haskell mailing list as well as to [77]the Haskell Sequence and [78]Planet Haskell. [79]RSS is also available, and headlines appear on [80]haskell.org. Headlines are available as [81]PDF. To help create new editions of this newsletter, please see the information on [82]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [83]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41760 3. http://www.haskell.org/pipermail/haskell-cafe/2008-June/044696.html 4. http://rippledeals.com:5001/ 5. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial 6. http://www.haskell.org/pipermail/haskell-cafe/2008-June/044671.html 7. http://biosimilarity.blogspot.com/2008/06/algebra-of-graphs-individually-an… 8. http://article.gmane.org/gmane.comp.lang.haskell.general/16263 9. https://www.softconf.com/s08/icfp08-posters/submit.html 10. http://www.haskell.org/pipermail/haskell-cafe/2008-June/044630.html 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-level 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16260 13. http://socalfp.blogspot.com/ 14. http://www.realworldhaskell.org/blog/2008/06/22/ten-new-draft-chapters/ 15. http://www.realworldhaskell.org/blog/ 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Pugs-6.2.13.2 17. http://pugscode.org/ 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41621 19. http://furius.ca/pubcode/pub/conf/common/bin/rst-literals.html 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41619 21. http://iki.fi/matti.niemenmaa/pipe/ 22. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/14661 23. http://richardg.name/ 24. http://article.gmane.org/gmane.comp.lang.haskell.general/16252 25. http://code.google.com/p/hback/ 26. http://www.pnas.org/cgi/content/abstract/0801268105v1 27. http://www.haskell.org/gtk2hs/ 28. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 29. http://neilmitchell.blogspot.com/2008/06/hoogle-4-new-features.html 30. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 31. http://physics-dph.blogspot.com/2008/06/status-report-week-4.html 32. http://physics-dph.blogspot.com/2008/06/v-clip-algorithm-status-update.html 33. http://blog.omega-prime.co.uk/2008/06/23/compiler-plugins-for-ghc-week-two/ 34. http://www.haskell.org/haskellwiki/Template_Haskell 35. http://vezzosi.blogspot.com/2008/06/my-summer-of-code-project-dependency.ht… 36. http://jamiiecb.blogspot.com/2008/06/gsoc-week-1.html 37. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 38. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41749 39. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9334 40. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41651 41. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9259 42. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41607 43. http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Foldable.ht… 44. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41506 45. http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps 46. http://article.gmane.org/gmane.comp.lang.haskell.general/16253 47. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41584 48. http://planet.haskell.org/ 49. http://haskell.org/haskellwiki/Blog_articles 50. http://idea-guy.blogspot.com/2008/06/converting-geosptial-coordinates.html 51. http://physics-dph.blogspot.com/2008/06/v-clip-algorithm-status-update.html 52. http://blog.unsafeperformio.com/?p=30 53. http://blueappledev.wordpress.com/2008/06/24/project-euler/ 54. http://projecteuler.net/ 55. http://dpillay.blogspot.com/2008/06/haskell-type-inference.html 56. http://www.cse.unsw.edu.au/~dons/blog/2008/06/24#daily-haskell-one 57. http://blog.omega-prime.co.uk/2008/06/23/compiler-plugins-for-ghc-week-two/ 58. http://comonad.com/reader/2008/paramorphism/ 59. http://comonad.com/reader/2008/catamorphism/ 60. http://comonad.com/reader/2008/recursion-schemes/ 61. http://neilmitchell.blogspot.com/2008/06/gsoc-hoogle-week-4.html 62. http://www.realworldhaskell.org/blog/2008/06/22/ten-new-draft-chapters/ 63. http://jamiiecb.blogspot.com/2008/06/bitpacking.html 64. http://jamiiecb.blogspot.com/2008/06/finally.html 65. http://byorgey.wordpress.com/2008/06/21/zipedit/ 66. http://www.realworldhaskell.org/blog/2008/06/20/video-of-my-concurrentmulti… 67. http://physics-dph.blogspot.com/2008/06/status-report-week-4.html 68. http://osfameron.vox.com/library/post/more-countdown-laziness-scheme-and-ge… 69. http://vezzosi.blogspot.com/2008/06/my-summer-of-code-project-dependency.ht… 70. http://osfameron.vox.com/library/post/schwartzian-transform-in-haskell.html… 71. http://neilmitchell.blogspot.com/2008/06/hoogle-4-new-features.html 72. http://tommd.wordpress.com/2008/06/18/past-and-future-libraries/ 73. http://codeflow.wordpress.com/2008/06/18/haskell-a-grain-of-python/ 74. http://www.pchristensen.com/blog/articles/hey-language-snobs-dont-pinch-pen… 75. http://micahelliott.blogspot.com/2008/06/1983-96-golden-age-of-programming.… 76. http://www.haskell.org/mailman/listinfo/haskell 77. http://sequence.complete.org/ 78. http://planet.haskell.org/ 79. http://sequence.complete.org/node/feed 80. http://haskell.org/ 81. http://code.haskell.org/~byorgey/code/hwn/archives/20080625.pdf 82. http://haskell.org/haskellwiki/HWN 83. http://code.haskell.org/~byorgey/code/hwn/

1 0