November 2003 - Haskell

WS-FM 2004 Second Call For Papers
by Mario Bravetti 21 Nov '03

21 Nov '03

====================================================================== 1st International Workshop on Web Services and Formal Methods (WS-FM 2004) February 23, 2004, Pisa, Italy Workshop affiliated to COORDINATION 2004, February 24 - 27, 2004 Homepage: http://www.cs.unibo.it/~lucchi/ws-fm04/ ====================================================================== SCOPE Web Services technology aims at providing standard mechanisms for describing the interface and the services available on the web, as well as protocols for locating such services and invoking them (e.g. WSDL, UDDI, SOAP). Innovations are moving towards two main directions: The first one tends to the definition of new standards that support the specification of complex services out of simpler ones (the so called Web Service choreography). Several proposals have been already set up: BPML, XLANG and BizTalk, WSFL, BPEL4WS, etc... The second approach consists of the design of new (meta-)Web Services to be exploited at run-time by other Web Services: e.g. managing the cooperation of Web Services or acting as dynamic registry services. Formal methods, which provide formal machinery for representing and analysing the behavior of communicating concurrent/distributed systems, may potentially play a fundamental role in the development of such innovations. First of all they may help in understanding the basic mechanisms (in terms of semantics) which characterize different choreography languages and to focus on the essence of new features that are needed. Secondly they may provide a formal basis for reasoning about Web Service semantics (behaviour and equivalence): e.g. for realizing registry services where retrieval is based on the meaning of a service and not just a Web Service name. Thirdly also studies on formal coordination paradigms can be exploited for developing mechanisms for complex run-time Web Service coordination. Finally, given the importance of critical application areas for Web Services like E-commerce, the development of the Web Service technology can certainly take advantage from formal analisys of security properties and performance in concurrency theory. The aim of the workshop is to bring together researchers working on Web Services and Formal Methods in order to activate a fruitful collaboration in this direction of research. This, potentially, could also have a great impact on the current standardization phase of Web Service technologies. LIST OF TOPICS The topics of interest include, but are not limited to: - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... ) - Languages and descripion methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, BPEL4WS, etc... ) - Coordination techniques for WS (transactions, agreement, coordination services, etc...) - Semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories) - Security, Performance Evaluation and Quality of Service of WS - Semi-structured data and XML related technologies - Comparisons with different related technologies/approaches SUBMISSIONS Submissions may be of two forms: - Original papers (neither published nor submitted to other conferences/workshops) - Contribution papers (possibly published or currently submitted) In both cases the paper should be up to 12 pages 12 pt. Accepted original papers will be published in the workshop proceedings: contacts with Electronic Notes in Theoretical Computer Science (Elsevier) have been established to publish them as an ENTCS volume. A time-slot will be reseved for the presentation at the workshop of a limited number of accepted contribution papers. Moreover, full versions of papers selected among both original and contribution papers will be likely invited for publication in a special issue of Theoretical Computer Science (Elsevier). Papers should be submitted following the instructions at the workshop homepage: http://www.cs.unibo.it/~lucchi/ws-fm04/ IMPORTANT DATES December 15, 2003: Submission deadline January 26, 2004: Notification of acceptance February 9, 2004: Pre-Final version February 23, 2004: Workshop date PROGRAM CO-CHAIRS Mario Bravetti and Gianluigi Zavattaro PROGRAM COMMITTEE Roberto Bruni (University of Pisa) Michael Butler (University of Southampton) Rocco De Nicola (University of Florence) Schahram Dustdar (Wien University of Technology) Gianluigi Ferrari (University of Pisa) Peter Furniss (Choreology Ltd UK) Andy Gordon (Microsoft Reasearch Cambridge) Roberto Gorrieri (University of Bologna) Stefania Gnesi (CNR Pisa) Nickolas Kavantzas (Oracle Co. US) Frank Leymann (IBM Research Germany) Fabio Martinelli (CNR Pisa) Shin Nakajima (Hosei University and PRESTO, JST) Manuel Nunez (University Complutense of Madrid) Vladimiro Sassone (University of Sussex) Friedrich Vogt (Technical University of Hamburg-Harburg) ORGANIZING COMMITTEE Roberto Bruni, Gianluigi Ferrari, Claudio Guidi, Roberto Lucchi, Emilio Tuosto SPONSORS Microsoft Research

1 0

RE: Haddock and Template Haskell
by Simon Marlow 21 Nov '03

