- Haskell - Haskell.org

Foclasa: Call for Papers
by Jean-Marie JACQUET 06 Jun '04

06 Jun '04

[ Our apologies for multiple copies. ] ====================================================================== 3nd International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa 2004) August 30, 2004, London, United Kingdom Workshop affiliated to CONCUR'2004, August 30 - September 3 2004. WITH DEADLINE EXTENSIONS ====================================================================== SCOPE AND TOPICS Modern information systems rely more and more on combining concurrent, distributed, mobile and heterogenous components. This move from old systems, typically conceived in isolation, induces the need for new languages and software architectures. In particular, coordination languages have been proposed to cleanly separate computational aspects and communication. On the other hand, software architects face the problem of specifying and reasoning on non-functional requirements. All these issues are widely perceived as fundamental to improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to systems more tractable and more amenable to verification and global analysis. The aim of the workshop is to bring together researchers working on the foundations of component-based computing, coordination, and software architectures. Topics of interest include (but are not limited to): o Theoretical models for coordination (component composition, concurrency, dynamic aspects of coordination, semantics, expressiveness); o Specification, refinement, and analysis of software archi- tectures (patterns and styles, verification of functional and non-functional properties); o Coordination, architectural, and interface description languages (implementation, interoperability, heterogeneity); o Agent-oriented languages (formal models for interacting agents); o Dynamic software architectures (mobile agents, configuration, reconfiguration); o Modeling of information systems (groupware, internet and the web, workflow management, CSCW and multimedia applications) o Coordination patterns (mobile computing, internet computing); o Tools and environments for the development of coordinated applications o Methodologies for validating and certifying software compositions SUBMISSION GUIDELINES Papers describing original work are solicited as contributions to Foclasa. Submitted papers should be limited to 6 000 words, preferrably formatted according to the Electronical Notes in Theoretical Computer Science. They should be emailed as PostScript (PS) or Portable Document Format (PDF) files to jmj(a)info.fundp.ac.be. PUBLICATION Following the previous edition, the proceedings will be published as a volume of the Electronical Notes in Theoretical Computer Science. IMPORTANT DATES: o June 7, 2004: Abstract Submission deadline. o June 13, 2004: Full Paper Submission deadline. o July 15, 2004: Notification of acceptance. o August 15, 2004: Final version. o August 30, 2004: Meeting Date. LOCATION The workshop will be held in London in August 30 2004. It is a satellite workshop of CONCUR 2004. For venue and registration, see the CONCUR web page at http://www.doc.ic.ac.uk/concur2004/. WORKSHOP ORGANIZERS o Antonio Brogi (University of Pisa, Italy) o Jean-Marie Jacquet (University of Namur, Belgium) o Ernesto Pimentel (University of Malaga, Spain) PROGRAMME COMITTEE (provisional): o Farhad Arbab (CWI, The Netherlands) o Antonio Brogi (University of Pisa, Italy) - Co-chair o Manfred Broy (University of Munich, Germany) o Jean-Marie Jacquet (University of Namur, Belgium) - Co-chair o Joost Kok (University of Leiden, The Netherlands) o Antonia Lopes (University of Lisbon, Portugal) o Ronaldo Menezes (Florida Institute of Technology, USA) o Amy Murphy (University of Rochester, USA) o Ernesto Pimentel (University of Malaga, Spain) - Co-chair o Sebastian Uchitel (Imperial College, United Kingdom) o Mirko Viroli (University of Bologna, Italy) o Jan Vitek (Purdue University, USA)

1 0

Lists as Arrows
by David Sankel 06 Jun '04

06 Jun '04

Hello, Forgive me, I have but a fuzzy idea of what Arrows are. I was thinking it might be possible to make lists arrows instead of monads. This would allow (++) to be one of those special arrow computations. It would have some quite nice properties. For example (++ [a]) could be a O(1) operation instead of a O(n). Also, the trivial implementation of a queue would be O(1) for push and pop operations instead of the more complicated amortized O(1) implementation. Am I missing the point or is what I said above a possibility? David J. Sankel

