- Haskell - Haskell.org

RDP'03 - Call for participation
by Salvador Lucas 11 Apr '03

11 Apr '03

[Apologies for multiple copies of this announcement] ****************************************************************** ****************** Call for participation ****************** ****************************************************************** Federated Conference on Rewriting, Deduction and Programming (RDP) including RTA - TLCA - FTP - IFIP WG 1.6 - RULE - UNIF - WFLP - WRS - WST http://www.dsic.upv.es/~rdp03 Valencia, Spain, June 8 - 14, 2003 ------------------------------------------------------------------ We are pleased to announce that the registration and hotel reservation procedures for attending RDP 2003 are open now. Please, follow this link http://www.dsic.upv.es/~rdp03/org/registration_info.html to formalize your registration. A number of rooms have been booked in various hotels near the Conference venue. Please remember that the number of rooms is limited. Requests will be processed on a first come first served basis and will be subject to space availability. Please, follow this link http://www.dsic.upv.es/~rdp03/org/hotel_info.html to eventually formalize your accomodation in one of such hotels. IMPORTANT: The deadline for early registration/accomodation is M a y 1 5, 2 0 0 3 RDP 2003 will take place at the ADEIT building of the "Fundacio Universitat Empresa de Valencia": Plaza Virgen de la Paz, 3 E-46001 Valencia Spain Please, look at the conference WWW site for further travelling information (available soon). The conference will be hosted by the Departamento de Sistemas Informaticos y Computacion (DSIC) at the Universidad Politecnica de Valencia. PARTICIPANTS 14th Int. Conf. on Rewriting Techniques and Applications, RTA'03 6th Int. Conf. on Typed Lambda Calculi and Applications, TLCA'03 4th Int. Workshop on First Order Theorem Proving, FTP'03 IFIP Working Group 1.6 on Term Rewriting 4th Int. Workshop on Rule Based Programming, RULE'03 17th Int. Workshop on Unification, UNIF'03 12th Int. Workshop on Functional and (Constraint) Logic Prog., WFLP'03 3rd Int. Workshop on Red. Strat. in Rewriting and Programming, WRS'03 6th Int. Workshop on Termination, WST'03 DATES RDP : June 8 - 14, 2003 RTA'03 : June 9 - 11 TLCA'03: June 10 - 12 FTP'03 : June 12 - 14 WG 1.6 : June 12 RULE'03: June 9 UNIF'03: June 8 - 9 WFLP'03: June 12 - 13 WRS'03 : June 8 WST'03 : June 13 - 14 ORGANIZERS The ELP group at the Universidad Politecnica de Valencia Officials: Salvador Lucas (chair of the organizing committee) Maria Alpuente (workshops chair) Jose Hernandez (local arrangements) Javier Oliver (secretary) Maria Jose Ramirez (local arrangements chair) German Vidal (publicity chair) CONTACT Salvador Lucas Departamento de Sistemas Informaticos y Computacion (DSIC) Universidad Politecnica de Valencia Camino de Vera, s/n E-46022 Valencia (Spain) phone: + 34 96 387 7353 (73531) fax: + 34 96 387 7359 e-mail: slucas(a)dsic.upv.es URL: http://www.dsic.upv.es/users/elp/slucas.html FURTHER INFORMATION RDP website: http://www.dsic.upv.es/~rdp03 The ELP group: http://www.dsic.upv.es/users/elp/elp.html ******************************************************************

1 0

setenv?
by Johannes Waldmann 11 Apr '03

11 Apr '03

We have System.getEnv - is there setEnv as well? in System? in Posix? -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- joe(a)informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/207 --

2 1

ANNOUNCE: New Chameleon relase
by Martin Sulzmann 11 Apr '03

11 Apr '03

New features: * Interactive Debugging in Haskell See http://www.comp.nus.edu.sg/~sulzmann/chameleon/ for details. Martin

1 0

ANNOUNCE: Haskell/Java VM Bridge 0.2 Release
by Ashley Yakeley 10 Apr '03

10 Apr '03

