February 2005 - Haskell

par and forkIO
by S. Alexander Jacobson 24 Feb '05

24 Feb '05

Multicore and multi-cpu machines are getting more and more common. e.g. http://www.anandtech.com/systems/showdoc.aspx?i=2354&p=2 and http://www.electronicsweekly.com/articles/article.asp?liArticleID=38887&liA… Do the current implementations of par and forkIO in e.g. GHC take advantage multiple CPUs/cores or is special plumbing needed (GPH?)? -Alex- ______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com

1 0

RE: [Haskell] Proposal: Allow "\=" for field update in record updatesyntax
by Simon Peyton-Jones 24 Feb '05

24 Feb '05

The Template Haskell extension to GHC is sadly ill-documented. I'd love some TH afficionado to have a go at writing some more in the user manual -- I'll insert it in jiffy. Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Benjamin | Franksen | Sent: 23 February 2005 21:14 | To: haskell(a)haskell.org | Subject: Re: [Haskell] Proposal: Allow "\=" for field update in record updatesyntax | | On Sunday 20 February 2005 14:19, Keean Schupke wrote: | > TH has supported multi-parameter classes for a while... new in 6.4 is | > support for fundeps. | | That's mighty cool ;) Is this (TH in general, extensions in particular) | documented somewhere? | | Ben | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

1 0

RTA'05: 1st Call for Participation
by Ralf Treinen 23 Feb '05

23 Feb '05

************************************ * * * RTA'05 CALL FOR PARTICIPATION * * (First CFP announcement) * * * ************************************ The 16th International Conference on REWRITING TECHNIQUES AND APPLICATIONS http://www-i2.informatik.rwth-aachen.de/RTA05/ co-located with * TLCA 7th International Conference on Typed Lambda Calculi and Applications and the workshops * RULE 6th International Workshop on Rule-Based Programming * UNIF 19th International Workshop on Unification * WRS 5th International Workshop on Reduction Strategies in Rewriting and Programming * WG 1.6 IFIP Working Group 1.6 on Term Rewriting together form the Federated Conference on Rewriting, Deduction and Programming (RDP'05). RDP'05 takes place in Nara (Japan) http://www.pref.nara.jp/nara_e/index.html in the period April 18 - April 23, 2005. Registration for RTA, TLCA and the workshops is now open ! The deadline for early registration is MARCH 31, 2005. Please visit the RTA'05 or RDP'05 website below for further information: RDP'05 http://www.kurims.kyoto-u.ac.jp/rdp05/ RTA'05 http://www-i2.informatik.rwth-aachen.de/RTA05/ INVITED TALKS of RTA 2005: * Amy Felty (Ottawa) joint with TLCA'05 * Yoshihito Toyama (Sendai) * Philip Wadler (Edinburgh) INVITED TALKS of the Anniversary Session to celebrate 20 years of RTA: * Nachum Dershowitz (Tel Aviv) * Gerard Huet (Rocquencourt) * Jean-Pierre Jouannaud (Palaiseau) For further questions please contact the conference chair: RTA'05 CONFERENCE CHAIR: Hitoshi Ohsaki AIST, Japan rta05(a)m.aist.go.jp http://staff.aist.go.jp/hitoshi.ohsaki/

1 0

ICLP 2005: Call for Workshops
by ICLP 2005 23 Feb '05

23 Feb '05

