April 2005 - Haskell - Haskell.org

PAT2005 Summer School Announcement
by jespera＠diku.dk 06 Apr '05

06 Apr '05

======== Announcement of PAT2005 ======== Summer School: Program analysis and transformation Organized by: Computer Science Department (DIKU), University of Copenhagen, Denmark Monday-Friday 6-10 June, 2005 Summer School homepage: http://www.diku.dk/PAT2005/ This summer school on Program analysis and transformation will span theory and practice in the field. The overall theme is semantics-based program manipulation, in which practically-motivated operations on programs are solidly based in the semantics of the underlying programming languages. Research profile of the Summer School's topics: This research field began with classical compiler optimisations. These were pragmatically successful and well-automated, but lacking in semantic foundations. This led to the long-pursued goal of truly semantics-based generation of compilers and of abstract machines to implement programming languages. Parallel academic developments included more powerful and interesting program transformations that were developed by hand, one at a time. Major progress has been made in all three areas: semantically well-founded compiler optimisations have been devised and well-automated; compilers and abstract machines can now be generated by semantics-based methods including partial evaluation; and there now exist more powerful, general and well-founded program transformations. The speakers at this Summer School represent the state of the art in this research field. Confirmed speakers and their topics are: Mooly Sagiv (Israel: Tel Aviv) Program analysis using Three-Valued Logic Olivier Danvy (Denmark: Aarhus) On one-step reduction, evaluation, and abstract machines Oege De Moor (UK: Oxford) Incremental execution of transformation specifications Nick Benton, Microsoft Research Cambridge Semantics of static analyses and program transformations Neil Jones (Denmark: DIKU, Copenhagen) Size-change termination analysis of first and higher-order programs Torben Mogensen (Denmark: DIKU, Copenhagen) Introduction to partial evaluation; Program semi-inversion Arne Glenstrup (Denmark: ITU, Copenhagen) Tool tutorial for the Scheme partial evaluators PGG and Similix John Gallagher (Denmark: Roskilde) Program analysis and specialisation using tree automata Robert Glueck (Denmark: DIKU, Copenhagen) Program inversion Kazuhiko Kakehi (Japan: MIST, Tokyo Uniiversity) Attribute grammars and program transformations Prerequisites: Students should have some familiarity with classical compiler optimisations. A basic knowledge of operational semantics of programming languages (eg Structural operational semantics, Natural semantics or Action semantics) would be helpful. Sponsors: The PAT Summer School is partly supported by FIRST Graduate School: http://first.dk/ APPSEM-II: http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/ Microsoft Research: http://research.microsoft.com/aboutmsr/labs/ Danish Natural Science Research Agency: http://www.forsk.dk Web pages: PAT home page: http://www.diku.dk/PAT2005/ (with details on lecture topics, speaker profiles, timetable, etc.) DIKU guest page: http://www.diku.dk/diku/gaester/index.html (with details on local transport, maps, hotels, etc.) Registration: The registration fee is DKK 1100 = EURO 150. This includes lecture materials, lunches and coffees, and a Summer School dinner. A block of rooms will be reserved at a hotel in central Copenhagen -- specifically, the new Cab Inn. Attendees are expected to arrange and pay for their own travel and lodging. Registration will Open: 5. April, 2005 Close: 20. May, 2005. Fee waivers: There will be a limited number of grants covering part or all of the registration fee. Application materials are available at the course's web page at the beginning of the registration period. Local Organisation Committee: Neil Jones neil(a)diku.dk Andrzej Filinski andrzej(a)diku.dk Torben Mogensen torbenm(a)diku.dk Jesper Andersen jespera(a)diku.dk Karin Outzen karino(a)diku.dk

1 0

CoOrg05: Call For Participation. Namur, April 23, 2005
by L.W.N.van.der.Torre＠cwi.nl 06 Apr '05

06 Apr '05