Release 0.2 of Haskell/Java VM Bridge is now available in source-code form. New in Version 0.2: Haskell: * 'Haskell' now a separate Autotools project installing in /usr/lib/jvm-bridge/ * New array region access functions * Correct array types in autogenerated class interfaces * Subtype parameters in autogenerated class interfaces * VMLayer 'env' parameter now implicit * Various changes in the BasicLayer * new native StartExecuteFunction function called by getExecuteFunctionClass, defineCallbackClass Native: * Mac OS X support * Beginnings of MinGW32/Cygwin support * New Sun 1.4 JVM * Now installs in /usr/lib/jvm-bridge/ * ExecuteFunction bindings now done at run-time Haskell/Java VM Bridge allows Haskell programs access to the Java Virtual Machine. It comes in two parts: the 'Native' part, that abstracts away differences in the various Java VMs, and the 'Haskell' part that provides a Haskell API. The Native part is not Haskell-specific, and could potentially be used by other languages wishing to access the Java VM. Features include: * Calling of Java methods, access to fields, array-handling; * Integration of garbage collectors; * Reconciliation of exception models; * Reconciliation of thread models, including 'synchronized' monitor support and the ability to fork Haskell actions as Java threads; * Strong typing for Java classes and method argument lists (as tuples), and use of Haskell lists as arrays; * Creation of Java classes 'on the fly' (using DefineClass and the Java Class File Format) that can have Haskell callback methods; * Lifted monads which do all the necessary JNI class and method/field ID preloading and 'JNIEnv'-pointer variable handling for you -- these can be automatically generated via a tool (MakeJVMModule); * Layered design includes lower-level IO-based interface; * Automatic generation of modules for Java API classes; * All relevant imports, flags and libraries etc. handled by a single GHC package 'javavm'; * No 'unsafe' Haskell calls or pure function FFI anywhere; * Easy to port to new Java VMs. This release should be 'beta' quality, but has undergone little testing. You will need: * An x86 machine running some form of Unix, or a Mac OS X machine; * GHC 5.02.4 or later; In particular, GHC 5.02.2 and earlier will not work on Mac OS X. * A Java VM. It's been tested only with Sun's JVM, but should (may?) work with a number of others. Haddock documentation is currently blocked on a bug in Haddock ("implicit parameters"). Should that be fixed, you will be able to build API documentaion by doing "make doc". Some simple examples have been included such as a program that shows a Java Frame containing an instance of a Haskell-defined subclass of Canvas that has a Haskell 'paint' method that draws an oval. You should be able to figure out most of it from that. Haskell/JVM Bridge and source code is licensed under the GNU Lesser GPL. <http://sourceforge.net/projects/jvm-bridge/> Future plans: * port to Cygwin * use hierarchical module structure * separate out pure (non-FFI) Haskell into a separate package * better typing for the IO-based layer -- Ashley Yakeley, Seattle WA Almost empty page: <http://semantic.org/>

1 0

Curiosity
by Jon Fairbairn 09 Apr '03

09 Apr '03

Is there any reason why the list type is defined in the Report as data [a] = [] | a : [a] deriving (Eq, Ord) rather than data [a] = [] | (:) {head:: a, tail:: [a]} deriving (Eq, Ord) (which would shorten Prelude.List somewhat)? -- Jón Fairbairn Jon.Fairbairn(a)cl.cam.ac.uk 31 Chalmers Road jf(a)cl.cam.ac.uk Cambridge CB1 3SZ +44 1223 570179 (after 14:00 only, please!)

3 3

Fw: [HOpenGL] Haddock installation question
by Andre W B Furtado 09 Apr '03

09 Apr '03

I got the following error while trying to compile Haddock (./configure step): error: 'lex' or 'flex' is required to compile GHC >From where can I download 'lex' or 'flex'? Do they come with Cygwin/GHC installation packages? My config is: Windows XP under Cygwin, GHC-5.04.2 Thanks, -- Andre

2 1

CfP: ELSNET/ENABLER Resources Infrastructure Workshop at ACL2003
by Steven Krauwer 09 Apr '03

09 Apr '03