*** CALL FOR WORKSHOP PROPOSALS *** ICLP'05 Twenty First International Conference on Logic Programming October 2-5, 2005 Sitges (Barcelona) Spain URL: http://www.iiia.csic.es/iclp2005/ ICLP'05, the 21st International Conference on Logic Programming, will be held in Sitges(Barcelona), Spain, from October 2 to October 5, 2005. We plan to have several workshops in parallel with the conference. Workshops have a key role in Logic Programming Conferences. They provide an ideal platform for the presentation of preliminary work or novel ideas in a less formal way than the conference itself. They also are an opportunity to disseminate work in progress, particularly for new researchers. Workshops also provide a venue for presenting more specialized topics and opportunities for more intensive discussions, exchange of ideas, and project collaboration. The topics of the workshops can cover any areas related to logic programming, including cross-disciplinary areas. To encourage active participation and exchange of ideas, the workshops will be kept small, preferably under 40 participants. The format of the workshop will be determined by the organizer(s) proposing the workshop, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Having two or three co-organizers for a workshop is strongly advised. Workshop Proposal: ================== The persons intending to organize a workshop at ICLP'05 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * The names, affiliation and contact details (email, web page, phone, fax) of the workshop organizing committee together with a designated contact person as the workshop coordinator. * A preliminary plan/schedule for organizing the workshop, including the required number of half-days allotted to the workshop. * A list of previously-organized related workshops by any of the workshop organizing committee. Although previous experience with organizing similar workshops is not required, this information will be helpful to the Workshop Chair. * An estimate of the number of expected attendees. Proposals are expected in ASCII or LaTeX format. All proposals should be submitted to the Workshop Chair by email by March 31, 2005. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP'05 home page by May 5, 2005. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop proceedings in LaTeX format to the workshop chair for printing, by August 31, 2005 (if the proceedings are to be printed by the local organizers) Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 13, 2005. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and can print the workshop proceedings, whose LaTeX preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Date and Location: =========================== All workshops will take place on October 5th, 2005 at the site of the main conference. ICLP'05 will be held in Sitges (Barcelona), Spain. Sitges is a town 15 minutes away from the Barcelona international airport and 30 minutes from the center of Barcelona. The town of Sitges is situated in the Catalan region of Spain, and it is a well-established tourist resort and residential area thanks to its warm climate and fantastic natural panoramic views. The conference will be held at Melia Sitges Hotel, located on the sea-front facing the Mediterranean and is within five-minute walking distance from the city center. Important Dates: ================ March 31, 2005: Proposal submission deadline April 13, 2005: Acceptance notification May 5, 2005: Deadline for receipt of CFP and URL for workshop web page August 31, 2005: Deadline for preliminary proceedings October 5, 2005: ICLP'05 workshops Workshop Chair: =============== Hai-Feng Guo Department of Computer Science University of Nebraska at Omaha Omaha, NE 68182-0500, USA Email: haifengguo(a)phoenix.unomaha.edu Phone: +1 402 5542852 Fax: +1 402 5543284

1 0

Announce: hs-plugins-0.9.8
by dons＠cse.unsw.edu.au 23 Feb '05

23 Feb '05

hs-plugins 0.9.8 has been released. hs-plugins is a dynamic loader and runtime compilation library for Haskell. This release is mostly stability and usability improvments over its predecessors. It also adds support for library package linking. You can find the code at: http://www.cse.unsw.edu.au/~dons/hs-plugins Cheers, Don

1 0

CFP: GPCE'05 -- Generative Programming and Component Engineering
by Eelco Visser 22 Feb '05

22 Feb '05

