March 2005 - Haskell - Haskell.org

instance Bounded Double
by Frederik Eaton 14 Mar '05

14 Mar '05

Shouldn't Double, Float, etc. be instances of Bounded? I've declared e.g. instance Bounded Double where minBound = -(1/0) maxBound = 1/0 in a module where I needed it and there doesn't seem to be any issue with the definition... Frederik -- http://ofb.net/~frederik/

5 8

update a text control in wxHaskell by received message
by Bernd Holzmüller 14 Mar '05

14 Mar '05

Hi, I want to update a text control in wxHaskell with a message received over a socket. Unfortunately, the documentation is rather sparse and I haven't yet been able to find out how to create an event and then set the widget text with the string received. Can somebody give me a hint? Thanks, Bernd

1 0

Call for papers: WILF 2005
by Andrea G. B. Tettamanzi 14 Mar '05

14 Mar '05

Apologies for crossposting! CALL FOR PAPERS WILF 2005 Sixth International Workshop on Fuzzy Logic Crema (Milan), Italy -- September 15-17, 2005 WILF 2005 is the 6th edition of what started out and was formerly known as the Italian Workshop on Fuzzy Logic. WILF 2005 is an international workshop on the theoretical, experimental, and applied fuzzy and, more generally, soft-computing techniques and systems which brings together researchers and developers from both Academia and Industry to report on the latest scientific and theoretical advances, to discuss and debate major issues and to demonstrate state-of-the-art systems. Topics of interest include, but are not limited to: 1. General techniques and algorithms: - Fuzzy Sets; - Rough Sets; - Possibility Theory; - Fuzzy Logic; - Fuzzy Systems; - Neuro-Fuzzy Systems; - Representation of Vague and Imprecise Knowledge; - Fuzzy Evolutionary Algorithms; - Fuzzy Pattern Recognition; - Fuzzy Data Fusion. 2. Applications: - Bioinformatics; - Broadcasting; - Control; - Communications; - Information Retrieval; - Intelligent Resource Management; - Knowledge Management; - Medical; - Opto-mechatronics; - Remote Sensing; - Robotics; - Semantic Web - Speech Analysis; - Television; - Telepresence; - Virtual Reality. 3. Implementations: - Analog and Digital Circuits and Systems; - Architectures and VLSI Hardware; - Programmable Processors; - Commercial Software. A special session on "Soft Computing in Image Processing" will be organized in cooperation with the SCIP group (http://fuzzy.rug.ac.be/SCIP) Important Dates: Submission deadline: 29 April 2005 Notification of acceptance: 20 June 2005 Camera ready papers due: 15 July 2005 Workshop: 15 September 2005 Submission: Manuscripts, prepared according to the Springer LNCS format (instructions downloadable from http://www.springer.de/comp/lncs/instruct/typeinst.pdf) may not be longer than 6 pages, including a cover sheet stating (1) Paper title, (2) Keyword(s), (3) Authors’ names and affiliations, (4) Contact Author’s name and contact details including telephone/fax numbers and e-mail address. Papers in PDF or gzipped PostScript format have to be submitted, no later than April 29, 2005 following the link http://dsa.uniparthenope.it/wilf2005/Submission/tabid/283/Default.aspx The papers will be peer-reviewed by at least two members of the program committee. Authors will be notified via email of the results of the review by June 20, 2005. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts, along with text sources and pictures, by July 15, 2005. Web Address: http://dsa.uniparthenope.it/wilf2005/. Chairs: Isabelle Bloch, France Alfredo Petrosino, Italy Andrea G. B. Tettamanzi, Italy Program Committee: James C. Bezdek, USA Miguel Delgado, Spain Didier Dubois, France Marco Gori, Italy Jim Keller, USA Etienne Kerre, Belgium Rudolf Kruse, Germany Jerome Lang, France Henrik Legind Larsen, Denmark Sankar K. Pal, India Witold Pedrycz, Canada Elie Sanchez, France Daniel Sanchez, Spain Umberto Straccia, Italy Settimo Termini, Italy Enric Trillas, Spain Ronald Yager, USA Hans-Juergen Zimmermann, Germany -- Prof. Andrea G. B. Tettamanzi Università degli Studi di Milano, Dip. Tecnologie dell'Informazione Via Bramante 65, I-26013 Crema, Italy, Tel. +39 02503.30065, Fax 30010, mobile +39 320 4378 942 URL: "http://mago.crema.unimi.it/"

1 0

Embedded Systems
by Gottfried F. Zojer 14 Mar '05

14 Mar '05

4 3

FroCoS 2005: Second Call for Papers
by Bernhard Gramlich 12 Mar '05

12 Mar '05

[Apologies for multiple copies] ---------------------------------------------------------------------------- FroCoS 2005: SECOND CALL FOR PAPERS ---------------------------------------------------------------------------- 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) Vienna, Austria, September 19-21, 2005 http://www.logic.at/frocos05/ ---------------------------------------------------------------------------- BACKGROUND In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas. The International Workshop on Frontiers of Combining Systems (FroCoS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. The previous FroCoS workshops were held in Munich (1996), Amsterdam (1998), Nancy (2000) and Santa Margherita Ligure (2002). In 2004, FroCoS joined IJCAR 2004, the 2nd International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2005 wants to offer a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use. TOPICS Typical topics of interest include (but are not limited to): * combination of logics (e.g., modal logics, logics in AI, ...); * combination of decision procedures, of satisfiability procedures, and of constraint solving techniques (e.g. unification and matching algorithms, general symbolic constraints, numerical constraints); * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems (e.g. theory resolution, constraint resolution, constraint paramodulation, ...); * combination of deduction systems and computer algebra; * integration of data structures (e.g., sets, multisets, lists) into CLP formalisms and deduction processes; * model/problem analysis and decomposition (e.g. isolating tractable or loosely connected sub-problems, global constraints design, etc.) * hybrid methods for deduction, resolution and constraint propagation (e.g., combinations of local and global, complete and propagation techniques) * hybrid systems in computational linguistics, knowledge representation, natural language semantics, and human computer interaction; * logical modelling of multi-agent systems; * logical aspects of combining and modularizing programs and specifications. INVITED SPEAKERS (confirmed) * Silvio Ghilardi (U Milano) * Fausto Giunchiglia (U Trento & ITC-IRST) * Eric Monfroy (U Nantes & UTFSM/Chile) SUBMISSIONS The programme committee seeks high-quality submissions that are original and not submitted for publication elsewhere. Submission is electronic in postscript or PDF format. Submitted papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files. Submission categories include full papers, for work on foundations, applications, implementation techniques, and problem sets (up to 15 pages), as well as system descriptions (up to 8 pages), for describing publicly available systems. The submission deadline is May 2, 2005 for titles and abstracts, and May 9, 2005 for papers. For further information and submission instructions see the FroCoS 2005 web page: http://www.logic.at/frocos05/. PROCEEDINGS Accepted papers will appear in the proceedings of the conference, published as a volume of the Lecture Notes in Artificial Intelligence (LNAI) series, Springer-Verlag. Proceedings will be available at the time of the conference. IMPORTANT DATES May 2, 2005: Deadline for electronic submission of abstract May 9, 2005: Deadline for electronic submission of papers June 20, 2005: Notification of acceptance/rejection Jul 11, 2005: Deadline for final versions of accepted papers Sep 19-21, 2005: Conference PROGRAM COMMITTEE * Alessandro Armando (U Genova) * Franz Baader (TU Dresden) * Clark W. Barrett (NYU New York) * Frederic Benhamou (LINA, U Nantes) * Michel Bidoit (LSV, CNRS & ENS Cachan) * Jacques Calmet (U Karlsruhe) * Juergen Giesl (RWTH Aachen) * Bernhard Gramlich (chair) (TU Wien) * Deepak Kapur (UNM Albuquerque) * Maarten Marx (U Amsterdam) * Joachim Niehren (INRIA Futurs, U Lille) * Christophe Ringeissen (LORIA-INRIA Nancy) * Manfred Schmidt-Schauss (U Frankfurt) * Cesare Tinelli (U Iowa) * Ashish Tiwari (SRI Menlo Park) * Frank Wolter (U Liverpool) ORGANIZING COMMITTEE * Aneta Binder * Bernhard Gramlich * Franziska Gusel * Gernot Salzer * Jana Srna PROGRAM COMMITTEE AND CONFERENCE CHAIR Bernhard Gramlich TU Wien, Fakultaet fuer Informatik, Theory and Logic Group Favoritenstr. 9 - E185/2, A-1040 Wien, Austria Email: frocos05(a)logic.at FURTHER INFORMATION FroCoS 2005 web page: http://www.logic.at/frocos05/ ----------------------------------------------------------------------------