ACL2003 Resources Information Infrastructure Workshop _________________________________________________________________ Last CALL for PAPERS Towards a Resources Information Infrastructure Workshop at ACL2003 in Sapporo (Japan) July 11 and 12 2003 Organised by ENABLER / ELSNET Description The problem addressed by this workshop is the well-known information problem. People are creating, exploring and exploiting language resources all over the world. Those who are working with resources know a lot about their own and other resources, and they are generally prepared to share this knowledge, their expertise and in many cases even their resources with others via publications in journals, presentations at conferences, and via the web. Unfortunately this information, however public, is not accessible in any systematic way for those who need resources, who want to know what sort of resources exist, how resources should be annotated, which standards to adhere to, which tools to use, etc etc. We will call this problem the 'Resources Information Problem'. The problem has also a geographical dimension: As work on specific languages is very often concentrated in specific parts of the world, much relevant information has a tendency to stay in one geographical place. This is an obstacle for those who are working on these same languages in different parts of the world, and it makes it harder to port knowledge and expertise gained on one language to other languages. The above observation are far from novel, and it would be naive to think that the problems will ever go away. At the same time one can observe that there are organisations (associations, agencies, projects, networks, etc) that have access to parts or fragments of this information and that have their own infrastructures that facilitate access to this information by internal or external people. The purpose of this workshop is to investigate how we can exploit the existing infrastructures to a maximum in order to facilitate world-wide access to information on language resources. The role of the workshop will be to bootstrap this process. Approach * First of all we will try to make an initial map of the language resources landscape world-wide. This map will include actors, organisations, repositories, standards, projects, tool libraries, etc etc. All participants will be asked beforehand to submit pointers to such items. They will be collected and published. * At the workshop we will invite representatives of a number of organisations that can be seen as key actors in the field, and they will be asked to present ideas about the way their organisation could contribute to solving the Resources Information Problem. These ideas could range from very concrete and immediately implementable proposals to longer term and visionary actions. * A round table discussion at the workshop will aim at the creation of convergence, coherence and synergies between the proposed actions. The intended output is a catalogue of actions to facilitate access to resources information that could be implemented (almost) immediately, a skeleton plan for longer term actions, and firm commitment from key players to make these things happen. Target audience Representatives of parties that could play a key role in providing access to resources information, such as (but not limited to) * Resources distribution agencies, e.g. LDC and ELDA/ELRA * Professional organisations, e.g. ACL, ISCA, and their regional branches, e.g. EACL, AACL, JACL, Asian NLP federation * Networks and resources infrastructure projects, e.g. ENABLER, ISLE. ELSNET * Committees, e.g. ICWLR, COCOSDA * National resources or infrastructure projects, e.g. Technolangue, Collate * International actions, e.g. OLAC * Researchers and developers interested in improving the language resources infrastructure for our community Invited and submitted papers We expect to invite some 15 representatives to give their presentations, but in addition we are issuing an open call for papers addressing the resources information problem and possible solutions. These papers will be reviewed in the usual way. Submission format Please submit full papers of maximum 8 pages (including references, figures etc). Authors should follow the main conference ACL style format. Electronic submission only. Send the pdf, postscript, or MS Word form of your submission to: Steven Krauwer (steven.krauwer(a)elsnet.org) who will also answer any queries regarding the submission. Important Dates Submission deadline for workshop papers: 13 April 2003 Notification of accepted papers: 14 May 2003 Deadline for camera ready copies 29 May 2003 Workshop dates: 11-12 July 2003 Workshop Format It will be a two-day workshop, with invited and submitted presentations in the mornings, and topical panels and round table discussion in the afternoons, including an open meeting of the newly created International Coordination Committee for Written Language Resources. Programme Committee As this workshop is jointly organized by ELSNET and ENABLER (two EU funded projects aimed at providing collaboration infrastructures), we have invited all ca 60 members of the ELSNET and ENABLER Boards to constitute the core programme committee. We may want to invite additional members from Asia and other parts of the world in order to ensure sufficient geographical coverage. A full list of PC members will be published on the workshop website at http://www.elsnet.org/acl2003-workshop The workshop will be jointly chaired by Steven Krauwer (ELSNET) and Nicoletta Calzolari/Antonio Zampolli (ENABLER) Historical note This workshop can be seen as a follow-up of the workshop organised at ACL2000 in Hong Kong, entitled 'Towards infrastructures for global collaboration'. One of the conclusions of this workshop was that the field of language resources would offer good opportunities for collaborative actions, and the first concrete goal was the creation of an international resources federation, a first step towards which is now embodied by the proposal to set up an International Committee for Written Language Resources. The workshop should lead to the definition of concrete actions to be carried out under the auspices of ICWLR, in collaboration with other organisations. Contact info Steven Krauwer (steven.krauwer(a)elsnet.org) ELSNET (http://www.elsnet.org)

1 0

CHARME03 new sbm deadline
by Tronci Enrico 08 Apr '03

08 Apr '03

