- Haskell - Haskell.org

ANNOUNCE: xmonad 0.1
by Spencer Janssen 22 Apr '07

22 Apr '07

The xmonad dev team is pleased to announce the inaugural release of: xmonad: a tiling window manager http://xmonad.org Xmonad is a minimalist tiling window manager for X, written in Haskell. Windows are managed using automatic layout algorithms, which can be dynamically reconfigured. At any time windows are arranged so as to maximise the use of screen real estate. All features of the window manager are accessible purely from the keyboard: a mouse is entirely optional. Xmonad is configured in Haskell, and custom layout algorithms may be implemented by the user in config files. A principle of Xmonad is predictability: the user should know in advance precisely the window arrangement that will result from any action. By default xmonad provides three layout algorithms: tall, wide and fullscreen. In tall or wide mode, windows are tiled and arranged to prevent overlap and maximise screen use. Sets of windows are grouped together on virtual screens, and each screen retains its own layout, which may be reconfigured dynamically. Multiple physical monitors are supported via Xinerama, allowing simultaneous display of a number of screens. By utilising the expressivity of a modern functional language with a rich static type system, Xmonad provides a complete, featureful window manager in less than 500 lines of code, with an emphasis on correctness and robustness. Internal properties of the window manager are checked using a combination of static guarantees provided by the type system, and type-based automated testing. A benefit of this is that the code is simple to understand, and easy to modify. More information, screenshots, documentation and community resources are available from: http://xmonad.org Xmonad is available from hackage, and via darcs. Happy hacking! The Xmonad Team: Spencer Janssen Don Stewart Jason Creigh

1 0

[Haskell] CFP: IEEE/WIC/ACM WI 2007 (Silicon Valley, USA) DL: June 1
by Jia Hu 21 Apr '07

21 Apr '07