1 0

Invitation to IPSI-2004 VENICE and IPSI-2004 PRAGUE, vip/ba
by IPSI-2004 04 Jun '04

04 Jun '04

Dear Potential Speaker: This is an invitation for you to attend two IPSI BgD multidisciplinary and interdisciplinary conferences, one in Venice, and one in Prague, as follows: IPSI-2004 VENICE Venice, Italy (arrival: 10.11.2004. departure: 14.11.2004.) Deadlines: 15 June 2004 (abstract) + 1 August 2004 (full paper). IPSI-2004 PRAGUE Prague, Czeck Republic (arrival: 11.12.2004. departure: 14.12.2004.). Deadlines: 15 July 2004 (abstract) + 1 September 2004 (full papers) If you like to obtain more information on both conferences, please reply to this email. All IPSI BgD conferences are non-profit! They bring together the elite of the world science (so far, 7 times a Nobel Laureate was talking at the opening ceremony), and they take place in the leading hotels of the world. Topics of interest include, but are not limited to: Internet, Computer Science and Engineering, Management and Business Administration, Education, e-Medicine, Electrical Engineering, Bioengineering, Environment Protection, and e-Economy. Sincerely Yours, Prof. V. Milutinovic, Chairman PS - If you plan to submit an abstract/paper, let us know immediately. If you are not able to attend now, but you like to be informed about the future IPSI BgD conferences, please let us know. If you do not like to receive future invitations, let us know, as well!

1 0

TLCA 05 Call for Papers
by Hasegawa Masahito 04 Jun '04

04 Jun '04