FIRST CALL FOR PAPERS ---------------------------------------------------------------------- 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 - Oct 1, 2005, Tallinn (Estonia) http://www.gpce.org/05 Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT co-located with ICFP'05 and TFP'05 ---------------------------------------------------------------------- Consult http://www.gpce.org/05 for UP-TO-DATE and DETAILED information, including the full text of the calls for PAPERS and DEMONSTRATIONS, and the calls for workshop and tutorial proposals. APPROACHING: Deadline for WORKSHOP and TUTORIAL PROPOSALS FORTHCOMING: web page for submission of papers and demos (early March) ---------------------------------------------------------------------- IMPORTANT DATES * Feb 25, 2005: Submission of workshop and tutorial proposals * Mar 18, 2005: Notification for workshop and tutorial proposals * Apr 10, 2005: Submission of abstracts (only for papers) * Apr 15, 2005: Submission of papers and demos * May 30, 2005: Notification for papers and demos * Sep 27-28, 2005: GPCE workshops and tutorials * Sep 29 - Oct 1, 2005: GPCE papers and demos ---------------------------------------------------------------------- SCOPE. Generative and component approaches have the potential to revolutionize software development in a similar way as automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write and maintain) are key technologies for automating program development. GPCE arose as a joint conference, merging the conference on Generative and Component-Based Software Engineering (GCSE) and the workshop on Semantics, Applications, and Implementation of Program Generation (SAIG). The goal of GPCE is to provide a meeting place for researchers and practitioners interested in cutting edge approaches to software development. We aim to foster further cross-fertilization between the software engineering research community and the programming languages community, in addition to supporting the original research goals of both the GCSE and the SAIG communities. ---------------------------------------------------------------------- TOPICS. GPCE seeks contributions both in software engineering and in programming languages related (but not limited) to: * Generative programming - Reuse, meta-programming, partial evaluation, multi-stage and multi-level languages, step-wise refinement - Semantics, type systems, symbolic computation, linking and explicit substitution, in-lining and macros, templates, program transformation - Runtime code generation, compilation, active libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for - Product lines and architectures - Embedded systems - Model-driven architecture * Component-based software engineering - Reuse, distributed platforms, distributed systems, evolution, analysis and design patterns, development methods, formal methods * Integration of generative and component-based approaches * Domain engineering and domain analysis - Domain-specific languages (DSLs) including visual and UML-based DSLs * Separation of concerns - Aspect-oriented and feature-oriented programming, - Intentional programming and multi-dimensional separation of concerns * Industrial applications ---------------------------------------------------------------------- CALL FOR PAPERS. Authors are invited to submit a title and abstract (by Apr 10) and a full paper (by Apr 15) reporting research results and/or experience related to the topics above. We especially encourage original high-quality reports on applications to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice. Simultaneous submission to other venues and submission of previously published material are not allowed. Accepted papers will appear in the conference proceedings, to be published in Springer's LNCS series. SUBMISSION GUIDELINES. Electronic submission will be required (except by special arrangement with the PC chairs). Submissions must be in PDF, conform to the LNCS style, and be no longer than 15 PAGES. For formatting details see http://www.springer.de/comp/lncs/authors.html. ---------------------------------------------------------------------- PROGRAM COMMITTEE Chairs: * Robert Glück (U. of Copenhagen) * Michael Lowry (NASA) Members: * Don Batory (U. of Texas, USA) * Ira Baxter (Semantic Designs) * Cristiano Calcagno (Imperial College) * Prem Devanbu (U. of California at Davis) * Ulrich Eisenecker (U. of Leipzig) * Tom Ellman (Vassar College) * Robert Filman (NASA) * Zhenjiang Hu (U. of Tokyo) * Patricia Johann (Rutgers U.) * John Launchbury (Galois) * Anne-Françoise Le Meur (U. of Sci. and Tech. Lille) * Hong Mei (Peking U.) * Nicolas Rouquette (NASA) * William Scherlis (CMU) * Yannis Smaragdakis (Georgia Inst. of Tech.) * Walid Taha (Rice U.) * Todd Veldhuizen (Chalmers U. of Tech.) ORGANIZING COMMITTEE General Chair * Eugenio Moggi (Genova U.) Publicity Chair: * Eelco Visser (Utrecht U.) Workshops and Tutorials Chairs * Jeff Gray (U. of Alabama at Birmingham) * Andrew Malton (Waterloo U.) Local Arrangements Chair * Tarmo Uustalu (Inst. of Cybernetics, Tallinn) ----------------------------------------------------------------------

1 0

ESCAR Call for Papers
by geoff＠cs.miami.edu 22 Feb '05

22 Feb '05

Dear ATP Researcher, The CADE-20 Workshop on Empirically Successful Classical Automated Reasoning (ESCAR) will bring together practioners and researchers who are concerned with the implementation and deployment of working automated reasoning systems for classical logic (propositional, first order, and higher order). The workshop will discuss "really running" systems, and not theoretical ideas that have not yet been translated into working software. ESCAR is the successor to the successful ESFOR workshop held at IJCAR 2004. CADE-20 will be 22nd to 27th July 2005, with ESCAR on the 22nd and 23rd. Full details are available at: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be refereed, and a balanced program of high-quality contributions will be selected. The submission deadline is 1st May, notification of acceptance on 30th May, and camera ready versions due 12th June. Submission information is online at: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Additionally, the Journal of Automated Reasoning has agreed to a special issue on emperically successful automated reasoning. Authors of ESCAR papers will be able to submit extended versions of their workshop papers for this special issue. All papers submitted for the special issue will be reviewed according to the journal's standards. We hope you will accept this invitation, and be part of ESCAR. Cheers, Geoff, Stephan, Bernd Geoff Sutcliffe http://www.cs.miami.edu/~geoff Department of Computer Science Email : geoff(a)cs.miami.edu University of Miami Phone : +1 305 2842158/2842268 (Director of Undergraduate Studies) FAX : +1 305 2842264