1 0

CFP: APPSEM05 Workshop
by Hans-Wolfgang Loidl 12 Mar '05

12 Mar '05

[ apologies for multiple copies of this CFP ] 1st CALL FOR PAPERS 3rd APPSEM II Workshop (APPSEM05) Frauenchiemsee, Germany, 12-15 September 2005 http://lionel.tcs.ifi.lmu.de/APPSEM05/ Background and Objectives APPSEM II (Applied Semantics II) is a 36-month FP5 IST thematic network project that started in January 2003. The network consists of 20 sites (with a number of subsites) and is coordinated by Martin Hofmann (LMU München). The APPSEM'05 workshop will be held on the island Frauenchiemsee, in the lake of Chiemsee, approximately 100 km south east of Munich. This is the 3rd general annual meeting of the network. Previous meetings took place in Nottingham (APPSEM'03) and in Tallinn (APPSEM'04). All members of the network are invited to attend, but participation of non-members from both academia and industry with interests in application-oriented programming language semantics is actively encouraged, too. The purpose of the workshop is to present new results and plan future work in each of the following nine themes of the network: - Program structuring: object-oriented programming, modules, - Proof assistants, functional programming, and dependent types, - Program analysis, generation, and configuration, - Specification and verification methods, - Types and type inference in programming, - Games, sequentiality, and abstract machines, - Semantic methods for distributed computing, - Resource models and web data, - Continuous phenomena in Computer Science. For each theme there will be a session of contributed talks. In addition, there will be several invited talks, an industrial panel session, a brainstorming session and a business meeting. Following on from the workshop, an informal proceedings will be published on the web. Full refereeing will be done on revised versions of the papers after the workshop with a selection of papers being published in a formal proceedings. Submission Two kinds of contributions are solicited: - short presentations of circa 15 minutes each - full presentations of circa 30 minutes each Submission for short presentations Authors should submit a short abstract of maximal 2 pages. Short presentations offer the opportunity to advertise any work relevant for APPSEM II, either completed or in progress. These submissions will be judged by the programme committee according to interest and relevance to APPSEM II; the PC will try to accommodate in the workshop programme all short presentations that meet these criteria. Submission for full presentations Submission of full presentations is in 2 phases: phase 1 focusses on relevance of the topic to the APPSEM remit; phase 2 involves full refereeing. Phase 1: Authors should submit an extended abstract of maximal 10 pages, excluding appendices. The PC encourages high quality extended abstracts that can be considered for formal publication within few months. The submissions will be ranked by the PC according to quality and relevance to APPSEM II themes. Successful submissions will get a 30 minute slot for presentation at the workshop, and will be considered for phase 2. Other submissions will be automatically considered for 15 minute presentation slots. Authors of submissions to phase 1 automatically express a commitment to submit to phase 2 if accepted. Phase 2: Authors should submit a full paper (max 20 pages excluding appendices) that will be refereed according to usual scientific standards after the workshop. Selected papers will be published in the proceedings for the workshop. We expect to have 10-12 contributions published in the final proceedings. The exact format of these final proceedings is yet to be decided. Important dates - Submission for short presentations (max 2 pages): 8 July 2005 - Submission for full presentations (max 10 pages): 8 July 2005 - Notification of acceptance (phase 1): 12 August 2005 - Workshop: 12-15 September 2005 Programme committee The programme committee consists of one or two scientists per theme and a chairman. - Gilles Barthe - Gavin Bierman - Thierry Coquand - Pierre-Louis Curien - Peter Dybier - Philippa Gardner - Chris Hankin - Fritz Henglein - Martin Hofmann (Chair) - Neil Jones - Achim Jung - Peter O'Hearn - Eugenio Moggi - Andrew Pitts - Francois Pottier - Didier Remy - Uday Reddy - Glynn Winskel Venue The picturesque small island Frauenchiemsee is home of a Benedictine monastery, which nowadays also hosts seminars. Founded in 722 by Duke Tassilo III of Bavaria, its most famous abbess was Irmengard (died 866; beatified 1928), great-granddaughter of Charlemagne. Other historically recorded abbesses are Sabina Preindorfer (died 1609) und Magdalena Haidenbucher (died 1650). Until the 11th century the monastery was directly subordinated to the Holy Empire, later on it was subordinated to the Archbishop of Salzburg. Organisers The workshop is organized by Martin Hofmann, Hans-Wolfgang Loidl, Eva Back, Konstantin Kutzkow (Institute for Informatics, Ludwig-Maximilians Universitaet Muenchen).