[Apologies if you receive this more than once] ##################################################################### IEEE/WIC/ACM WEB INTELLIGENCE 2007 CALL FOR PAPERS ##################################################################### 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07) Silicon Valley, USA, November 2-5, 2007 Official: http://www.cs.sjsu.edu/wi07/wi/ Mirror: http://www.maebashi-it.org/wi07/wi/ (to be collocated with IAT'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, Professor, SJSU, BISC Fellow, UC-Berkeley # Laura Haas, Director, IBM Almaden Research Center # Janusz Kacprzyk, Professor, Polish Academy of Science # Rajeev Motwani, Professor, Stanford University # # Organizing Chair # Howard Ho, Manager, IBM Almaden Research Center # # WI-IAT Joint Keynote Speakers (Tentative) # # Vinton G. Cerf, Turing Award Winner, # VP and Chief Internet Evangelist, Google # Anant Jhingran, VP and CTO, IBM Silicon Valley Laboratory # # (More WI 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. ###################################################################### Web Intelligence (WI) has been recognized as a new direction for scientific research and development to explore the fundamental roles as well as practical impacts of Artificial Intelligence (AI) (e.g., knowledge representation, planning, knowledge discovery and data mining, intelligent agents, and social network intelligence) and advanced Information Technology (IT) (e.g., wireless networks, ubiquitous devices, social networks, and data/knowledge grids) on the next generation of Web-empowered products, systems, services, and activities. It is one of the most important as well as promising IT research fields in the era of Web and agent intelligence. The 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07) will be jointly held with the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'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. +++++++++++ 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 industry/ demo track 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: * WI Foundations - Brain Informatics for WI - Human level WI - New cognitive models and computational models for WI - Granular Computing (GrC) for WI - Autonomy-Oriented Computing (AOC) for WI * World Wide Wisdom Web (W4) - Meta-Knowledge Discovery and Representation - Problem Solver Markup Language (PSML) - Search of Best Means and Ends - Goal-Directed Services Support - Distributed Resources Optimization - Service Self-Aggregation - Web Inference Engine - Information and Knowledge Markets - New Social Interaction Paradigms - Social and Psychological Contexts - Regularities and Laws of W4 * Social Networks and Social Intelligence - Social Network Mining - Web Site Clustering - Link Topology and Site Hierarchy - Theories of Small-World Web - Virtual and Web Communities - Web-Based Cooperative Work - Knowledge Community Formation and Support - Ubiquitous Computing - Intelligent Wireless Web - Ubiquitous Learning Systems - Entertainment * Knowledge Grids and Grid Intelligence - Semantic Grids - Knowledge Resources and Services Discovery - On-Demand Planning and Routing - Brokering and Scheduling - Middleware Architectures and Tools * Web Mining and Farming - Text Mining - Data Stream Mining - Multimedia Data Mining - Web Content Mining - Web Log and Usage Mining - Learning User Profiles - Context Sensitive Web Mining - Web Information Clustering - Web Page Clustering and Mining - E-Mail Classification - Web Site Classification - Web Information Indexing - Data Warehousing - Web Farming and Warehousing * Semantics and Ontology Engineering - Ontology-Based Information Extraction and Retrieval - Ontology-Based Web Mining - Web-Based Ontology Learning - Semantic Web * Web Agents - Global Information Foraging - Distributed Problem Solving - Coordination - Resource Intermediary and Coordination Mechanisms - Self-Organization and Reproduction - Agent Networks and Topologies - Mobile Agents - Macroscopic Behavior Modeling - Trust Models for Web Agents * Web Services - Service-Oriented Computing - Matchmaking - Web Service Reconfiguration - Web Service Workflow Composition - Middleware-Based Ubiquitous Services - Grid Services * Web Information Filtering and Retrieval - Automatic Cataloging and Indexing - Clustering-Based Recommender Systems - Collaborative Filtering and Recommendation - Hybrid Recommendation - Information Retrieval Criteria and Evaluations - Web Information Categorization and Ranking - Proxy and Cache Techniques - Web Prediction and Prefetching - Distributed Web Search - Specifications for Web Information Extraction Process - Web Crawling Systems - Search Engines and Meta-search Engines * Intelligent Human-Web Interaction - Adaptive Web Interfaces - Context-Aware Computing - Learning User Profiles - Personalized Interfaces - Personalized Web Sites - Remembrance Agents - Multimedia Representation - Visualization of Information and Knowledge - Social and Psychological Issues * Web Support Systems - Information Retrieval Support Systems - Web Site Navigation Support Systems - Recommender Support Systems - Web-Based Decision Support Systems - Soft Computing (including neural networks, fuzzy logic, evolutionary computation, rough sets, and granular computing) and Uncertainty Management for WI * Intelligent e-Technology - Business Intelligence - Digital Library - Decentralized Community Communication Techniques - e-Community - e-Business and e-Commerce - e-Finance - e-Government - e-Learning - e-Publishing - e-Science - Intelligent Enterprise Portals - Web-Based Direct Marketing and CRM - Web-Based EDI - Web Security, Integrity, Privacy and Trust ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ High-quality papers in all WI 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/wi06.xml) All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Note that WI'07 will accept ONLY on-line submissions, containing PDF versions. Please use the Submission Form on the WI'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 WI'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 WI'07 homepage: http://www.cs.sjsu.edu/wi07/wi/. ++++++++++++++++++++++++ WI'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., conference registration covers everything). ------------------ WI 2007 Workshops: ------------------ 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: 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: ------------------- 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 For more information, please visit the conference website at http://www.cs.sjsu.edu/wi07/wi/?index=workshop. ++++++++++ Tutorials ++++++++++ WI'07 also welcomes Tutorial proposals. WI'07 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). ++++++++++++++++ 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 WI Program Co-Chairs: * Laura Haas, IBM Almaden Research Center, USA * Janusz Kacprzyk, Polish Academy of Science, Poland * Rajeev Motwani, Stanford University, 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 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, Dalhousie University, Canada * Dieter Fensel, National University of Ireland, Ireland * 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 Abbreviation: WI 2007, WI2007, WI'2007, WI'07, WI07, WI 07, WI-07, WI-2007, IAT 2007, IAT2007, IAT'2007, IAT'07, IAT07, IAT 07, IAT-07, IAT-2007, WI-IAT 2007, WI-IAT2007, WI-IAT'2007, WI-IAT'07, WI-IAT07, WI-IAT 07, WI-IAT-2007, WI-IAT-07, WI/IAT 2007, WI/IAT2007, WI/IAT'2007, WI/IAT'07, WI/IAT07, WI/IAT 07, WI/IAT-2007, WI/IAT-07 *** Contact Information *** Jia Hu International WIC Institute, China E-mail: hujia(a)kis-lab.com