TLCA'05 CALL FOR PAPERS Seventh International Conference on Typed Lambda Calculi and Applications (TLCA '05) Nara, Japan 21-23 April 2005 (Colocated with RTA as RDP '05) http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ The TLCA series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed lambda calculi and related systems. The following list of topics is non-exhaustive: * Typed and untyped lambda-calculi as models of computation. * Proof-theory: Natural deduction, sequent calculi, cut elimination and normalization. Propositions as types, linear logic and proof nets. * Types: Subtypes, dependent types, type inference, polymorphism, types for security. * Semantics: Denotational semantics, game semantics, realizability, categorical models. * Programming languages: Foundations of functional and object-oriented programming, proof search, logic programming, type checking. * Implementation: Abstract machines, parallel execution, optimal reduction, program optimization. * Computer-aided reasoning. The programme of TLCA'05 will consist of three invited talks and about 25 papers selected from original contributions. Accepted papers will be published as a volume of Springer Lecture Notes in Computer Science series. [http://www.springer.de/comp/lncs/index.html] Submissions: ------------ The submitted papers should describe original work and should allow the Programme Committee to assess the merits of the contribution: in particular references and comparisons with related work should be included. Submission of material already published or submitted to other conferences with published proceedings is not allowed. Papers should not exceed 15 pages in Springer LNCS format. An abstract (ASCII text) of no more than 150 words should be sent separately at least a week before the paper submission deadline. All submissions should be sent by e-mail to tlca05(a)mimuw.edu.pl Important dates: ---------------- Authors are required to submit a paper title and a short abstract at least a weak before the paper submission deadline. All deadlines below are at 24:00 Central European time (GMT+1). Titles and abstracts due: October 25, 2004 Paper submission deadline: November 2, 2004 Notification: December 22, 2004 Final versions due: January 31, 2005 Accepted papers should be prepared according to Springer LNCS guidelines as described in http://www.springer.de/comp/lncs/authors.html. Final versions must include all source files. Further information is available from the conference web page http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ Inquiries concerning submissions and programme should be addressed to tlca05(a)mimuw.edu.pl. Inquiries concerning the conference organization and participation should be sent to tlca05org(a)kurims.kyoto-u.ac.jp TLCA Steering Committee: ------------------------ Samson. Abramsky, Oxford, chair Henk Barendregt, Nijmegen Mariangiola Dezani-Ciancaglini, Turin Roger Hindley, Swansea Martin Hofmann, Munich TLCA 05 Programme Committee: ---------------------------- Thorsten Altenkirch, University of Nottingham Stefano Berardi, University of Turin Adriana Compagnoni, Stevens Institute of Technology, Hoboken Herman Geuvers, Nijmegen University Andy Gordon, Microsoft Research, Cambridge Fritz Henglein, Copenhagen University Martin Hofmann, LMU Munich Assaf J. Kfoury, Boston University Atsushi Ohori, JAIST, Tatsunokuchi Laurent Regnier, IML Marseille Pawel Urzyczyn, Warsaw University, chair Marek Zaionc, Jagiellonian University, Cracow TLCA 05 Organizing Committee: ----------------------------- Masahito Hasegawa, Kyoto, chair Ryu Hasegawa, Tokyo Mitsu Okada, Keio Masahiko Sato, Kyoto Masako Takahashi, ICU ------------------------------------------------------------------------------

1 0

Re: [Haskell] Initialisation without unsafePerformIO
by George Russell 03 Jun '04

03 Jun '04

Chung-chieh Shan wrote (snipped): > The enabling technique behind our solution is to propagate values > via types (literally), with the help of polymorphic recursion and > higher-ranked polymorphism. The technique essentially emulates > local type-class instance declarations. Configuration parameters > are propagated throughout the code implicitly as part of type > inference rather than explicitly by the programmer. Crikey! You represent configuration values which are integers by encoding them as a type with constructors data Zero data Twice s data Succ s data Pred s and you encode general values which are instances of Storable by casting their binary representation (pinned by a StablePtr) into bytes and then encoding the result as integers. My mind boggles. It would be nice if your paper included an appendix containing a main program which, say, used a graphics library including configuration parameters in your style. (Say, default font (string), font size (integer) and mouse handedness (bool).)

1 0

RE: [Haskell] Idea for the Haskell Store
by Simon Peyton-Jones 03 Jun '04

03 Jun '04

Good idea! At least, good idea if anyone wants to organise it. I'm optimistic that copyright issues could be worked out, but it needs an animating spirit to decide what should be available, line up POD services, decide pricing etc. Any volunteers? Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of John Meacham | Sent: 02 June 2004 17:15 | To: haskell(a)haskell.org | Subject: [Haskell] Idea for the Haskell Store | | There are a lot of very good books and papers out there on haskell or | related topics which are no longer in print or not convieniently available in | paper form to people without university access. | | I was thinking it would be very very cool if we could sign up with one | of the POD (Print on demand) services to offer useful books and | collections of papers printed on demand for haskell enthusiasts. A | print on demand publisher works just like amazon or any other online | bookseller, but actually prints out the books as needed so can deal | just as effectivly with small orders as big ones, modern technology has | made the cost comparable to traditional mass-produced books and an order | of magnitude better quality and cost over getting the stuff printed and | bound at kinkos or similar. | | some things which I would LOVE to see offered would be stuff like | | http://www.cs.chalmers.se/~boquist/phd/index.html | peyton jones's thesis on GHC optimization | http://www.cs.chalmers.se/Cs/Research/Logic/book/ | http://research.microsoft.com/Users/simonpj/Papers/pj-lester-book/ | various collections of papers by author phillip wadler, simon peyton | jones, simon marlow, etc.. or based on topics like 'the monad papers' | or 'generic haskell anthology' or 'a tale of ten pretty printers' | | any other ideas? | | There will probably be some copyright issues to work out, but anything | would be great. It could be done non-profit or having the profit flow | back to the authors or into the maintenence of the haskell site or other | worthy haskell projects (or decided on a book-by-book basis I imagine) | | John | | -- | John Meacham - ⑆repetae.net⑆john⑈ | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

2 1

Idea for the Haskell Store
by John Meacham 02 Jun '04

02 Jun '04

There are a lot of very good books and papers out there on haskell or related topics which are no longer in print or not convieniently available in paper form to people without university access. I was thinking it would be very very cool if we could sign up with one of the POD (Print on demand) services to offer useful books and collections of papers printed on demand for haskell enthusiasts. A print on demand publisher works just like amazon or any other online bookseller, but actually prints out the books as needed so can deal just as effectivly with small orders as big ones, modern technology has made the cost comparable to traditional mass-produced books and an order of magnitude better quality and cost over getting the stuff printed and bound at kinkos or similar. some things which I would LOVE to see offered would be stuff like http://www.cs.chalmers.se/~boquist/phd/index.html peyton jones's thesis on GHC optimization http://www.cs.chalmers.se/Cs/Research/Logic/book/ http://research.microsoft.com/Users/simonpj/Papers/pj-lester-book/ various collections of papers by author phillip wadler, simon peyton jones, simon marlow, etc.. or based on topics like 'the monad papers' or 'generic haskell anthology' or 'a tale of ten pretty printers' any other ideas? There will probably be some copyright issues to work out, but anything would be great. It could be done non-profit or having the profit flow back to the authors or into the maintenence of the haskell site or other worthy haskell projects (or decided on a book-by-book basis I imagine) John -- John Meacham - ⑆repetae.net⑆john⑈

1 0

how to write a list builder? fixpoint?
by Ben.Yu＠combined.com 01 Jun '04

01 Jun '04

Hi, just curious. When building a list, normally I do [a,b,c,d]. Is it possible to write a function to build a list [a]? so that I can write [a,b,c,d] as "getBuilt $ build a b c d"? looks like build will have to be of type ListBuilder, where ListBuilder a = a -> ListBuilder a. Is it a fix point? Ben. This message is intended only for the addressee and may contain information that is confidential or privileged. Unauthorized use is strictly prohibited and may be unlawful. If you are not the intended recipient, or the person responsible for delivering to the intended recipient, you should not read, copy, disclose or otherwise use this message, except for the purpose of delivery to the addressee. If you have received this email in error, please delete and advise us immediately.

1 0

new Library Infrastructure spec.
by Isaac Jones 01 Jun '04

01 Jun '04

(followups to libraries(a)haskell.org) Hail Haskellers! A commonly-identified obstacle to the spread of Haskell libraries is that there is no standard way a) for authors to package a library or other tool for distribution to others b) for customers to install such a package Platforms vary. Haskell compilers vary. Packages have dependencies. Etc. Isaac Jones has coordinated an effort to address this problem. We've had a lot of discussion between him and (at least some of) the folk involved in the GHC, Hugs, and nhc implementations. This discussion has led to a new concrete proposed specification[1]. Here it is: http://www.haskell.org/libraryInfrastructure/proposal See also the project home page: http://www.haskell.org/libraryInfrastructure/ We would welcome your feedback, either as a potential library or tool author, or as a potential consumer, or both. The specification isn't complete in every detail, but it seems better to post it before investing in details that may be rendered void by subsequent discussion. We hope this will be an important spec, and will be with us for a long time. So now's the time to look at it. Send feedback to libraries(a)haskell.org. (You can subscribe to this list at: http://www.haskell.org/mailman/listinfo/libraries .) Sincerely, Isaac Jones, Simon Marlow, Ross Paterson, Malcolm Wallace, Simon Peyton Jones [1] This specification differs from the previous proposal both in technical details, and in that it is the combined efforts of the undersigned. Those familiar with the previous proposal will not find large high-level differences, but some details have been made more concrete and some details have changed.