1 0

ANNOUNCE: Hugs interim release
by ross＠soi.city.ac.uk 12 Mar '05

12 Mar '05

Chasing the Jones's, we are pleased to announce an interim release of Hugs98, primarily targeted at Unix systems to gain experience with new features, especially Cabal. It is available from the Hugs web page: http://www.haskell.org/hugs/ The new Cabal-based library build system has the potential to make building on Windows easier, but it's not there yet. Volunteers welcome. Feature highlights of this new release are: - The default current module is now the empty module Hugs.Base instead of the Prelude. - The Char type and the Char module now support Unicode as specified in the Haskell 98 Report (contributed by Dmitry Golubovsky). - The new -X option groups several options into one argument. - The syntax of the ffihugs command has changed: the +G and +L options are gone, and a new +i option can be used to specify include files. - Hugs now has basic support for Cabal. - Numerous bug fixes since the previous major release in Nov 2003. The home page for Hugs is at http://haskell.org/hugs. Send email to hugs-users-request(a)haskell.org to join the hugs-users mailing list. Bug reports should be sent to hugs-bugs(a)haskell.org. Send email to hugs-bugs-request(a)haskell.org to subscribe to the hugs-bugs list. ------------------------------------------------------------------------------ The Hugs 98 system is Copyright (c) Mark P Jones, Alastair Reid, the Yale Haskell Group, and the OGI School of Science & Engineering at OHSU, 1994-2005, All rights reserved. It is distributed as free software under the license in the file "License", which is included in the distribution. ------------------------------------------------------------------------------