21 Nov '03

> is Haddock compatible with Template Haskell or does it get > confused by $(...) > syntax? If it is compatible, how does the documentation of > TH-generated code look? There are two issues: Q. Will Haddock parse a file containing Template Haskell code? A. No, the parser doesn't currently understand the TH extensions. Q. Can you generate Haddock documentation for code *generated* by a TH splice? A. It only really makes sense for top-level splices, and you would have to arrange to dump the generated code from GHC and feed it into Haddock (this sounds like quite a lot of work to get GHC to dump parseable Haskell code). Or merge GHC with Haddock :-) Cheers, Simon

2 1

RE: Haddock and DocBook
by Simon Marlow 21 Nov '03

21 Nov '03

> the Haddock documentation says: > -S, --docbook > Reserved for future use (output documentation in SGML > DocBook format). > I would appreciate very much if the output wouldn't be just > in SGML DocBook > but in XML DocBook format. Would it be possible to implement > it this way? XML DocBook is very similar to SGML DocBook, so almost certainly. Cheers, Simon

1 0

Haddock and DocBook
by Wolfgang Jeltsch 21 Nov '03

21 Nov '03

Hello, the Haddock documentation says: -S, --docbook Reserved for future use (output documentation in SGML DocBook format). I would appreciate very much if the output wouldn't be just in SGML DocBook but in XML DocBook format. Would it be possible to implement it this way? Wolfgang

1 0

Haddock and Template Haskell
by Wolfgang Jeltsch 21 Nov '03

21 Nov '03

Hello, is Haddock compatible with Template Haskell or does it get confused by $(...) syntax? If it is compatible, how does the documentation of TH-generated code look? Wolfgang

1 0

Announce: SVMseq learning program
by Hal Daume III 21 Nov '03

21 Nov '03

Hi all, FYI, I've had a Haskell implementation of a support vector machine learning algorithm around for a while and thought some people might find it interesting to look at/use. There are several advantages it has over SVM-Light; these are listed on the web page, but include sample selection and better control over memory usage. More information and documentation is available at: http://www.isi.edu/~hdaume/SVMseq/ Best, - Hal -- Hal Daume III | hdaume(a)isi.edu "Arrest this man, he talks in maths." | www.isi.edu/~hdaume

1 0

WRLA 2004 - Last call for papers (EXTENDED DEADLINE)
by alberto＠sip.ucm.es 19 Nov '03

19 Nov '03