Call for Participation, Namur, April 23, 2005 1st International Workshop on Coordination and Organisation (CoOrg 2005) CoOrg 2005 is a one day workshop affiliated with the Seventh International Conference on Coordination Models and Languages (COORDINATION 2005), Namur, Belgium, April 20-23, 2005. (http://www.coordination2005.org) Preliminary program 08:30 - 09:30: registration 09:30 - 10:30: Andrea Omicini, Agens Faber: Toward a Theory of Artifacts for MAS (invited talk) 10:30 - 11:00: coffee-break 11:00 - 11:30: Alan Colman and Jun Han, On the autonomy of software entities and modes of organisation 11:30 - 12:00: Frank Goethals, Towards a comprehensive classification of dependencies 12:00 - 14:00: lunch 14:00 - 15:00: Mehdi Dastani, Coordination and composition of multi-agent systems (invited talk) 15:00 - 15:30: Estefania Argente, Vicente Julian, and Vicente Botti, From human to agent organizations 15:30 - 16:00: coffee-break 16:00 - 16:30: Cosmin Carabelea and Olivier Boissier, Coordinating agents in organizations using social commitments 16:30 - 17:00: Benjamin Gateau, Djamel Khadraoui, and Eric Dubois, MOISE-Inst: an organizational model for specifying rights and duties of autonomous agents 17:00 - 17:30: L.P.J. Groenewegen, A.W. Stam, P.J. Toussaint, and E.P. de Vink, Paradigm as organization-oriented coordination language 17:30 - 18:00: Alan Colman and Jun Han, Using associations aspects to implement organizational contracts Workshop goals Organizations embody a powerful way to coordinate complex behavior in human society. Different models of organisations exist, from bureaucratic systems based on norms to competitive systems based on markets. Moreover, organizational concepts allow to structure the behavior of complex entities in a hierarchy of encapsulated entities: departments structured in roles, organisations structured in departments, and interorganizational coordination structured in organizations. Organizations specify the interaction and communication possibilities of each of these entities, abstracting from the implementation of their behavior. Since these entities are autonomous, they can only be coordinated exogeneously. Organisational models have been popular in the last years in agent theory for modelling coordination in open systems, where departments and organisations are modelled as autonomous entities. This is also due to the need to ensure social order within MAS applications like Web Services, Grid Computing, and Ubiquitous Computing. In these settings, openness, heterogeneity, and scalability pose new challenges on traditional MAS organizational models. It becomes necessary to integrate organizational and individual perspectives and to promote the dynamic adaptation of models to organizational and environmental changes. Nowadays, practical applications of agents to organizational modeling are being widely developed. Moreover, organisational concepts are used frequently for coordination purposes in different areas of Computer Science. For example, roles are used in access control, conceptual modelling, programming languages and patterns. Contracts are used in design by contract, and services are used in web services and service level agreements. Message based communication is used in networking. Finally, coordination techniques are used in formal models of organisations to analyse or simulate them. In contrast, most coordination languages refer mostly to different kinds of metaphors, like blackboards, shared dataspaces, component composition and channels. Although coordination is usually said to be of a multidisciplinary nature, the links between organisations and coordination have never received proper attention at the coordination conferences. CoOrg 2005, as part of COORDINATION2005, will provide an excellent opportunity to meet researchers studying coordination and organisations in cognitive science, social sciences, agent theory, computer science, philosophy, etc., to discuss the current state of the art and identify potential future directions and research issues. Topics of interest The topics of this symposium include, but are not restricted to, the following: * organisational concepts and methods for coordination: o role based coordination o contract based coordination o coordination in normative multiagent systems o service oriented coordination * coordination techniques for organisations: o normative systems o markets o authority and power o trust * interorganisational coordination o control of autonomy in coordination o integration of organizations * applications of coordination and organisation: o multiagent social simulation models o organization based software engineering o organization oriented programming o organizational patterns Invited speakers Mehdi Dastani, Utrecht University Andrea Omicini, University of Bologna Proceedings The papers accepted for the symposium will be available at the workshop. Moreover, selected work will be published in a volume of ENTCS. Chairs Leon van der Torre, CWI Amsterdam, The Netherlands Guido Boella, Department of Computer Science, Universita' di Torino, Italy Program committee * Farhad Arbab - CWI Amsterdam and University Leiden * Frank de Boer - CWI Amsterdam and University Leiden * Guido Boella - Dipartimento di Informatica, Universita' di Torino (co-chair) * Olivier Boissier - Systemes Multi-Agents G2I, ENSM.SE Saint-Etienne * Cristiano Castelfranchi - Institute of Cognitive Sciences and Technologies (ISTC), Italy * Kevin Crowston - Syracuse University * Mehdi Dastani - University of Utrecht * Joris Hulstijn - Vrije Universiteit Amsterdam * Andrea Omicini - University of Bologna * Pierre-Yves Schobbens - Institut d'Informatique University of Namur * Carles Sierra - IIIA of the Spanish Research Council, Barcelona * Leon van der Torre - CWI Amsterdam (co-chair) On the web SYMPOSIUM WEBSITE: http://boid.info/CoOrg05 COORDINATION 2005 WEBSITE: http://www.coordination2005.org/

1 0

WI'05: Deadline Extended to April 18
by Jia Hu 06 Apr '05

06 Apr '05

[Apologies if you receive this more than once] Dear Colleague, In response to many requests for an extension, we are pleased to extend the paper submission deadline for WI 2005 to ** April 18 **. Submission can be done online at: http://www.comp.hkbu.edu.hk/WI05/ http://www.hds.utc.fr/WI05/ We look forward to receiving your submissions soon. With best regards, Andrzej Skowron PC chair of WI-IAT'05 ##################################################################### IEEE/WIC/ACM WEB INTELLIGENCE 2005 FINAL CALL FOR PAPERS ##################################################################### 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05) September 19-22, 2005 Compiegne University of Technology, France http://www.comp.hkbu.edu.hk/WI05/ http://www.hds.utc.fr/WI05/ Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ********************************************************************** - Paper submission NEW due: April 18, 2005 - Submission websites: http://www.comp.hkbu.edu.hk/WI05/ http://www.hds.utc.fr/WI05/ - Electronic submissions are required in the form of PDF or PS files ********************************************************************** 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 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05) will be jointly held with the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05 http://www.comp.hkbu.edu.hk/IAT05/, http://www.hds.utc.fr/IAT05) The IEEE/WIC/ACM 2005 joint conferences are sponsored and organized by IEEE Computer Society Technical Committee on Computational Intelligence (TCCI) (http://www.cs.uvm.edu/~xwu/tcci/index.shtml) Web Intelligence Consortium (WIC) (http://wi-consortium.org) and ACM-SIGART (http://www.acm.org/sigart/) +++++++ Topics +++++++ The topics and areas include, but not limited to: WI Topics * World Wide Wisdom Web (W4) Distributed Resources Optimization Goal-Directed Services Support Information and Knowledge Markets Knowledge Community Formation and Support Meta-Knowledge Discovery and Representation New Social Interaction Paradigms Problem Solver Markup Language (PSML) Regularities and Laws of W4 Search of Best Means and Ends Service Self-Aggregation Social and Psychological Contexts Web Inference Engine * Social Networks and Social Intelligence Entertainment Knowledge Community Formation and Support Link Topology and Site Hierarchy Intelligent Wireless Web Social Networks Mining Theories of Small-World Web Ubiquitous Computing Ubiquitous Learning Systems Virtual and Web Communities Web-Based Cooperative Work Web Site Clustering * Knowledge Grids and Grid Intelligence Brokering and Scheduling Knowledge Resources and Services Discovery Middleware Architectures and Tools On-Demand Planning and Routing Semantic Grids * Web Mining and Farming Context Sensitive Web Mining E-Mail Classification Data Warehousing Learning User Profiles Multimedia Data Mining Mining Data Streams Text Mining Web Farming and Warehousing Web Content Mining Web Information Clustering Web Information Indexing Web Log and Usage Mining Web Page Clustering and Mining Web Site Classification * Semantics and Ontology Engineering Ontology-Based Information Extraction and Retrieval Ontology-Based Web Mining Web-Based Ontology Learning Semantic Web * Web Agents Agent Networks and Topologies Coordination Distributed Problem Solving Global Information Foraging Macroscopic Behavior Modeling Mobile Agents Remembrance Agents Resource Intermediary and Coordination Mechanisms Self-Organization and Reproduction Trust Models for Web Agents * Web Services Matchmaking Middleware-Based Ubiquitous Services Service-Oriented Computing Web Service Reconfiguration Web Service Workflow Composition Grid Services * Web Information Filtering and Retrieval Automatic Cataloging and Indexing Clustering-Based Recommender Systems Collaborative Filtering Digital Library Distributed Web Search Hybrid Recommendation Information Retrieval Criteria and Evaluations Proxy and Cache Techniques Search Engines and Meta-search Engines Specifications for Web Information Extraction Process Web Crawling Systems Web Information Categorization and Ranking Web Prediction and Prefetching * Intelligent Human-Web Interaction Adaptive Web Interfaces Context-Aware Computing Learning User Profiles Multimedia Representation Personalized Interfaces Personalized Web Sites Social and Psychological Issues Visualization of Information and Knowledge * Web Support Systems Information Retrieval Support Systems Web Site Navigation Support Systems Recommender Support Systems Soft Computing (including neural networks, fuzzy logic, evolutionary computation, rough sets, and granular computing) and Uncertainty Management for WI Web-Based Decision Support Systems * Intelligent e-Technology Collaborative Filtering and Recommendation Business Intelligence Decentralized Community Communication Techniques E-Business and E-Commerce E-Community E-Finance E-Government E-Learning E-Publishing E-Science E-Service Intelligent Enterprise Portals Web-Based Direct Marketing and CRM Web-Based EDI Web Security, Integrity, Privacy and Trust ++++++++++++++++ Important Dates ++++++++++++++++ Electronic submission of full papers: ** April 3, 2005 ** Notification of paper acceptance: June 9, 2005 Workshop and tutorial proposals: June 9, 2005 Camera-ready of accepted papers: July 4, 2005 Workshops/Tutorials: September 19, 2005 Conference: September 20-22, 2005 ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ High-quality papers in all WI related areas are solicited. Papers exploring new directions or areas will receive a careful and supportive review. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Note that WI'05 will accept ONLY on-line submissions, containing PDF (PostScript or MS-Word) versions. The conference proceedings will be published by the IEEE Computer Society Press. WI'05 also welcomes Industry Track and Demo submissions, Workshop and Tutorial proposals. More detailed instructions and the On-Line Submission Form can be found from the WI'05 homepages: http://www.comp.hkbu.edu.hk/WI05/ or http://www.hds.utc.fr/WI05. A selected number of WI'05 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 on the authors of the best papers at the conference. ++++++++++++++++++++++++ Conference Organization ++++++++++++++++++++++++ Conference Chairs: Pierre Morizet, University of Technology of Compiegne, France Jiming Liu, Hong Kong Baptist University, Hong Kong Program Chair: Andrzej Skowron, Warsaw University, Poland Steering Committee Chair: Ning Zhong, Maebashi Institute of Technology, Japan WI-Track Program Co-chairs: Rakesh Agrawal, IBM Almaden Research Center, USA Mike Luck, University of Southampton, UK Takahira Yamaguchi, Shizuoka University, Japan IAT-Track Program Co-chairs: Jean-Paul Barthes, University of Technology of Compiegne, France Lakhmi Jain, University of South Australia, Australia Ron Sun, Rensselaer Polytechnic Institute, USA WI-Track Program Vice Chairs: Matthias Klusch, German Research Center for Artificial Intelligence, Germany Joost Kok, Leiden University, The Netherlands Steve Willmott, Universitat Politccnica de Catalunya, Spain Ubbo Visser, Universitat Bremen, Germany Mario Cannataro, University "Magna Grecia" of Catanzaro, Italy Nick Cercone, Dalhousie University, Canada W. Lewis Johnson, University of Southern California, USA Lina Zhou, University of Maryland, Baltimore County, USA Massimo Marchiori, MIT Lab for Computer Science, USA Sankar K. Pal, Indian Statistical Institute, India Toyoaki Nishida, Kyoto University, Japan Einoshin Suzuki, Yokohama National University, Japan Chengqi Zhang, University of Technology, Sydney, Australia IAT-Track Program Vice Chairs: Barbara Dunin-Keplicz, Warsaw University, Poland Amal El Fallah-Segrougchni, University of Paris 6, France Eugenio Oliveira, University of Porto, Portugl Marek Sergot, Imperial College, UK Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA Katia Sycara, Carnegie Mellon University, USA Maria Gini, University of Minnesota, USA Churn-Jung Liau, Academia Sinica, Taiwan Zhongzhi Shi, Chinese Academy of Sciences, China Liz Sonenberg, The University of Melbourne, Australia Industry/Demo-Track Chairs: Jianchang Mao, Yahoo! Inc., USA Toshiharu Sugawara, NTT Communication Science Laboratories, Japan Workshop Chair: Pawan Lingras, Saint Mary's University, Canada Tutorial Chair: Rineke Verbrugge, University of Groningen, NL Publicity Chairs: Jim Peters, University of Manitoba, Canada James Wang, Clemson University, USA Organizing Chair: Francois Peccoud, University of Technology of Compiegne, France Local Arrangement Chairs: Marie-Helene Abel, University of Technology of Compiegne, France Claude Moulin, University of Technology of Compiegne, France *** Contact Information *** wi-iat05(a)maebashi-it.org

1 0

ANN: MissingH 0.10.0
by John Goerzen 05 Apr '05

05 Apr '05

Announcing MissingH 0.10.0 New feature summary: * Compatibility with Hugs 2005xx and GHC 6.4. Compatibility with GHC 6.2 has been retained. Compatibility with Hugs 2003xx is mostly retained but not completely possible. * Tighter integration with Cabal. * Better installation instructions. * New parser for debian/control files and similar Debian commands (does not require Debian to build/run) * New parser for CSV files * New utility for Maybe type * New binary I/O utilities (readBinaryFile, writeBinaryFile) * Powerful new list mainpulation functions: wholeMap, fixedWidth * New function: epochToClockTime ------------------------- What is MissingH? ------------------------- It's a collection of Haskell-related utilities. It is an extension of my earlier work developing MissingLib for OCaml. You can download MissingH from http://quux.org/devel/missingh. There is a mirror, with a few days' lag, at http://ftp.debian.org/debian/pool/main/m/missingh. ------------------------- Major Features ------------------------- * Powerful Logging Framework for Haskell This framework provides a system of hierarchical loggers and modular handlers permitting fine-grained logging with a great deal of control and yet a simple and fast interface. It's based on log4j for Java and logging for Python. Also included is a native-Haskell Syslog client. * Versatile modules to simplify everyday tasks: + FTP client library + E-mail client library + MIME types library to determine MIME types from files or URLs + Configuration file parser/generator * IO utilities make it easier to work with line-based text files and binary files * IO object virtualization so you can use one set of code to work on files of many different types * Filesystem virtualization so you can access variuos items with the same ease as your system's filesystem * Network utilities to streamline connections * List utilities including association list tools, list splitting, truncation, and delimiter joining * String utilities including removal of leading or trailing whitespace, joining, splitting, and truncation * Other utilities for threads, parers, filenames, etc. * Printf utilities for formatting strings * GZip decompression * Hundreds of unit tests to verify proper functionality * DBM module abstraction

1 0

CFP: The Second MetaOCaml Workshop
by Kedar Swadi 05 Apr '05

05 Apr '05

[Apologies for cross-postings. Please forward to interested colleagues] CALL FOR PAPERS =============== The Second MetaOCaml Workshop http://www.metaocaml.org/workshop05 To be held at GPCE'05 (Wednesday Sep 28, 2005, Tallinn, Estonia) MetaOCaml is a multi-stage extension of the widely used functional programming language OCaml. It provides a generic core for expressing macros, staging, and partial evaluation. As such, it also provides unique support for building aspect weavers in a statically typed setting. The workshop is a forum for discussing experience with using MetaOCaml as well as possible future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, and implementation of MetaOCaml. The workshop welcomes reports on * novel applications (especially interpreters and aspect weavers), * extensions (macros, new language constructs, offshoring translations), * implementation techniques (compilation, RTCG), support (debugging, profiling), * educational use, * basic theory (staging annotations, static typing, static analysis, environment classifiers, etc). Each submission will be reviewed by at least three members of the Program Committee (PC). The PC will work to provide detailed and constructive comments to the authors. The workshop will only have informal proceedings, and is intended to be close in spirit to the Haskell, ML, and Scheme workshops. Based on author requests and PC decisions, authors will be given either 25-minute or 15-minute slots to present their ideas, either of which will be followed by 15 minutes of questions and discussion. At the end of the workshop, one hour will be allocated to an open discussion to review the outcomes of the meeting, and to discuss future challenges and directions for MetaOCaml. Submission: For uniformity, authors are encouraged to use the latest ACM SIGS conference style file (option 1). We also request that submissions be limited to 12 pages in this style. We ask that papers be submitted in PDF or Postscript forms through the online submission page at http://metaocaml.cs.rice.edu/submit.html. Important Dates: Submission deadline: June 13, 2005 until midnight GMT (Please use online form at http://www.metaocaml.org/workshop05) Notification of acceptance: July 11, 2005 Final versions posted at the workshop sites: October 20, 2005 Related Tutorial: A tutorial on Multi-stage Programming in MetaOCaml is also co-located at GPCE '05, and will be held one day before the workshop, on Tuesday, 27 September, 2005, details of which will be found at http://www.metaocaml.org/tutorial05 Registration: Registration for the workshop is part of registering for GPCE'05. The event is co-located with TFP 2005 and ICFP 2005, which already provides housing and transportation information. Program Committee: Cristiano Calcagno Imperial College Rowan Davies University of Western Australia Ralf Hinze Universität Bonn Oleg Kiselyov FNMOC, Monterey, CA, USA Xavier Leroy INRIA, Paris Emir Pasalic Rice University Jeremy Siek Indiana University, Bloomington Yannis Smaragdakis Georgia Tech Kedar Swadi Rice University (Chair) Walid Taha Rice University Stephanie Weirich University of Pennsylvania Hongwei Xi Boston University

1 0

Coordination 2005: Final call for participation
by Jean-Marie JACQUET 04 Apr '05

04 Apr '05

[ Our apologies for multiple copies. ] ====================================================================== Final Call for Participation COORDINATION 2005 7th International Conference on Coordination Models and Languages Namur, Belgium, 20-23 April 2005 http://www.coordination2005.org ====================================================================== SCOPE OF THE CONFERENCE Modern information systems rely increasingly on combining concurrent, distributed, mobile, reconfigurable and heterogenous components. New models, architectures, languages, verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behavior from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination. PROGRAMME The program of the conference can be found at http://www.coordination2005.org It includes two invited talks by T. Lehman (IBM Almaden Research Center, USA) and J. Misra (University of Texas at Austin, USA) as well as three workshops on Coordination and Organisation, Database Interoperability, and Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. CONFERENCE LOCATION The conference will be held at the Institute of Informatics, University ot Namur, Belgium. Capital of the Walloon Region, Namur is a beautiful city of 80.000 inhabitants. Its position at the confluent of two rivers gave it military and economic appeal, exploited by the Roman Empire and by many others since then. Much evidence of Namur's past can be visited nowadays, including the citadel, one of the greatest in Europe. Close to Brussels (60 km) and at the intersection of European railways and highways, Namur can be easily reached by road, train, and plane. Further information about the conference location may be found at the URL: http://www.coordination2005.org/travel.php CONFERENCE ACCOMMODATION AND REGISTRATION Information about accommodation (reserving rooms in hotels specially booked for Coordination 2005 attendees) and registration for Coordination 2005 and the affiliated workshops is available at http://www.coordination2005.org/registration.php PROGRAM COMMITTEE Co-Chairs Jean-Marie Jacquet University of Namur, Belgium jmj(a)info.fundp.ac.be www.info.fundp.ac.be/~jmj/ Gian Pietro Picco Politecnico di Milano, Italy picco(a)elet.polimi.it www.elet.polimi.it/upload/picco Members Farhad Arbab CWI, The Netherlands Luca Cardelli Microsoft Research, United Kingdom Gianluigi Ferrari University of Pisa, Italy Paola Inverardi University of l'Aquila, Italy Toby Lehman IBM Almaden Research Center, USA Ronaldo Menezes Florida Institute of Technology, USA Amy Murphy University of Lugano, Switzerland Andrea Omicini University of Bologna, Italy George Papadopoulos University of Cyprus, Cyprus Ernesto Pimentel University of Malaga, Spain Rosario Pugliese University of Firenze, Italy Antonio Porto New University of Lisbon, Portugal Carolyn Talcott SRI International, USA Sebastian Uchitel Imperial College, United Kingdom Jan Vitek Purdue University, USA Michel Wermelinger New University of Lisbon, Portugal The Open University, UK Herbert Wiklicky Imperial College, United Kingdom Alexander Wolf University of Colorado, USA Alan Wood University of York, United Kingdom Gianluigi Zavattaro University of Bologna, Italy

1 0

LPNMR'05: Call for Systems and Applications
by lpnmr05.publicity＠mat.unical.it 04 Apr '05

04 Apr '05

Call for Systems and Applications 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05) Diamante/Cosenza, Italy September 5-8, 2005 http://www.mat.unical.it/lpnmr05/ As part of the technical program of LPNMR'05, we plan a special session devoted to presentations and demonstrations of LPNMR systems and LPNMR applications. Accepted contributions will be published as part of the regular conference proceedings in the Springer "Lecture Notes in Computer Science" series (with a limit of four to five pages). System descriptions should provide information on the theoretical background, features, and possibly implementation techniques, experimental evaluation, programming methodology and availability. Application descriptions should refer to concrete applications of LPNMR and describe design choices and decisions, interesting implementation issues, techniques, and methodology, experimental evaluation and availability. SUBMISSION OF PAPERS -------------------- Submissions must not exceed five pages including title page, references and figures. They must be written in English and formatted according to the Springer LNCS/LNAI authors' instructions. Final versions might be limited to four pages. Please e-mail your submission to lpnmr05(a)pfeifer.com as a MIME-attached PDF document. See <http://www.springer.de/comp/lncs/authors.html> for detailed instructions by the publisher. In case of questions, please contact Gerald Pfeifer <gerald(a)pfeifer.com>. IMPORTANT DATES --------------- Submission Deadline May 1, 2005 Notification (Accept/Reject) June 1, 2005 Final Version June 10, 2005 Early Registration Deadline July 4, 2005 Conference Sep. 5-8, 2005 PROGRAM COMMITTEE ----------------- Gerald Pfeifer (chair) Marcello Balduccini Texas Tech University Yuliya Lierler Universität Erlangen Ilkka Niemelä Helsinki University of Technology Yuting Zhao Istituto Trentino di Cultura