---------------------------------------------------------------------- We apologize if you receive multiple copies of this announcement. ---------------------------------------------------------------------- In response to many requests we extended CHARME 2003 sbm deadline. *********************************************************************** CHARME 2003 NEW SUBMISSION DEADLINE: April 21, 2003 *********************************************************************** CHARME 2003 The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods 21-24 October 2003, University of L'Aquila, L'Aquila, Italy http://www.di.univaq.it/charme2003 Co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and Engineering of Electronic Systems CHARME 2003 is the twelfth in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and verification of hardware and systems. It has been the aim of the conference to expand its interest to software as well when the technology is related. Previous conferences have been held in Darmstadt, Edinburgh, Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal, and Bad Herrenalb, and Edinburgh. It is the biennial counterpart of FMCAD, which takes place every even year in the USA. The aim of CHARME 2003 is to bring together researchers and users from academia and industry working in this active area of research. The conference will cover original research results, case studies, use of technologies across application domains, and reports on practical experiments. Papers describing original work in all aspects of formal hardware and system design and verification methods are invited. Papers related to formal modeling and verification of concurrent software are also welcome. The event will be held 21-24 October 2003 and hosted by University of L'Aquila, Italy. L'Aquila can be easily reached from Rome Airport. Topics of interest include, but are not limited to: * usage of semi-formal methods (combining simulation methods with formal verification) * high level design modeling languages and high level design constructs * formal verification of hybrid systems * timing verification * formal methods for commercial hardware description languages * correctness preserving transformations * formal synthesis methods * use of theorem provers for verification * BDD and FSM based approaches, including model checking and SAT checking * correctness aspects in HW/SW co-design * abstraction and compositional techniques * formal verification of protocols * diagnosis of design errors * coverage directed verification and other semi-formal verification methods * use of formal specification languages in simulation * formal verification of concurrent software * practical and industrial applications of formal techniques The conference proceedings will appear as a volume in Springer-Verlag's Lecture Notes in Computer Science series and will be available at the conference. Papers should not exceed 15 pages, formatted as specified by Springer-Verlag in the Authors Instructions page, and submitted electronically following the procedure given on the submissions page of the conference website, http://www.di.univaq.it/charme2003. Selected contributions may be invited for publication in STTT (International Journal on Software Tools for Technology Transfer, Springer-Verlag). ****************************************************************************** Author's Schedule: * 11 April 2003 - Deadline for paper submission. Extended to: April 21, 2003 * 6 June 2003 - Notification of acceptance * 11 July 2003 - Deadline for final version ****************************************************************************** Chairs Enrico Tronci (conference chair) (University of Rome, Italy) Daniel Geist (programme chair) (IBM, Israel) ****************************************************************************** Programme Committee Alan Hu (University of British Columbia, Canada) Alan Mycroft (University of Cambridge, UK) Anna Slobodova (Intel, USA) Armin Biere (Swiss Federal Institute of Technology, Switzerland) Byron Cook (Microsoft Corporation, USA) Carl Pixley (Synopsys, USA) Daniel Geist (PC Chair) (IBM, Israel) Dominique Borrione (University of Grenoble, France) Eli Singerman (Intel, Israel) Enrico Tronci (Conference Chair) (University of Rome, Italy) Ganesh Gopalakrishnan (University of Utah, USA) Hans Eveking (T.U. Darmstadt, Germany) John O'Leary (Intel, USA) Ken McMillan (Cadence, USA) Laurence Pierre (University of Marseille, France) Limor Fix (Intel, Israel) Mark Aagaard (University of Waterloo, Canada) Mary Sheeran (Chalmers Univ. and Prover Technology, Sweden) Moshe Vardi (Rice University, USA) Ofer Strichman (Carnegie-Mellon University, USA) Steve Johnson (Indiana University, USA) Thomas Kropf (Bosch, Germany) Tiziana Margaria (Univ. of Dortmund and METAFrame Techn., Germany) Tom Melham (University of Oxford,UK) Warren Hunt (University of Texas at Austin, USA) ******************************************************************************

1 0

Announcing Pan#, version 0.1
by John Peterson 07 Apr '03

07 Apr '03

------------------------------------------- Announcing Pan#, Version 0.1 ------------------------------------------- Pan is a language of interactive, functional images developed by Conal Elliott, Oege de Moor, and Sigbjorn Finne. We have built a new front and back end for the original Pan compiler to create Pan#, a stand alone system that does not require any other Haskell compiler. Pan# uses the Microsoft .NET system to compile and run the generated programs. Pan# contains its own interpreter for a small, Haskell-like language. We have simplified and extended the Haskell language somewhat but retains the core semantic basis of Haskell. This release is part of a larger effort to use functional languages and programming language principles to design new languages for educational use (http://haskell.org/edsl) Pan# has been used as a mathematical visualization language and we have developed a number of high school algebra lessons that use Pan# to create interactive visualizations which illustrate mathematical principles. Try out Pan# if you're interested in functional graphics or would like a simple language that demonstrates the power of functional programming in a new and interesting way. This is a preliminary release - it has not been extensively tested and some aspects of the system have not been implemented or are in poor shape. Pan# is easy to install and use. You can get Pan# at http://haskell.org/edsl/pansharp.html Requirements: - Windows 2000 or XP - The .NET framework (available through Microsoft Update) We would like to thank Microsoft Research for thier support of this project. John Peterson Yale Haskell Project

1 0