1 0

Vacancy for a PhD student
by Johan Jeuring 20 Apr '07

20 Apr '07

(Knowledge of Haskell is a big plus; implementation of most of the tools will be done in Haskell.) Vacancy: PhD student in the Strategy Feedback project 1+3 years, Open University the Netherlands, location: Heerlen (preference). The project: In many subjects students have to acquire procedural skills. Problems in mathematics are often solved using a standard procedure, such as for example solving a system of linear equations by subtracting equations from top to bottom, and then substituting variables from bottom to top. Problems in computer science, physics, chemistry, electrotechnics, and other subjects, often require procedural skills as well. Furthermore, procedural skills appear at any educational level. E-learning systems offer excellent possibilities for practicing procedural skills. The first explanations and motivation for a procedure that solves a particular kind of problems are probably best taught in a class room, or studied in a book, but the subsequent practice can often be done behind a computer. There exist many e-learning systems or intelligent tutoring systems that support practicing procedural skills. The tools vary widely in breadth, depth, user-interface, etc, but, unfortunately, almost all of them lack sophisticated techniques for providing immediate feedback. If feedback mechanisms are present, they are hard coded in the tools, often even with the exercises. This situation hampers the usage of e-learning systems for practicing procedural skills. This project aims to investigate techniques for providing flexible and immediate feedback in tools that support practicing procedural skills. We want to use advanced techniques from computer science, taken from fields such as term rewriting, strategies, error-correcting parsers, and generic programming to provide feedback at each intermediate step from the start towards the solution of an exercise. We want to further develop some of these techniques, and apply and experiment with them in the domain of e-learning systems. Our goal is to obtain e-learning systems that give immediate and useful feedback. We will cooperate on this project with the Software Technology group from Utrecht University. Requirements: University degree in Computer Science. Good knowledge of functional programming, and several advanced computer science techniques. Knowledge of parsing, rewriting, strategies, generic programming, etc. will be useful. More information about the project can be found on http://ideas.cs.uu.nl/wiki/index.php/IDEAS:StrategicFeedback or contact Johan Jeuring (johanj(a)cs.uu.nl, +31 6 40010053). To apply: send a letter and your curriculum vitae before May 5, 2007 to: Open Universiteit Nederland, afdeling Personele ondersteuning, Postbus 2960, 6401 DL Heerlen. U kunt ook or an e-mail to: martin.vanloo(a)ou.nl Mention vacancynr FAC/INF/07024 In both cases, please cc Johan Jeuring (johanj(a)cs.uu.nl)

1 0

Extended deadline: CFP - SSW 2007
by E. Segura 19 Apr '07

19 Apr '07