1 0

ANNOUNCE: nhc98-1.18 and hmake-3.10
by Malcolm Wallace 11 Mar '05

11 Mar '05

To complement today's fresh release of ghc-6.4.... ------------------------- nhc98-1.18 + hmake-3.10 ------------------------- http://haskell.org/nhc98 http://haskell.org/hmake We are pleased to announce a new release of the nhc98 compiler and the hmake compilation manager. nhc98 is portable to almost any 32-bit unix-like platform, and can be easily bootstrapped with just a C compiler if no existing Haskell compiler is available. Hmake plays happily with ghc and hbc as well as nhc98. This release is mainly a maintenance refresh, fixing numerous bugs, and adding support for many of the new hierarchical libraries that are also supplied with ghc-6.4 and Hugs. Main bugfixes: * Resolved configuration bugs when using ghc-6.2 and ghc-6.4 with hmake. * Build failures associated with gcc-3.3 and upward have been fixed. Main feature updates: * Supplied with these standard library packages: base, parsec, haskell-src, QuickCheck, HaXml, HUnit, Cabal * FFI: foreign import "dynamic" is now supported, and C header-files named in an import are now respected. * cpphs: The compiler and hmake now use cpphs rather than your C compiler for preprocessing. This removes problems with string gaps, primes in identifiers, and so on. * Source now supplied with a small test suite to help verify whether the compiler works on new platforms. This release of nhc98 has been tested with the following machines and build compilers: ix86-Linux (Slackware 10 and RedHat 7.2 built with ghc-5, ghc-6, hbc, gcc-2.95, gcc-3.3, nhc98) ix86-Cygwin (Windows 2000 built with gcc-3.3, ghc-6) sparc-solaris2 (SunOS 5.9 built with ghc-6, gcc-2.95, nhc98) powerpc-Darwin7 (MacOS X 10.3 using ghc-6, gcc-2.95, gcc-3.3) Credits: Malcolm Wallace (release manager) Ian Lynagh (gcc-3.3 bugfixes, hmake-config add-dyn) Wolfgang Thaller (MacOS gcc-3.3 bugfixes) Simon Marlow (ghc configuration fixes) Sven Panne (warning police, hbc build) numerous library authors, distribution packagers, and bug reporters.

1 0

RULE'05 - CALL FOR PARTICIPATION
by Horatiu Cirstea 11 Mar '05

11 Mar '05

