- Haskell - Haskell.org

Haskell Workshop 2005: Call for papers
by Daan Leijen 08 Apr '05

08 Apr '05

[I apologize for cross-postings. Please forward to interested colleagues] 2005 Haskell Workshop Tallinn, Estonia, 30 September, 2005 http://www.cs.uu.nl/~daan/hw2005 Call for papers -- Important Dates --------------------------------------------------- Submission deadline : June 10 Acceptance notification: July 5 Final version due : July 19 Haskell workshop : September 30 -- The Haskell Workshop ---------------------------------------------- The Haskell Workshop 2005 is an ACM SIGPLAN sponsored workshop affiliated with the 2005 International Conference on Functional Programming (ICFP). Previous Haskell Workshops have been held in La Jolla (1995), Amsterdam (1997), Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003), and Snowbird (2004). -- Scope ------------------------------------------------------------- The purpose of the Haskell Workshop is to discuss experience with Haskell, and future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest include, but are not limited to, the following: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces; * Tools, in the form of profilers, tracers, debuggers, pre-processors, and so forth; * Applications, Practice, and Experience, with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry; * Functional Pearls, being elegant, instructive examples of using Haskell. Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program! If there is sufficient demand, we will try to organise a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to the program chair (daan(a)cs.uu.nl) -- Submissions ------------------------------------------------------- Authors should submit papers in postscript or portable document format (pdf), formatted for A4 paper, to Daan Leijen (daan(a)cs.uu.nl) The length should be restricted to 12 pages in standard ACM SIG proceedings format. In particular, LaTeX users should use the most recent sigplan proceedings style available from the Haskell workshop web-site. Furthermore, the "abbrv" style should be used for the bibliography. Accepted papers are published by the ACM and appear in the ACM digital library. Each paper should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Authors should strive to make the technical content of their papers understandable to a broad audience. -- Program committee ------------------------------------------------- Martin Erwig Oregon State University John Hughes Chalmers University of Technology Mark Jones OGI School of Science and Engineering at OHSU Ralf Lämmel Microsoft Corp. Daan Leijen Universiteit Utrecht (Program Chair) Andres Löh Universiteit Utrecht Andrew Moran Galois Connections Inc. Simon Thompson University of Kent Malcolm Wallace University of York

1 0

Re: [Haskell] Latex and Bibtex
by Thomas Bevan 08 Apr '05

08 Apr '05

Basically, my motivations are sa follows. No one as far as I can tell has produced a bibtex style which conforms to the Australian legal citation standard, the proper acronym escapes me for the moment. I decided that fiddling around with the bibtex language was no fun and pretty time consuming so I though I should be able to piece together some sort of solution in Haskell. On Apr 8, 2005 8:51 AM, Jeremy Gibbons <jeremy.gibbons(a)comlab.ox.ac.uk> wrote: > Hi there. I saw Doaitse's reply about a parser, but I'd be interested > in anything else you hear too. Will you post a summary to the Haskell > list? > > You know about Filliatre's bibtex2html, I presume? It isn't a > replacement for bibtex, but it runs bibtex and uses the output via an > OCaml program to generate html. > > I'm curious as to what your interest is. > > Cheers, > Jeremy > > On 7 Apr 2005, at 15:18, Thomas Bevan wrote: > > > Does anyone know of any work being done on Latex with Haskell? > > > > I am particularly interested in finding a Haskell replacement to > > Bibtex. > > > > Thanks. > > > > Tom > > _______________________________________________ > > Haskell mailing list > > Haskell(a)haskell.org > > http://www.haskell.org/mailman/listinfo/haskell > > > > Jeremy.Gibbons(a)comlab.ox.ac.uk > Oxford University Computing Laboratory, TEL: +44 1865 283508 > Wolfson Building, Parks Road, FAX: +44 1865 273839 > Oxford OX1 3QD, UK. > URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html > >

1 0

Latex and Bibtex
by Thomas Bevan 07 Apr '05

07 Apr '05

Does anyone know of any work being done on Latex with Haskell? I am particularly interested in finding a Haskell replacement to Bibtex. Thanks. Tom

2 2

[ICAPS 2005] Call for Participation
by ICAPS'05 07 Apr '05

07 Apr '05

[Apologies if you get multiple copies of this message] ============================================================== 15th International Conference on Automated Planning and Scheduling (ICAPS'05) June 6 - 10, Monterey, California, USA http://icaps05.icaps-conference.org Call for Participation ====================== The technical program of ICAPS 2005 has been completed and we cordially invite everyone interested in the area to participate. The technical sessions are complemented by a comprehensive workshop and tutorial program and highlighted by invited talks from Drew McDermott (Yale University, USA), Henry Kautz (University of Washington, USA), and Kim Larsen (Aalborg University, Denmark). The program details and registration information are available on the conference Web site. The early registration deadline is April 22nd. Information on hotel booking is also available for the limited rooms blocked at the conference rates. We look very much forward to seeing you in Monterey this coming June. Susanne Biundo, Karen Myers, Kanna Rajan ICAPS'05 co-chairs

1 0

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 06 Apr '05

06 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 06 Apr '05

06 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