Please note: The paper submission deadline has been extended to April 30, 2007 The 2nd IEEE International Workshop on Software Stability at Work SSW 2007 Invitation Las Vegas, USA, August 13-15, 2007 (in conjunction with IEEE IRI 2007) http://www.sis.pitt.edu/~iri07/ (IEEE IRI 2007 Link) http://www.sis.pitt.edu/~iri07/wkshpCFP3.html (Main Link) http://www.engr.sjsu.edu/~fayad/workshops/IRI07-SSW (Workshop Link 2) www.vrlsoft.com/workshops/SSW07 (Workshop Link 3) Greetings, I would like to invite you to participate in The First IEEE International Workshop on Software Stability at Work. (SSW 2007)" In conjunction with The 2007 IEEE International Conference on Information Reuse and Integration (http://www.sis.pitt.edu/~iri07/) which will take place in Las Vegas, Nevada, August 13-15, 2OO7 by submitting a paper or two before or on April 30, 2007. A call of papers for the workshop is enclosed and it can be found at: http://www.sis.pitt.edu/~iri07/wkshpCFP3.html (Main Link) http://www.engr.sjsu.edu/~fayad/workshops/IRI07-SSW (Workshop Link 2) www.vrlsoft.com/workshops/SSW07 (Workshop Link 3) Accepted papers will be published in the proceedings (EI Index) of the The 2007 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2007). The workshop selected best papers will be published in online Journal of International Journal Of Patterns (IJOP). Looking forward to your submission and participation in the workshop! All the best, Cheers, Dr. M.E. Fayad (Chair) Dr. Rami Bahsoon (Co-Chair) Dr. Chia-Chu Chiang (Co-Chair) Dr. Shasha Wu (Co-Chair) -- ijop.org -- Powered by PHPlist, www.phplist.com --

1 0

Extended deadline: CFP - SASA 2007
by E. Segura 19 Apr '07

19 Apr '07

Please note: The paper submission deadline has been extended to April 30, 2007 The 2nd IEEE International Workshop Towards Stable and Adaptable Software Architectures SASA 2007 Invitation Las Vegas, USA, August 13-15, 2007 (in conjunction with IEEE IRI 2007) http://www.sis.pitt.edu/~iri07/ (IEEE IRI 2007 Link) http://www.sis.pitt.edu/~iri07/wkshpCFP2.html (Workshop Link 1) http://www.engr.sjsu.edu/~fayad/workshops/SASA07 (Workshop Link 2) http://www.vrlsoft.com/workshops/SASA07 (Workshop Link 3) Greetings, I would like to invite you to participate in The 2nd IEEE International Workshop Towards Stable and Adaptable Software Architectures (SASA 2007)" In conjunction with The 2007 IEEE International Conference on Information Reuse and Integration (http://www.sis.pitt.edu/~iri07/) which will take place in Las Vegas, Nevada, August 13-15, 2OO7 by submitting a paper or two before or on April 30, 2007. A call of papers for the workshop is enclosed and it can be found at: http://www.sis.pitt.edu/~iri07/wkshpCFP2.html (Workshop Link 1) http://www.engr.sjsu.edu/~fayad/workshops/SASA07 (Workshop Link 2) http://www.vrlsoft.com/workshops/SASA07 (Workshop Link 3) Accepted papers will be published in the proceedings (EI Index) of the The 2007 IEEE International Conference on Information Reuse and Integration (IEEE IRI 2007). The workshop selected best papers will be published in online Journal of International Journal Of Patterns (IJOP). Looking forward to your submission and participation in the workshop! All the best, Cheers, Dr. M.E. Fayad (Chair) Dr. Rami Bahsoon (Co-Chair) Dr. Tarek Helmy (Co-Chair) Eduardo M. Segura (Co-Chair) -- ijop.org -- Powered by PHPlist, www.phplist.com --

1 0

Haddock and type operators
by Wolfgang Jeltsch 19 Apr '07

19 Apr '07

Hello everybody, I urgently need Haddock support for type operators like in the following code snippet: infix 2 :::, := infixl 9 :.: data name ::: value = name := value newtype Composition f g a = Composition { runComposition :: f (g a) } type (:.:) = Composition Does anybody know whether this is easy to implement or whether there is a quick hack to make this work? Can I do the hacking myself or is deeper knowledge of the Haddock source code necessary to provide this feature? Thank you in advance for any help. Best wishes, Wolfgang

3 4

