- Haskell - Haskell.org

RE: [Haskell] par and forkIO
by Simon Peyton-Jones 25 Feb '05

25 Feb '05

Essentially not at present; but it's high on our list. Because of the fun we've been having with Software Transactional Memory (STM), which will be in GHC 6.4, and because of the multi-core machines that are coming right now, Simon and I are starting to think much more about genuine hardware concurrency, esp on multi-cores. We have not actually done anything yet, but I think we will soon. STM is described in a PPoPP paper on my home page http://research.microsoft.com/%7Esimonpj/papers/stm/index.htm Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of S. Alexander | Jacobson | Sent: 24 February 2005 15:55 | To: Haskell Mailing List | Subject: [Haskell] par and forkIO | | 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& liArticleTypeID=1&liCategory | ID=1&liChannelID=114&liFlavourID=1&sSearch=&nPage=1 | | 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 | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

1 0

Call for participation WWV'05
by Santiago Escobar 25 Feb '05

25 Feb '05

-- We apologize for multiple copies -- ****************************************************************** ****************** Call for participation ****************** ****************************************************************** 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05) March 14-15 2005, Valencia, SPAIN http://www.dsic.upv.es/workshops/wwv05 ******************************************************************* WWV'05 will be held in Valencia, Spain at the Technical University of Valencia (Universidad Politecnica de Valencia): Universidad Politecnica de Valencia "Rectorado" Building - ground floor Congress Room number 1 Camino de Vera S/N 46022 Valencia (Spain) SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. WWV'05 provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The WWV'05 programme includes works on formal methods and techniques applied to Web sites, Web services or Web-based applications such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web REGISTRATION Registration is web-based via the secure link: http://www.dsic.upv.es/workshops/wwv05/registration The deadline for early registration is March, 4th. ACCOMODATION The organization of the conference has blocked rooms for the days of the workshop in some conveniently located hotels in Valencia and in a university dormitory. These rooms will be blocked until March, 4th. After this day, we are not responsible for the accomodation. For further information, follow the link: http://www.dsic.upv.es/workshops/wwv05/valencia/accomodation.html FALLAS FESTIVAL The workshop coincides with the famous Valencia Fallas Festival (March 15 - 19) which is one of the biggest festivals in Spain. So make your reservations as soon as possible. INVITED SPEAKERS Shriram Krishnamurthi Brown University, USA Anthony Finkelstein University College London, UK PROGRAM CO-CHAIRS Maria Alpuente Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy WORKSHOP CHAIR Santiago Escobar Technical University of Valencia, Spain PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Sarat Babu CDAC, India Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Thierry Despeyroux INRIA Sophia-Antipolis, France Wolfgang Emmerich University College London, UK Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Maria del Mar Gallardo Technical University of Malaga, Spain Furio Honsell University of Udine, Italy Giorgio Levi University of Pisa, Italy Jan Maluszynski LinkÃ¶ping University, Sweden Massimo Marchiori MIT Lab for Computer Science, USA Tiziana Margaria University of GÃ¶ttingen, Germany ACCEPTED PAPERS Regular Contributions - Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari and Laura Semini. Modeling Web Applications by the Multiple Levels of Integrity Policy. - Gregorio Diaz Descalzo, Juan Jose Pardo Mateo, M. Emilia Cambronero Piqueras, Valentin Valero Ruiz and Fernando Cuartero Gomez. Verification of Web Services with Timed Automata. - Bo Hu, Florian Lauck and Jan Scheffczyk. How Recent is a Web Document? - Javier Jesus Gutierrez Rodriguez, Maria Jose Escalona Cuaresma, Manuel Mejia Risoto and Jesus Torres Valderrama. Testing web applications in practice. - Martin Karusseit and Tiziana Margaria. Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. - Claude Kirchner, Helene Kirchner and Anderson Santana. Anchoring modularity in HTML. - Liquori Luigi, Honsell Furio and Rekha Redamalla. A Language for Safe Manipulation of Web Documents - Vicente Luque-Centeno, Carlos Delgado-Kloos, Jesus Arias-Fisteus and Luis Alvarez-alvarez. Web Accessibility Evaluation Tools: a survey and some improvements. - Frederic Rioux and Patrice Chalin. Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. - Roger G. Stone. Validating Scripted Web-Pages. Position papers / Overviews of more extensive work - Shadi Abou-Zahra. Automated Web Site Accessibility Evaluation. - Temur Kutsia. Context Sequence Matching for XML. System demonstrations / Works in progress - David Crocker and John H. Warren. Generating commercial web applications from precise requirements and formal specifications. - Vicent Estruch, Cesar Ferri, Jose Hernandez-Orallo and M. Jose Ramirez-Quintana. Web Categorisation Using Distance-Based Decision Trees. - Javier Garcia Vivo and Demis Ballis. A Rewriting-based system for Web site Verification. - Salvador Lucas. Rewriting-based navigation of Web sites. - Josep Silva. Slicing XML Documents. - Marco Winckler, Eric Barboni, Christelle Farenc and Philippe Palanque. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?

1 0

Call for participation: Summerschool on Gen. and Transf. Techn. in SE, 4-8 July 2005, Braga
by Ralf Lammel 24 Feb '05

24 Feb '05

Please find attached the call for participation for the Summer School on Generative and Transformational Techniques in Software Engineering 4 - 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 Registration is open. There are 17 confirmed tutorials and other presentations. -- Ralf Lammel http://homepages.cwi.nl/~ralf/

1 0

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