Apologies in advance for multiple copies of this message. CALL FOR PARTICIPATION RULE'05 6th International Workshop on Rule-Based Programming April 23, 2005 http://rule2005.loria.fr Affiliated to RDP'05, the Federated Conference on Rewriting, Deduction, and Programming. April 19-23, 2005 Nara, Japan IMPORTANT !!! DEADLINE FOR EARLY REGISTRATION: *** March, 31 *** Invited speaker: -------------------- Mitsuhiro Okada, Keio University, Japan Accepted papers: -------------------- Olivier Bournez, Liliana Ibanescu and Hélène Kirchner. From Chemical Rules to Term Rewriting Baris Aktemur and Sam Kamin. Mumbo: A Rule Based Implementation of a Run-time Program Generation Language Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi. A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method Karl Trygve Kalleberg and Eelco Visser. Combining Aspect-Oriented and Strategic Programming Fernando Rosa-Velardo, Clara Segura and Alberto Verdejo. Typed Mobile Ambients in Maude Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey and Thom Fruehwirth. Automatic Implication Checking for CHR Constraints Registration: -------------------- It is possible to register for the workshop without registering for the main conference. See below for details. Workshop organizers: -------------------- Horatiu Cirstea, LORIA & Universite Nancy II, France Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain ======================================================================= RDP 2005 Federated Conference on Rewriting, Deduction and Programming RTA'05 - TLCA'05 - RULE'05 - UNIF'05 - WRS'05 - IFIP WG1.6 18-23 April 2005, Nara, Japan http://www.kurims.kyoto-u.ac.jp/rdp05/ CALL FOR PARTICIPATION ** Early Registration Deadline: 31 March 2005 ** ======================================================================= We are happy to announce that the registration and hotel reservation procedures for attending RDP 2005 are open now. Please follow the link to the registration page from the RDP'05 top page (http://www.kurims.kyoto-u.ac.jp/rdp05/) to complete your registration. There also are links to web pages providing some travel and local information. Please remember that the number of hotel rooms is limited. Requests will be processed on a first come first served basis and will be subject to availability. RDP'05 will take place at the Nara-Ken New Public Hall which is located in the centre of the beautiful Nara National Park, within 20 minutes walk from the Kintestu Nara Station. EVENTS RTA'05 19-21 April http://www-i2.informatik.rwth-aachen.de/RTA05/ TLCA'05 21-23 April http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ RULE'05 23 April http://rule2005.loria.fr/ UNIF'05 22 April http://rewriting.loria.fr/UNIF-2005/ WRS'05 22 April http://www.pps.jussieu.fr/%7Edicosmo/WRS05/ IFIP WG1.6 18 April http://rewriting.loria.fr/IFIP-WG1.6/ Conference Dinner is scheduled on 21 April. ORGANIZERS Masahito Hasegawa (RDP organizing co-chair, TLCA organizing committee chair) Hitoshi Ohsaki (RDP organizing co-chair, RTA conference chair) CONTACT Enquiries should be sent to the organizers <rdp05(a)m.aist.go.jp>. FURTHER INFORMATION RDP website: http://www.kurims.kyoto-u.ac.jp/rdp05/ =======================================================================

1 0

Monad Unification
by Dominic Steinitz 10 Mar '05

10 Mar '05

Can someone explain why this works? I would have expected an error when the typechecker tries to unify m with (StateT [Encoding] m). Dominic. *Codec.ASN1.BER> :t (tc absInteger (Primitive Universal 2 1 [0])) (tc absInteger (Primitive Universal 2 1 [0])) :: forall m e. (MonadError e m) => m Defaulted *Codec.ASN1.BER> :t (\x -> k [] []) (\x -> k [] []) :: forall m t e. (MonadError e m) => t -> StateT [Encoding] m [Maybe Defaulted] *Codec.ASN1.BER> :t (>>=) (>>=) :: forall m b a. (Monad m) => m a -> (a -> m b) -> m b *Codec.ASN1.BER> :t ((tc absInteger (Primitive Universal 2 1 [0])) >>= (\x -> k [] [])) ((tc absInteger (Primitive Universal 2 1 [0])) >>= (\x -> k [] [])) :: forall m e e1. (MonadError e1 (StateT [Encoding] m), MonadError e m) => StateT [Encoding] m [Maybe Defaulted]

1 0