haskell question
by Greg Meredith 18 Apr '07

18 Apr '07

Haskellians, In the attached file i have implemented the bare bones core of the syntax -- pre structural equivalence -- of Milner's presentation of \pi via abstractions and concretions. (There's a minor twist in that the notion of location affords more structure than in Milner's original presentation which i have added to support an ultimate probabilistic interpretation.) The file compiles with ghc as is. If you uncomment the last section, however, you see that to close the loop on the constraints for the agent syntax we hit a typing error. i think this is a hard constraint in Haskell that prevents this level of generality in the specification, but maybe you can see a way around it. i'm certainly no Haskell expert. Best wishes, --greg P.S. The reason for this level of generality is that with it you can close the loop and form a mutual recursion between the types for the syntax of processes and the type of names -- without having that choice predesigned into the structure of processes (or names). i can do this trick in OCaml with recursive modules, but it's definitely not pretty. i was hoping Haskell could make it pretty. -- L.G. Meredith Managing Partner Biosimilarity LLC 505 N 72nd St Seattle, WA 98103 +1 206.650.3740 http://biosimilarity.blogspot.com

1 0

Haskell job
by Lennart Augustsson 18 Apr '07

18 Apr '07

Hi all, Credit Suisse has started using Haskell within GMAG, the group that provides financial analytics for the bank. The main use of Haskell is for a Domain Specific Embedded Language that is being used by the people writing the financial analytics (these people typically have a PhD in mathematics or physics). We are looking to extend our Haskell group (which currently is me and Ganesh Sittampalam), so if you're an experienced Haskell person take the chance! Here's a URL to the Credit Suisse job ad: https://creditsuisse.taleo.net/servlets/CareerSection? art_ip_action=FlowDispatcher&flowTypeNo=13&pageSeq=2&reqNo=53820&art_ser vlet_language=en&selected_language=en&csNo=10020#topOfCsPage If you have any questions email Howard Mansell, howard.mansell@credit- suisse.com, or me. -- Lennart

1 0

Quicksearch vs. lazyness
by Steffen Mazanek 17 Apr '07

17 Apr '07

Hello, say, we want to find the k'th element in a sorted list. In imperative languages it is much more efficient to not use quicksort first and get the k'th element later, but to use a quicksearch algorithm that sorts only the relevant parts of the array. In Haskell one could implement this idea as follows: qsearch k [] = error ... qsearch k (x:xs) | lsmaller >= k = qsearch k smaller | lsmaller == 0 && k > 1 = qsearch (k-1) greater | lsmaller == 0 = x | otherwise = qsearch (k-lsmaller) (x:greater) where smaller = filter (<= x) xs lsmaller = length smaller greater = filter (> x) xs However, I was wondering whether it might be possible to implement quicksort in a way that quicksearch is done out of the box by lazy evaluation. Is there any way to do this? From my understanding for small k's lazy evaluation already does the trick for the naive quicksort algorithm (quicksort smaller ++ [x] ++ quicksort greater), doesn't it? Is there a search algorithm that makes better use of lazy evaluation out of the box? Best regards, Steffen

4 5

ANN: Data.Proposition 0.1
by Neil Mitchell 16 Apr '07

16 Apr '07

Hi, I am now releasing Data.Proposition. This library handles propositions, logical formulae consisting of literals without quantification. It automatically simplifies a proposition as it is constructed using simple rules provided by the programmer. Implementations of propositions in terms of an abstract syntax tree and as a Binary Decision Diagram (BDD) are provided. A standard interface is provided for all propositions. Website: http://www-users.cs.york.ac.uk/~ndm/proposition/ Darcs: darcs get --partial http://www.cs.york.ac.uk/fp/darcs/proposition/ Haddock: http://www.cs.york.ac.uk/fp/haddock/proposition/Data-Proposition.html The Haddock documentation also has a short example in it. This library is used substantially in the tool I have developed for my PhD, and has been extensively tested. Thanks Neil

1 0