1 0

CFP: 4th Open Workshop MUSICNETWORK, Barcelona, September 2004
by MUSICNETWORK 01 Jun '04

01 Jun '04

This is a special communication dedicated to the next Open Workshop of the MUSICNETWORK it is also an activity of the AHG of MPEG on Symbolic Music Representation Sorry for multiple reception of this message. THE DEADLINE HAS BEEN EXTENDED TO THE 15 OF JUNE Paolo Nesi MusicNetwork -L-L-L-L-L-L-L-L-L-L-L-L-L-L--L-L-L-L-L-L-L-L- Call for Proposal, Papers, Expositions 4th Open Workshop of MUSICNETWORK: Integration of Music in Multimedia Applications http://www.interactivemusicnetwork.org/events/Fourth_OpenWorkshop_2004/MUSI… http://www.interactivemusicnetwork.org/ LOCATED AT: Universitat Pompeu Fabra, Barcelona, Spain, 15th-16th September 2004 http://dmag.upf.es/wedelmusic2004/Documents/Location.html Co-located with WEDELMUSIC 2004 Conference: http://www.upf.edu/wedelmusic2004/ You are invited to participate at the Workshop and to contribute to the sessions. With the support of the European Commission, the MUSICNETWORK project has been created to explore the applications and integration of interactive multimedia technologies for Music, enabling inter- and trans-disciplinary collaborations and networking, bridging many important sectors, including cultural, commercial, industrial, research and academic. End users are discovering the multimedia experience, and thus, traditional music models are going to be overcome and replaced by their integration with multimedia, audiovisual and cross media. Thus the aim is to put together industry actors and innovative technology providers to help the music industry to overcome the present problems with the innovation. The theme of the 4th Open Workshop is the Integration of Music in Multimedia applications. Currently many new music-related applications are strongly impacting and attracting the market. Most of them will become more and more widespread in a short time due to users demand. Among most addressed sectors the one presenting more notable form of integration between music and multimedia there are: -- music education (notation tools integrating multimedia, educational paradigms, tools, distance learning, mobile learning, etc.); -- music management in libraries (modeling, navigation, metadata, content description, etc., MPEG-7), -- entertainment (animation, synchronisation, etc., SMIL ); -- music and multimedia music distribution and protection (watermarking, fingerprint, MPEG-21); -- valorization of cultural heritage (modeling, restring, etc.); -- electronic consumer applications: piano keyboards with symbolic music representation and audiovisual capabilities, electronic lecterns, i-TV; -- mobile applications for education and entertainment (cellular phones, PDA, tablet PC, etc.). In the current Internet and Multimedia age other applications are strongly attracting market attention and most of them will become soon widespread in short time. The integration of symbolic music representation in MPEG could completely satisfy users requirements for properly handling such issue into tools, allowing to integrate into a single model the powerful one of MPEG for multimedia, representation, coding and playback. The integration of symbolic music representation with MPEG or other multimedia standards will open the way for a large number of new applications and markets related to the above applications. This initiative may increase the current market for symbolic music representation, which is mainly dedicated to sheet music production. It may also open the path to creating very interesting new applications, and to increase the power and flexibility of those applications that already use both multimedia and symbolic music representation. MPEG has relevant standards in this area such as MPEG-4 for the audio visual objects, MPEG-7 for the description of audio visual content for archives, and MPEG-21 for the Digital Rights Management and distribution of digital audiovisual. At present, there is a lack of an integrated Music Notation/Representation standard with multimedia. The aim of this workshop is to make a further step towards a proper standardizing of a Music Notation/Representation Model. The MUSICNETWORK has worked very hard to create the conditions for a Call for Proposals/Technologies within MPEG with the aim of exploiting the MPEG framework for integrating Music Notation/Representation in several innovative applications. As a results an MPEG Ad Hoc Group on Symbolic Music Representation has been created, a large set of requirements and innovative applications have been identified and a call for technology can be launched. All this material can be recovered from: - http://www.interactivemusicnetwork.org/mpeg-ahg/ - http://www.interactivemusicnetwork.org/mpeg-ahg/W6457%20%28Draft%20CfP%20Sy… To this end, the next Open Workshop of the MUSICNETWORK will be mainly focused on the integration of MUSIC and MULTIMEDIA in an effective CROSS MEDIA. Several different formats and media may share the same information and grant navigation, synchronization and stable relationships establishment. The 4th Open Workshop will be organized around the following sections. For each section we are open to receive proposals and contributions: ***Applications and Technical papers*** chairs: Jerome Barthelemy (IRCAM, Jerome.Barthelemy(a)ircam.fr) David Crombie (FNB, dcrombie(a)fnb.nl) David Fuschi (ILABS, d.fuschi(a)giuntilabs.it) Giuseppe Nicotra (ARCA, nicotra(a)dodiesis.com) The topic of interests for the Application session is wide ranging. For this section, we are going to accept papers and proposals from Experts and from Industries coming from different areas of music for finals user applications and/or innovative technologies. Proposals may be Industrial presentations of music applications or experts papers. The session will be focused on current applications, case-studies, applications scenarios, latest development, as well as future directions, innovative technologies. It includes, but not limited to the following areas: o Education, cooperative work, distance learning, mobile learning, etc. o Entertainment, consumer electronics, music and games, animation, synchronization, etc. o cultural heritage, exploitation of cultural assets, archives, museums, restoration, etc. o music distribution and protection, fingerprint, monitoring, business models, mobiles, etc. o music exploitation, economical impacts of content fruition on new media, etc. o accessibility and culture, technology for supporting accessibility, etc. o music modeling and representation, etc. These interdisciplinary domains share one common point the applications of science and technologies in Music or the applications of Music in interactive multimedia domains ***MPEG SMR, Symbolic Music Representation, Call for Technology*** Chairs: Paolo Nesi (DSI, nesi(a)dsi.unifi.it) Giorgio Zoia (EPFL, Giorgio.Zoia(a)epfl.ch) The idea of this section is to provide support to industries and groups that intent to respond at the Call for Technology of MPEG regarding the SMR http://www.interactivemusicnetwork.org/mpeg-ahg/. The work activities in this section will be mainly devoted in making clear what MPEG forum expects in response to the CALL and what the MPEG could provide in terms of benefits and return of investment to these companies. The registration to this event is strongly suggested, and should be accompanied by a simple document including a list of possible questions or point that you are interested to see discussed during this section. The major points will be: o Presentation of the MPEG SMR Call for Technology, aims and goals o Presentations of the proponents o Open discussion to support proposers You are invited to participate at the Workshop and to contribute to the above sessions. Free registration, please do via the WWW site of the MUSICNETWORK. The registration is not mandatory but is strongly suggested, we need to set up suitable logistic support for the right number of participants. http://www.interactivemusicnetwork.org/ Submission of your proposal by 15th of June 2004 o To be sent at the corresponding chairs (see email addresses above), in MS-WORD or PDF formats o To be also sent at musicnetwork(a)dsi.unifi.it o To be submitted according to the above description with the number of pages suggested below. o To be submitted with the dates reported below Please note that all the submissions will be published on the WWW site of the MUSICNETWORK. If you don't agree on this kind of publication please inform the MUSICNETWORK in the accompanying letter to the submission. Different types of contributions are welcome: - Tutorials/Surveys (4 to 8 page of proposal) - Application and Technical Papers (2 to 10 pages) - Exposition and Demonstrations (1 page summary) - MPEG SMR Symbolic Music Representation: (a list of topics to be discussed) Important deadlines - Deadline for submission: 15 June 2004 - Paper selection results: 25 June 2004 - Full paper submission: 28 July 2004 - Workshop: 15 September 2004 As usual, the MUSICNETWORK will economically support a number of speakers according to the quality of their proposal, to the relevance of the topic proposed, etc. The selection will be operated on the basis of the proposal. In addition, the MUSICNETWORK is going to invite a given number of experts, asking them to attend the meeting to give their contribution in the above mentioned topics. The latter are a sort of keynote speakers on the Conference topics and are not in competition with the former.

1 0