1 0

Memoization in Haskell
by Bright Sun 03 Apr '05

03 Apr '05

I can not understand memoization in Haskell. I can not find an example except the fib. For example, I want drop a list 4 times like, >drop 4 (drop 3 (drop 2 (drop 1 [1,2,3,4,5,6,7,8,9,10,11,12]))) >[11,12] can I implement a memoization funcation like >droploop [1,2,3,4] [1,2,3,4,5,6,7,8,9,10,11,12] to get same result >[11,12] so, if possible to do it? or any other example like it? Bright __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com

2 1

How to make Haskell more popular
by Jon Fairbairn 01 Apr '05

01 Apr '05

1) If another language has a feature, add it to Haskell, so that absolutely everything can be done in more than one way. This allows people to write Haskell programmes without going through the tiresome process of learning Haskell.` 2) Overload the syntax so that the Hamming distance between syntactically valid programmes is very small 3) Allow casting of any type to any other. 2 and 3 together mean that the programmer wins the "fight" with the compiler more often, and can get on with the exciting business of debugging. 4) Add lots of libraries with widely different styles of interface lacking any recognisable algebraic properties. This makes it hard to learn the libraries, so the programmer gets increased satisfaction when the task is finally completed, and a programmer who understands a given library becomes more valuable in the market. 4a) write the libraries at a low level of abstraction, using as few sophisticated features as possible. This makes it easier for novice programmers to modify libraries and add *features* 5) Static type checking is for wimps. Move it all to runtime, so debugging is even more exciting. With 3, this allows us the glorious possibility of using the same value in different types with different meanings, mimicking PHP's wonderful strpos etc, where the return value zero indicates failure if it's a boolean or success if it's an integer. 6) Use strings for abbreviated syntax, so avoiding even syntax checking at compile time. 7) On second thoughts, all syntax checking is for wimps. Move the rest of it to runtime too. After all, /part/ of the programme might produce plausible output, and we wouldn't want to miss out on that. This adds the further exciting possiblity that end-users will get to see Haskell syntax errors, so more of the world will hear of Haskell. -- Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk

5 4

CLIMA VI :: new deadline April 15
by clima VI <clima-vi＠deis.unibo.it> 01 Apr '05

01 Apr '05

[Apologies for cross-postings. Please send to interested colleagues and students] ========================================================================== * DEADLINE EXTENSION * CLIMA VI Sixth International Workshop on Computational Logic in Multi-Agent Systems featuring: the First CLIMA Tutorial Programme and the First CLIMA Competition City University, London, UK, June 27-29, 2005 http://clima.deis.unibo.it/ * SUBMISSIONS OPEN UNTIL APRIL 15, 2005 * ==========================================================================

1 0