1 0

Data.Map missing keysFM_GE, eltsFM_GE?
by S. Alexander Jacobson 21 Feb '05

21 Feb '05

Data.FiniteMap has functions keysFM_GE and eltsFM_GE which return the keys or elts of pairs greater than or equal to the provided key. These functions do not appear to be in the new Data.Map. Is this intentional? -Alex- ______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com

2 2

Call for IPSI Transactions Special Issues in 2005/6; c/ba
by IPSI Transactions Special Issues 21 Feb '05

21 Feb '05

Dear potential Speaker: We are pleased to inform you that both IPSI Transactions journals are planing some special issues in late 2005 and early 2006, and you are welcome to submit your paper(s), until the deadlines listed below! IPSI Transactions on Internet Research: March 31, 2005 - Special Issue on E-Education: Concepts and Infrastructure June 30, 2005 - Special Issue on E-Business: Concepts and Infrastructure IPSI Transactions on Advanced Research: March 31, 2005 - Special Issue on the Research with Multidisciplinary Elements June 30, 2005 - Special Issue on the Research with Interdisciplinary Elements Each submitted paper first undergoes the editor review, and those who pass this first stage are sent to 12 external experts for a rigorous review; decisions are made after at least 6 external reviewers respond! The review is free of charge, but the authors of the accepted papers ar expected to pay the publication fee of E400 per paper (if 4 or 5 or 6 pages of the TIR/TAR format), and the additional fee of E100 per page, for each extra page, till the maximum of 10 pages. Rigorous reviewing is the major strength of IPSI journals, which is the major contributor to their high quality! Soft copies of the existing issues of TIR and TAR can be seen at the web, and hard copies can be obtained on a special request by email, as indicated on the web, where can find all information! Sincerely yours, Prof. Dr. Veljko Milutinovic, Editor-in-Chief P.S. If you need aditional information, please reply to this e-mail.

1 0

ANN: Hacanon 0.1
by Lemmih 21 Feb '05

21 Feb '05

What is Hacanon? Hacanon is a Template Haskell library which automates the process of binding Haskell to libraries written in C++. It's designed to capture common patterns and allow the programmer to specify the desired behaviour accordingly. Hacanon is capable of generating a usable binding, without any interaction, to almost any piece of C++. This binding is of relatively high level, because Hacanon translates enumerations to Haskell data structures, has transparent callback support and overloads every function. Unfortunately, such a binding would, in most cases, be flawed. Is 'int*' an array, variable which holds a second result or something third? Here Hacanon provides a data interface scheme (aka DIS) system which allows the programmer to concisely describe how an argument should be handled. DISs can be derived from other DISs because they're nothing more than data structures. This gives rise to increased code reuse and minimizes the burden on the programmer. These DISs can be used in the appliance system where the programmer can guard on function name (via regex), argument type and argument number. Some of the features sound familiar. Is Hacanon related to GreenCard or HDirect? I've borrowed the DIS concept from GreenCard and directional arguments from HDirect. I would like to think I've taken the best of both worlds and added some innovation in form of automation. Dependencies: * Recent version of GHC. Tested with ghc-6.4.20050209 and ghc-6.4.20050219. http://www.haskell.org/ghc * HaXml 1.12. http://www.cs.york.ac.uk/fp/HaXml/ * GCCXML from CVS hacked to include template information. Hack is distributed with Hacanon. Author and availability: Hacanon is written by David Himmelstrup and published under a MIT-style license. Darcs repository: http://www.scannedinavian.org/repos/hacanon/ -- Friendly, Lemmih

2 2