CFP: DALT'03 - 1st Workshop on Declarative Agent Languages and Technologies
by João Alexandre Leite 07 Apr '03

07 Apr '03

=========================================================== F I N A L C A L L F O R P A P E R S DALT 2003 First International Workshop on Declarative Agent Languages and Technologies Melbourne, Australia July 15th 2003 http://centria.di.fct.unl.pt/~jleite/dalt03/index.htm In conjunction with AAMAS 2003 2nd International Conference on Autonomous Agents and Multi-Agent Systems http://www.aamas-conference.org/ Submission: 11 of April, 2003 Post-Proceedings published by Springer-Verlag (LNAI) =========================================================== TECHNICAL DESCRIPTION Agent metaphors and technologies are ever more adopted to harness and govern the complexity of today's systems. As a consequence, the growing complexity of agent systems calls for models and technologies that promote system predictability, and enable feature discovery and verification. Recent advances in the area of logics and formal methods make declarative languages and technologies a mostly promising approach to the modeling and engineering of complex agent systems. DALT aims at fostering a discussion forum to export, on the one hand, such techniques into the broader community of agent researchers and practitioners and, on the other hand, to bring in the issues of real-world, complex, and possibly large-scale agent system design in the perspective of formal methods and declarative technologies. DALT 2003 will take place in Melbourne, Australia, in conjunction with AAMAS, the 2nd International Conference on Autonomous Agents and Multi-Agent Systems. Topics of interest include, but are not limited to: * Declarative agent communication and coordination languages * Knowledge-based and knowledge-intensive MAS * Modeling of agent rationality * Declarative approaches to the engineering of MAS * High level agent specification languages * Practical aspects of declarative agent programming and implementation * Formal methods for the specification and verification of MAS * Computational logics in MAS * Argumentation and dialectical systems in MAS * Declarative description of contracts and negotiation issues in MAS * Lessons learned from the design and implementation of MAS * Declarative paradigms for the combination of heterogeneous agents * Constraints and MAS * Declarative representation of policies and security in MAS SUBMISSIONS We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, which can be obtained at (http://www.springer.de/comp/lncs/authors.html) and not exceed 16 pages including figures, references, etc. Send your paper in PostScript (PS) or Portable Document Format (PDF) to jleite(a)di.fct.unl.pt. IMPORTANT DATES * Submission, 11 of April, 2003 * Notification, 6 of May, 2003 * Camera Ready, 16 of May, 2003 PROCEEDINGS To encourage and promote the discussion, early and final versions of the accepted papers will be available online, at the workshop's web page, as soon as they are available. A printed volume with the proceedings will be available at the workshop. Authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings. Post-proceedings will be published by Springer-Verlag as a volume of the Lecture Notes on Artificial Intelligence series (http://www.springer.de/comp/lncs/index.html) PROGRAM COMMITTEE Rafael Bordini, The University of Liverpool, UK Jeff Bradshaw, The University of West Florida, FL, USA Antonio Brogi, Università di Pisa, Italy Stefania Costantini, Università degli Studi di L'Aquila, Italy Yves Demazeau, Institut IMAG, Grenoble, France Jürgen Dix, The University of Manchester, UK Toru Ishida, Kyoto University, Japan Catholijn Jonker, Vrije Universiteit Amsterdam, The Netherlands Antonis Kakas, University of Cyprus, Cyprus Daniel Kudenko, University of York, UK Alessio Lomuscio, King's College, London, UK Viviana Mascardi, DISI, Genova, Italy Paola Mello, Università di Bologna, Italy John Jules Ch. Meyer, Universiteit Utrecht, The Netherlands Charles L. Ortiz, SRI International, Menlo Park, CA, USA Sascha Ossowski, Universidad Rey Juan Carlos, Madrid, Spain Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Jeremy Pitt, Imperial College, London, UK Ken Satoh, National Institute of Informatics, Tokyo, Japan Michael Schroeder, City University, London, UK Onn Shehory, IBM Research Lab in Haifa, Israel Carles Sierra, Spanish Research Council, Barcelona, Spain V.S. Subrahmanian, University of Maryland, MD, USA Francesca Toni, Imperial College, London, UK Wiebe van der Hoek, The University of Liverpool, UK Franco Zambonelli, Università di Modena, Italy ORGANIZING COMMITTEE Co-chairs: João Alexandre Leite (Contact Person) Universidade Nova de Lisboa jleite(a)di.fct.unl.pt Andrea Omicini Università di Bologna aomicini(a)deis.unibo.it Leon Sterling The University of Melbourne leon(a)cs.mu.oz.au Paolo Torroni Università di Bologna ptorroni(a)deis.unibo.it

1 0