January 2005 - Haskell

[CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on Programming Multi-Agent Systems
by Juergen Dix 31 Jan '05

31 Jan '05

Call for Papers ================= Third International Workshop on Programming Multi-Agent Systems (ProMAS'05) <http://www.cs.uu.nl/ProMAS/> ProMAS'05 is a satellite workshop at AAMAS 2005 Utrecht University, The Netherlands <http://www.aamas2005.nl/> Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its two previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools Important Dates: ---------------- Paper submission deadline: 14th of March, 2005 Notifications of acceptance/rejection: 18th of April, 2005 Camera-ready copies due: 15th of May, 2005 Workshop Date: 25th or 26th of July, 2005 (TBA) Submission Details: ------------------- Authors should submit their paper by attaching it to an email to J�rgen Dix (dix(a)tu-clausthal.de) The email should also contain paper title, author name(s), affiliation(s), contact information of the main author, and a few keywords describing the topic (eg. from the list above). Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As it was the case for ProMAS'03 and ProMas'04, we are planning to publish extended versions of the accepted papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee: -------------------- - Chris van Aart (Acklin, The Netherlands) - Jean-Pierre Briot (University of Paris 6, France) - Monique Calisti (Whitestein Technologies, Switzerland) - Keith Clark (Imperial College, United Kingdom) - Yves Demazeau (Institut IMAG - Grenoble, France) - Frank Dignum (Utrecht University, The Netherlands) - Michael Fisher (University of Liverpool, United Kingdom) - Vladimir Gorodetsky (Russian Academy of Sciences, Russia) - Jomi H�bner (Universidade Regional de Blumenau, Brasil) - Toru Ishida (Kyoto University, Japan) - David Kinny (CTO, Agentis Software, USA) - Jo�o Leite (University Nova de Lisboa, Portugal) - Jiming Liu (Hong Kong Baptist University, Hong Kong) - John-Jules Meyer (Utrecht University, Netherlands) - J�rg M�ller (Clausthal University of Technology, Germany) - Oliver Obst (Koblenz-Landau University, Germany) - Gregory O'Hare (University College Dublin, Ireland) - Andrea Omicini (University of Bologna, Italy) - Julian Padget (University of Bath, United Kingdom) - Agostino Poggi (Universit� degli Studi di Parma, Italy) - Chris Reed (Calico Jack Ltd., United Kingdom) - Ichiro Satoh (National Institute of Informatics, Kyoto, Japan) - Onn Shehory (IBM Haifa Research Labs, Haifa University, Israel) - Kostas Stathis (Universit� di Pisa, Italy) - Milind Tambe (University of Southern California, USA) - Leendert van der Torre (CWI, Netherlands) - Paolo Torroni (University of Bologna, Italy) - Gerhard Weiss (Technische Universit�t M�nchen, Germany) - Michael Winikoff (RMIT University, Melbourne, Australia) - Cees Witteveen (Delft University, Netherlands) Organising Committee: --------------------- Rafael H. Bordini (University of Durham, U.K.) http://www.dur.ac.uk/r.bordini Mehdi Dastani (Utrecht University, The Netherlands) http://www.cs.uu.nl/~mehdi J�rgen Dix (Clausthal University of Technology, Germany) http://cig.in.tu-clausthal.de/ Amal El Fallah Seghrouchni (University of Paris VI, France) http://www-poleia.lip6.fr/~elfallah/

1 0

Final Call for Papers and Posters
by Judit Gervain 31 Jan '05

31 Jan '05

Sorry about multiple postings of this message. ------------------------------------------------------------------------ ----------------------------------------------------- Final Call for Papers: ESSLLI'05 Student Session We are pleased to announce the Student Session (StuS) of the 17th European Summer School in Logic, Language and Information (ESSLLI'05, 8-19 August, Edinburgh, http://www.macs.hw.ac.uk/esslli05/) We invite papers for oral and poster presentation from the areas of Logic, Language and Computation. The ESSLLI Student Session encourages submissions from students at any level, undergraduate, as well as postgraduate. This year, unlike in the past, papers can be submitted for oral OR poster presentation separately. Student authors are invited to submit a full paper, not to exceed 7 pages of length exclusive of references. Papers are to be submitted with clear indications of the selected modality of presentation, i.e. oral or poster. The submissions will be reviewed by the student session program committee and selected reviewers. Importantly and unlike in pervious years, oral presentations and posters will be reviewed, ranked and chosen for acceptance separately. The preferred formats of submissions are PostScript, PDF, or plain text, although other formats will also be accepted. The paper and a separate identification page must be sent electronically to: gervain(a)sissa.it. Deadline: 15th February 2005. For more information and the technical details of the submission, see: http://www.sissa.it/~gervain/StuS.html or write to: gervain(a)sissa.it ========================@======================== Judit Gervain office: via dell'Orologio 6., 2nd floor Trieste Italy postal address: SISSA CNS via Beirut 2-4 34014 Trieste Italy office tel: +39 040 37 87 613 mobile tel: +39 329 788 40 25 www.sissa.it/~gervain

1 0

Re: [Haskell] space behaviour of lazy recursive lists
by Adrian Hey 30 Jan '05

30 Jan '05

On Sunday 30 Jan 2005 4:00 pm, Axel Jantsch wrote: > Main> nth 100 fibs > 10 > (2818 reductions, 3730 cells, 1 garbage collection) > > Main> nth 200 fibs > 10 > (5618 reductions, 7430 cells, 1 garbage collection) > > which suggests linear space behaviour. Hmm, not sure exactly what Hugs is measuring here. I suspect this is a measure of total allocation during program execution rather than maximimum memory in use at any time during execution. So you'd expect to see this kind of thing anyway. As it happens, I think both heap and stack requirement will be proportional to the first arg of nth for the reasons I indicated earlier. But I think the version using zipWith' will execute in constant space (but this doesn't mean constant cell allocation, you'll probably still see <some large number> of cells used). Regards -- Adrian Hey

1 0

space behaviour of lazy recursive lists
by Axel Jantsch 30 Jan '05

30 Jan '05

Hi, How can I get constant space behaviour for lazy, recursive streams? Consider: > gibs = 1 : 1 : (zipWith f gibs (tail gibs)) > where f x y = min (x + y) 10 This is derived from the fibs text book example, modified to bound the memory requirement for each list element. Evaluating gibs should require constant amount of memory, since the computed parts of the list are not needed any more and can be reclaimed. However, hugs says: Main> nth 100 fibs 10 (2818 reductions, 3730 cells, 1 garbage collection) Main> nth 200 fibs 10 (5618 reductions, 7430 cells, 1 garbage collection) which suggests linear space behaviour. Also, ghc shows the same behaviour with a linearly growing stack size as shown by the profiler (+RTS -hc -xt) and sooner or later the program runs out of memory with a stack overflow. It seems the entire list up to the last evaluated element is stored. Since I want to use lazy streams to simulate process networks, I want to run the simulation arbitrarily long without *ever* running out of memory. So my question is, how can I process recursive, lazy streams in constant space? Or, in other words, how can I force the garbage collector to reclaim the memory of the head of the list after I have processed it, since I will never ever reference it again? With best regards Axel Jantsch --- Phone: +46 8 790 4124, Email: axel(a)imit.kth.se, Web: www.imit.kth.se/~axel

4 4

Tracing Haskell programs
by Srinivas Nedunuri 28 Jan '05

28 Jan '05

hello, are there any Windows or non-pltform specific tracers available for Haskell/HUGS? I tried HOOD but it doesnt work on programs that don't terminate :-( and Hat only runs on Unix systems plus it seems to require installing 4 or 5 other utilities... It doesn't *seem* like it ought to be difficult for the HUGS interpreter to dump out a simple trace as it goes along, even better logging only specific spy points, ala Prolog, so I am quite surprised to find there isn't any such facility in HUGS itself cheers

1 0

Re: [Haskell-cafe] field record update syntax
by S. Alexander Jacobson 28 Jan '05

28 Jan '05

(Moved to Haskell list because this is now a suggestion for the language) I do a lot of this soft of thing. foo {bar = fn $ bar foo ,baz = fn2 $ baz foo } It would be much nicer if this syntax did the equivalent: foo {bar \= fn ,baz \= fn2 } -Alex- On Thu, 27 Jan 2005, Henning Thielemann wrote: > > On Thu, 27 Jan 2005, S. Alexander Jacobson wrote: > >> I have a lot of code of the form >> >> foo {bar = fn $ bar foo} >> >> Is there a more concise syntax? I am thinking >> the record equivalent of C's foo+=5... >> >> I imagine there is some operator that does this e.g. >> >> foo {bar =* fn} >> >> But I don't know what it is... > > If you have only few different record fields you may like to define an > update function for each record field. > > updateBar fn foo = foo {bar = fn (bar foo)} > ______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com

2 1

CFP: AAMAS-2005 INDUSTRY TRACK
by Matthias Klusch 28 Jan '05

28 Jan '05

++ Apologies for multiple copies due to cross posting ++ Call for Papers of AgentLink-3 supported ----------------------------------------------------- AAMAS-2005 INDUSTRY TRACK Utrecht, the Netherlands July 25-29 2005 http://www.aamas2005.nl/ ----------------------------------------------------- Submission open now -- Deadline: 28 February 2005 http://www.aamas2005.nl/industry_track_submissions.php INTRODUCTION The International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) is the leading international conference in the theory and practice of software agents. The conference attracts delegates from many different backgrounds; from those developing agent-based software products and services to those working in the theoretical foundations of the discipline. The AAMAS-05 conference will be held in July 2005 in Utrecht, the Netherlands, and will, for the first time, feature a track specifically intended for industrial participants: the AAMAS Industry Track. The industry track is being organised in cooperation with AgentLink, Europe's IST-funded coordination activity for autonomous agents and multi-agent systems (see http://www.agentlink.org/) WHAT IS THE INDUSTRY TRACK? The AAMAS industry track is a special track at the AAMAS conference that will run in parallel to the regular AAMAS scientific track. It will feature presentations and demonstrations from industrial participants, giving them an opportunity to showcase the state of the art in technology and industrial application of autonomous agents and multi-agent systems to AAMAS delegates and to publish associated papers in a high quality, formal proceedings. The industry track aims to foster mutually beneficial links between those engaged in foundational scientific research and those working to make autonomous agents and multi-agent systems a commercial reality. This enables industrially-based software agent developers and practitioners to participate in AAMAS in a meaningful way and to present their technology and applications to both their peers and the associated scientific community. HOW WILL THE TRACK BE REFEREED? Whereas in the regular conference track the overriding refereeing criterion is clearly scientific excellence, the industry track focuses primarily on the industrial relevance and technological significance of the contribution. Preference will be given to mature work demonstrating concrete industrial/commercial results and business value. Examples of an "ideal" paper might include: (i) a presentation of a particular kind of commercially available software agent technology, together with experience of how this was applied in a field-tested system; or (ii) a report on a field-tested agent-based system. We explicitly discourage the submission of purely speculative papers, proposals, and plans for future work/potential applications. Academic participation in the industry track is acceptable, but please note that we strongly discourage the submission of: (i) papers that merely appeal to potential applications, without demonstrating that they have been meaningfully applied; (ii) academic papers that work with highly abstracted versions of potential applications; or (iii) academic papers that describe software agent systems/platforms without either a real industrial link or genuine application. In general, if you believe that your paper makes a scientific contribution, you should think about submitting to the regular scientific track; whereas, if your paper is an overview of an agent technology, a "practical experience" paper, or similar, then you should probably submit to the industry track. HOW CAN I PARTICIPATE? The industry track invites developers, practitioners, and industrial researchers to submit high quality papers on agent technology and its applications. See the conference web site for paper formatting and submission instructions. Accepted contributions will be formally published in the "Proceedings of the Industry Track of AAMAS-05" and will be distributed at the conference along with the AAMAS-05 main conference proceedings. Selected publications will be encouraged to present their applications in the AgentLink newsletter. The contributions will influence the AgentLink Roadmap to be published in 2005. Note that the Industry Track is part of the AAMAS conference - there is no separate registration for the Industry Track. IMPORTANT DATES Deadline for Submission of Contributions - 28 February 2005 Notification of acceptance - 28 March 2005 CO-CHAIRS Michal Pechoucek -- Czech Technical University, AgentLink Donald Steiner -- Quantum Leap Innovations Simon Thompson -- British Telecom Programme Committee: David Allsopp -- Qinetic Fabio Bellifemine -- Telecom Italia Laboratories Jeff Bradshaw -- IHMC Sven Brueckner -- Altarum Monique Calisti -- Whitestein Technologies Jonathan Dale -- Futjitsu Ian Dickenson -- HP Mark Greaves -- DARPA Jon Himoff -- CEO Magenta Martin Hofmann -- Lockheed Martin David Kinny -- Agentis James Lawton -- AFRL Vladimir Marik -- Rockwell Research Center David Martin -- SRI Peter McBurney -- AgentLink Narendra Nanjangud -- IBM Jim Odell -- Agentis Ravi Prakash Gorthi -- Infosys Technologies Christ Priest -- HP Chris Reed -- Calico Jack, Dundee University Ralph Ronnquist -- AOS Australia Jeff Rosenschein -- Hebrew Uni David Sadek -- France Telecom Onn Shehory -- IBM Israel John Shepherdson -- BT Petr Skobelev -- CTO Magenta Niranjan Suri -- IHMC Simon Thompson -- British Telecom

1 0

ICEIS'2005- First International Workshop on Protection by Adaptation PBA'2005
by KOUADRI MOSTEFAOUI Ghita 27 Jan '05

27 Jan '05

CALL FOR PAPERS ----------------------------------------------------------------------------------------------------------------------------------------------- First International Workshop on Protection by Adaptation (PBA 2005) May 24, 2005, Miami, USA http://www.iceis.org/workshops/pba/pba2005-cfp.html In conjunction with the 7th International Conference on Enterprise Information Systems (ICEIS 2005) http://www.iceis.org/ ------------------------------------------------------------------------------------------------------------------------------------------------ Scope and Topics ================ For most people, the term security refers to cryptographic algorithms, biometric authentication techniques, passwords, etc. Beyond these intuitive notions, security is rather a very broad topic and may be viewed from a variety of other perspectives, including new access control models, software architectures for security systems, and security policies specifications. Pervasive environments are the prime field for applying security due to the high frequency of attacks and incompatibilities detected in these types of environments. This situation results from the distributed nature of pervasive environments, mobility of users and devices, services heterogeneity and the different capabilities of devices used to access these services. The aim of this workshop is to point the research community to better consider context-based security as a new trend that may face future more subtle security attacks. We believe that the force of a good security system should not rely only on the force of security protocols but also on the way it copes with new and completely unpredictable situations or at least learn from new situations and updates its behavior accordingly. This goal can be reached by making future security solutions freely adaptive. We look for original submissions on the following topics (but not limited to): + Security in pervasive computing + Dynamic security policies + Context-based access control + Context in security + Agile encryption + AI in security + Adaptive security solutions + Middleware for context-based security systems + Conflicting norms issues in security policies + Flexible security architectures for pervasive applications + Security contexts discovery, retrieval, representation and modeling + Modeling users security profiles + Metrics for evaluating pervasive computing security infrastructures + Testing of adaptive security systems + Software architectures for adaptive security (design patterns, etc) + Adaptive security levels in heterogeneous environments + Enforcing applications security semantics + Metrics for predicting security threats Submission of papers ==================== Prospective authors are invited to submit papers for oral presentation in any of the areas listed above. Only full papers in English will be accepted, and the length of the paper should not exceed 10 pages (5000 words). Instructions for preparing the manuscript (in Word and Latex format) are available at the ICEIS web site. Postscript/RTF versions of the manuscript should be submitted thru ICEIS web-based paper submission procedure http://www.iceis.org/. Important dates =============== Submission deadline: February 15, 2005 Notification of acceptance: March 4, 2005 Camera-ready and registration: March 18, 2005 Format of the workshop ====================== The workshop will consist of oral presentations. The proceedings of the workshop will be published in the form of a book by ICEIS with ISBN. Program committee ================= H. Bettahar (UTC, France) P. Brézillon (Université Paris VI, France) Y. Challal (UTC, France) A. Derhab (CERIST, Algeria) H. Diab (American University of Beirut, Lebanon) D. Chiu Kak Wah (The Chinese Univesity of Hong Kong) S. Dietrich (Carnegie Mellon University, USA) D. Djenouri (CERIST, Algeria) P. Hung (University of Ontario, Canada) I. Khalil Ibrahim (Johannes Kepler University Linz, Austria) M. Kellil (UTC, France) M. Khedr (Arab Academy for Science and Technology, Egypt) L. Khelladi (CERIST, Algeria) G. Kouadri M. (Université Paris VI, France) S. Kouadri M. (University of Fribourg, Switzerland) Z. Maamar (Zayed University, U.A.E) N.C. Narendra (IBM, India) M. Nunez (Universidad Complutense de Madrid, Spain) L. Pierson (Sandia National Laboratories, USA) K. Pousttchi (University of Augsburg, Germany) P. Robertson (Sandia National Laboratories, USA) L. Ruf (ETHZ, Switzerland) A. Tveit (NTNU, Norway) M. Vargas Martin (University of Ontario, Canada) E. Witzke (Sandia National Laboratories, USA) H. Yahyaoui (CIISE, Canada) M. Yousif (Intel Corporation, USA) Workshop chair ============== Ghita Kouadri Mostéfaoui LIP6 Université Paris 6, France Ghita.Kouadri-Mostefaoui(a)lip6.fr Workshop location ================= The workshop will be held at Deauville Beach Resort in Miami, USA. Registration Information ======================== To attend the workshop you need to register at http://www.iceis.org Secretariat =========== ICEIS 2005 Secretariat - First International Workshop on Protection by Adaptation (PBA 2005) E-mail: workshops(a)iceis.org Web site: http://www.iceis.org

1 0

build an interpreter on top of GHCi?
by WANG Meng 27 Jan '05

27 Jan '05

Hi All, Does anybody has the experience to built an interpreter on top of GHCi? What I want is to defined a my own interpreter as a Haskell module and load it into GHCi. So this new interpreter will be running on top of GHCi which accepts syntax extension of Haskell. For example: Prelude> :l myInter Prelude> myInter> new language source Prelude> myInter> ... Prelude> myInter> exit Prelude> In another word, I want to have a read-eval-print-loop running on GHCi. Does anybody know how to do that? -W-M- @ @ | \_/

2 1

ANNOUNCE: Gtk2Hs version 0.9.7 released
by Duncan Coutts 26 Jan '05

26 Jan '05

Gtk2Hs - A Haskell GUI library based on the Gtk+ GUI Toolkit. Version 0.9.7 is now available from: http://gtk2hs.sourceforge.net/ Highlights: * automatic memory management * Unicode support * nearly full coverage of Gtk+ 2.2 and partial coverage of 2.4 * bindings for several Gnome modules: * libglade for loading GUIs from xml files at run-time This allows you to design your user interface visually with the Glade user interface builder. * GConf, Gnome's system for storing app preferences * SourceView, code editor widget with syntax highlighting * the Mozilla browser rendering engine in a widget * API reference documentation * multi-platform support with native look via themes * LGPL licence Platforms and requirements: * packages are now available for Fedora Core 2 and 3 * packages for Gentoo and FreeBSD should follow shortly * builds out-of-the box on Linux, FreeBSD, Solaris and MacOS X * support for Windows is on hiatus for this release * builds with GHC 6.2.x, 6.0.x and 5.04.x * works with Gtk+ version 2.0 through to 2.2, 2.4 and 2.6 * optional Gnome support requires Gnome 2.0 or better * optional Mozilla support requires Mozilla 1.4 or better Changes since 0.9.6: * all packages now use hierarchical module names * a binding for GtkMozEmbed that embeds the Mozilla rendering engine in a Gtk+ widget. (Thanks to Wolfram Kahl) * an autotooled build system Goals for the 1.0 release: * a medium level API much like that of wxHaskell and hs-fltk * a stable API for the 1.x series * coverage of all the new widgets in Gtk+ 2.4 and 2.6 * bindings for more Gnome modules * completion of the API reference documentation * packages for all popular platforms (including Windows) * a Windows installer Please report all problems to gtk2hs-users(a)sourceforge.net . Contributions and feedback are also most welcome. Duncan

1 0