[[ -- Apologies for multiple copies of this message -- ]] + + + + + WRLA'04 + + + + + LAST CALL FOR PAPERS + + + + + WRLA'04 + + + + + EXTENDED DEADLINE +----------------------------------------------------------+ | | | 5th International Workshop on | | Rewriting Logic and its Applications | | | | W R L A 2004 | | | | Barcelona, Spain, March 27-28, 2004 | | | | http://www.fdi.ucm.es/wrla2004 | +----------------------------------------------------------+ The workshop will be held in conjunction with ETAPS 2004 7th European Joint Conferences on Theory and Practice of Software March 27 - April 4, 2004 http://www.lsi.upc.es/etaps04 IMPORTANT DATES December 1, 2003 Deadline for submission (EXTENDED!) January 15, 2004 Notification of acceptance February 18, 2004 Final version in electronic form March 27-28, 2004 Workshop in Barcelona AIMS AND SCOPE Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to, * foundations and models of RL; * languages based on RL, including implementation issues; * RL as a logical framework; * RL as a semantic framework, including applications of RL to - object-oriented systems, - concurrent and/or parallel systems, - interactive, distributed, open ended and mobile systems, - specification of languages and systems; * extensions of RL, including - real-time and probabilistic extensions, - tile logic, - rewriting approaches to behavioral specifications; * verification techniques for RL specifications, including - equational and coherence methods, and - verification of properties expressed in modal and temporal logics; * comparisons of RL with existing formalisms having analogous aims, including - rho-calculus, - structural operational semantics, - concurrency calculi, - dynamic algebras. PAST EVENTS Previous WRLA workshops have been organized in - Asilomar, California, September 3-6, 1996, - Pont-a-Mousson, France, September 1-4, 1998, - Kanazawa, Japan, September 18-20, 2000, - Pisa, Italy, September 19-21, 2002. The proceedings of the WRLA workshops have been published as volumes 4, 15, 36, and 71 in the Elsevier ENTCS series, available at http://www.elsevier.nl/locate/entcs Selected papers from WRLA'96 have been published in a special issue of Theoretical Computer Science, Volume 285(2), 2002. LOCATION WRLA 2004 will be held in Barcelona, Spain in March 27-28, 2004. It is a satellite workshop of ETAPS 2004, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2004 web page http://www.lsi.upc.es/etaps04 For information about Barcelona, see among others the city web page http://www.bcn.es/english/ihome.htm PROGRAM COMMITTEE David Basin ETH Zurich Manuel Clavel Universidad Complutense de Madrid Steven Eker SRI International, Menlo Park Kokichi Futatsugi JAIST, Tatsunokuchi Fabio Gadducci Universita di Pisa Alexander Knapp LMU, Muenchen Claude Kirchner INRIA Lorraine & LORIA, Nancy Salvador Lucas Universidad Politecnica de Valencia Narciso Marti-Oliet Universidad Complutense de Madrid (Chair) Jose Meseguer University of Illinois at Urbana-Champaign Ugo Montanari Universita di Pisa Pierre-Etienne Moreau INRIA Lorraine & LORIA, Nancy Grigore Rosu University of Illinois at Urbana-Champaign Carolyn Talcott SRI International, Menlo Park SUBMISSIONS Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be available at the time of the workshop and are expected to be published in the Elsevier ENTCS series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Papers (of at most 15 pages) should be submitted electronically, preferably as PDF files, to the workshop email address wrla2004(a)sip.ucm.es providing also a text-only abstract, and detailed contact information of the corresponding author. The final program of the workshop will also include system demonstrations and two invited presentations by Gilles Dowek Ecole Polytechnique & INRIA, Palaiseau Mario Rodriguez-Artalejo Universidad Complutense de Madrid Based on the quality and interest of the accepted papers, the program committee will study the possibility of preparing a special issue of a scientific journal in the field. ORGANIZING COMMITTEE Narciso Marti-Oliet, Manuel Clavel, and Alberto Verdejo Departamento de Sistemas Informaticos y Programacion Universidad Complutense de Madrid, Spain CONTACT INFORMATION For more information, please contact the organizers wrla2004(a)sip.ucm.es or visit the workshop web page http://www.fdi.ucm.es/wrla2004 IMPORTANT DATES December 1, 2003 Deadline for submission (EXTENDED!) January 15, 2004 Notification of acceptance February 18, 2004 Final version in electronic form March 27-28, 2004 Workshop in Barcelona + + + + + WRLA'04 + + + + + LAST CALL FOR PAPERS + + + + + WRLA'04 + + + + +

1 0

Announce: Gtk2hs version 0.9.4
by Axel Simon 19 Nov '03

19 Nov '03

gtk2hs - A Haskell binding for Gtk+ version 2 GUI Toolkit. This binding provides a low-level wrapper around the Gtk GUI Toolkit. It covers nearly all widgets and thus provides a stable development API. Recent additions include the SourceView widget contributed by Duncan Coutts. The library is mainly for developers targeting the Gnome platform, otherwise you might be better off with wxHaskell or HToolkit. Highlights: - hand-crafted bindings - automatic memory management - compiles out-of-the box on FreeBSD, (Redhat) Linux, Solaris, X Darwin, MinGW (with the Windows port of Gtk) - compiles with GHC 5.04.X and GHC 6.0.X Available from https://sourceforge.net/projects/gtk2hs/ Please report all problems to gtk2hs-users(a)sourceforge.net . Enjoy, Axel

2 1

COORD04: List of accepted papers
by Emilio Tuosto 18 Nov '03

18 Nov '03

[[ -- Apologies for multiple copies of this message -- ]] Please, find attached the list of accepted papers to COORDINATION 2004. -- *************************************************************** Emilio Tuosto Universita' di Pisa Dipartimento di informatica Via F. Buonarroti 2, 56127 Pisa -- Italy Tel. +39 050 2212 799 Fax. +39 050 2212 726 homepage -> http://www.di.unipi.it/~etuosto ***************************************************************

1 0

Implementation of while loop
by r2yang＠engmail.uwaterloo.ca 17 Nov '03

17 Nov '03

Hi,does any one knows how to implement while-do loop or nested while-do loop? I'm in a situation that I need to implement nested while do loop with some if- then-else condition in my code,but I have no idea about it.Thanks. Ray ---------------------------------------- This mail sent through www.mywaterloo.ca

2 1