- Haskell - Haskell.org

Bignums in Haskell
by Marco Morazan 20 Jun '05

20 Jun '05

Dear All, I am searching for documents/web pages that describe how bignums (integers of arbitrary size) are implemented in Haskell. In particular, I am interested in how bignums are represented, the algorithms used for bignum arithmetic, base conversion algorithms, and performance studies. Any pointers you can provide will be greatly appreciated. Best wishes, Marco

2 1

FLoC 2006: Call For Workshop Proposals
by Kreutzer + Schweikardt 20 Jun '05

20 Jun '05

FLoC'06: The 2006 Federated Logic Conference Call For Workshop Proposals The fourth Federated Logic Conference (FLoC'06), will be held in Seattle, Wash., in August 2006, at the Seattle Sheraton. The following six conferences will participate in FLoC: - Conference on Computer-Aided Verification (CAV). - International Conference on Logic Programming (ICLP). - International Joint Conference on Automated Deduction (IJCAR). - IEEE Symposium on Logic in Computer Science (LICS). - Conference on Rewriting Techniques and Applications (RTA). - International Conference on Theory and Applications of Satisfiability Testing (SAT). For more information see http://research.microsoft.com/floc06/. The organizers have made arrangements to facilitate the running of pre-, post-, and mid-FLoC workshops. Each workshop will have its own registration. It is not necessary to register for FLoC in order to attend workshops. Meeting rooms and accommodations have been reserved at the Seattle Sheraton. - Pre-FLoC workshops: Thurs. August 10 - Fri. August 11, 2006. - Mid-FLoC workshops: Tues. August 15 - Wed. August 16, 2006. - Post-FLoC workshops: Mon. August 21 - Tues. August 22, 2006. Researchers and practitioners are invited to submit proposals for workshops on topics relating logic, broadly understood, applied to computer science. Each workshop proposal must indicate one sponsoring conference among the participating conferences. (It is suggested that prospective workshop organizers contact the conference program chair before submitting a proposal.) Workshops will have to be financially self-supporting, unless the sponsoring conference accepts financial responsibility. The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the sponsoring conferences and subject to the availability of space and facilities. Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of a workshop. A second, organizational, part should include: - contact information about organizers - proposed format and agenda - procedures for selecting papers and participants - duration (which may vary from one day to three days) and preferred period. - proposed sponsoring conference Additional organizational plans may include names of potential invited speakers, proposed demo sessions and tutorials, plans for proceedings or other publications, etc. Proposals are due by July 31, 2005. Organizers will be notified by August 31, 2005. Proposals should be submitted either electronically, and should be addressed to the Program Chair of the sponsoring conference as well as to Gopal Gupta (Workshop Chair) Department of Computer Science University of Texas at Dallas Richardson, TX 75080 Email: gupta(a)utdallas.edu Phone: +1 972 883 4107 Fax: +1 972 883 2399

1 0

translation of "kind"
by Wolfgang Jeltsch 20 Jun '05

20 Jun '05

Hello, can anybody tell me what the German translation of the word "kind" as used in type theory and especially in Haskell is? Best wishes, Wolfgang

7 11

ANNOUNCE HSQL-1.6 release
by Krasimir Angelov 18 Jun '05

18 Jun '05

I am pleased to announce the HSQL library version 1.6. The HSQL is a simple library, which provides interface to multiple databases. MySQL, PostgreSQL, ODBC, SQLite and MSI (new) are currently supported. What is new? ~~~~~~~~~~ 1. HSQL is fully Cabalized. 2. Windows users don't need to have cygwin in order to build HSQL. The old build system was using ./configure script which is replaced with hooks in ./Setup.lhs script. 3. HSQL is split into multiple Cabal packages. There is one common package 'hsql' and multiple database specific packages: hsql-odbc, hsql-postgresql, hsql-mysql, hsql-sqlite, hsql-sqlite3, hsql-msi 4. There are two new database frontends: SQLite3 and MSI. The SQLite3 frontend is for SQLite version 3.0 and above. The old SQLite frontend still exists. MSI is fontend to Microsoft Installer database. Each .msi package is a relational database which you can query and modify using HSQL. Home page ~~~~~~~~ http://htoolkit.sourceforge.net

1 0

CPSec 2005: Extended Submission Deadline
by Stefano Bistarelli 16 Jun '05

16 Jun '05

=================================================================================== 1st International Workshop on Applications of Constraint Satisfaction and Programming to Computer Security (CPSec) October 1st, 2005 Barcelona, Spain Held in conjunction with 11th International Conference on Principles and Practice of Constraint Programming, CP2005 http://www.sci.unich.it/~bista/organizing/cpsec/ ==================================================================================== Call for Paper Extended Deadline: Abstract Submission deadline: June 26th Paper Submission deadline: July 1st ==================================================================================== Constraint Satisfaction and Programming is emerging as an effective practical approach for solving large complex problems. It offers a significant body of successful techniques for verifying system properties. Recently, researchers have begun using advances in constraint programming and solving to solve security problems, with success. This workshop seeks to act as a catalyst for this emerging area by exploring the challenges and the potential that these techniques may offer when applied to security problems. The use of Constraint Satisfaction and Programming to address security problems is recent, and it has already produced a number of novel solutions and insights. For example, constraints have been successfully used in the the analysis of security protocols, the development of access control models and mechanisms, firewall configuration and secure system configuration in general. Workshop topics include (but are not limited to): * security models * information flow * trust management * database security * data and system integrity * security protocols * security configuration * access control * secure applications * security trade-offs Submissions The workshop aim is to provide a forum where researchers currently working in the area of security and constraints can discuss their most recent ideas and developments and think together about the most promising new directions. Therefore we encourage the presentation of work in progress or on specialized aspects of the area. Papers that bridge the gap between theory and practice are especially welcome. Prospective attendees can submit a paper, which can be up to 15 pages in length. We encourage authors to submit papers electronically in postscript or pdf format. Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style. Please send your submissions by email to stefano.bistarelli(a)iit.cnr.it using the subject line "cpsec-2005 Workshop Submission". At least one author of each accepted submission must attend the workshop, and all participants must pay the workshop fee (which covers both CP'05 and ICLP'05 workshops). Important Dates The proposed schedule of important dates for the workshop is as follows: Abstract Submission deadline: June 26th Paper Submission deadline: July 1st Notification of acceptance: July 24th Early registration deadline: August 1st Camera-ready version deadline: August 16th Workshop Date: October 1st Workshop Organizers: Giampaolo Bella Dipartimento di Matematica e Informatica Universit`a di Catania, Italy Email: giamp(a)dmi.unict.it Web: http://www.dmi.unict.it/~giamp/ and Stefano Bistarelli (Primary Contact) Dipartimento di Scienze Università degli studi "G. D'Annunzio" di Chieti-Pescara, Italy Email: bista(a)sci.unich.it Web: http://www.sci.unich.it/~bista/ and Istituto di Informatica e Telematica C.N.R. Pisa, Italy Email: stefano.bistarelli(a)iit.cnr.it and Simon N. Foley Department of Computer Science University College Cork, Ireland Email: s.foley(a)cs.ucc.ie Web: http://www.cs.ucc.ie/~simon/ and Barry O'Sullivan Cork Constraint Computation Centre University College Cork, Ireland and Department of Computer Science University College Cork, Ireland Email: b.osullivan(a)cs.ucc.ie Web: http://www.cs.ucc.ie/~osullb/ Program Committee: Giampaolo Bella -- Dipartimento di Matematica e Informatica, Universita' di Catania, Italy Stefano Bistarelli -- Universita' degli Studi "G. D'annunzio", Pescara, Italy and IIT-CNR, Pisa, Italy Yannick Chevalier -- Institut de Recherche en Informatique de Toulouse (IRIT), France Giorgio Delzanno -- Dipartimento Informatica e Scienze dell'Informazione, Università di Genova, Italy Alessandra Di Pierro -- Dipartimento di Informatica, University of Pisa, Italy Fabio Fioravanti -- Universita' degli Studi "G. D'annunzio", Pescara, Italy Simon Foley -- Department of Computer Science University College Cork, Ireland John Herbert -- Department of Computer Science University College Cork, Ireland Fabio Martinelli -- Istituto di Informatica e Telematica, CNR, Pisa, Italy Barry O'Sullivan -- Cork Constraint Computation Centre, University College Cork, Ireland Michael Rusinowitch -- INRIA Lorraine, Villers les Nancy, Cedex, France Justin Pearson -- Department of information technology, Uppsala University, Sweden Vitaly Shmatikov -- Department of Computer Sciences, The University of Texas at Austin, USA Fred Spiessens -- Université catholique de Louvain, Louvain-la-Neuve, Belgium Garret Swart -- IBM Almaden Research Center, California, USA Peter Van Roy -- Université catholique de Louvain, Louvain-la-Neuve, Belgium Luca Vigano -- ETH, Zurich, Switzerland Duminda Wijesekera -- ISE, George Mason University, USA

1 0

CFP --- LPAR 2005 WS: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)
by Christoph Benzmueller 15 Jun '05

15 Jun '05

The LPAR 2005 Workshop on ------------------------------------------------------------------------ Empirically Successful Automated Reasoning in Higher-Order Logics (ESHOL) will be held at Wexford Hotel, Montego Bay, Jamaica December 2nd 2005 (http://www.ags.uni-sb.de/~chris/ESHOL-05/ ) ------------------------------------------------------------------------ This workshop brings together practioners and researchers who are involved in the everyday aspects of logical systems based on higher-order logic. We hope to create a friendly and highly interactive setting for discussions around the following four topics. Implementation and development of proof assistants based on any notion of impredicativity, automated theorem proving tools for higher-order logic reasoning systems, logical framework technology for the representation of proofs in higher-order logic, formal digital libraries for storing, maintaining and querying databases of proofs. We solicit paper submissions within or related to the following two areas. Systems * Tactic-based proof assistants. Heuristics. * Automated theorem proving. Proof search. Resolution. Equational theories. * Implementation. Higher-order unification. Term-indexing. * Logical frameworks. Meta-languages for logical formulas and proofs. * Formal digital libraries of mathematical proof. Database technology. Query languages. * Integration of Reasoning Systems. Applications * Comparative analysis of higher-order reasoning techniques. * Experience reports. Integration and cooperations with their logics, contraint solvers, model generators, and model checkers. * Special purpose reasoning techniques for practical applications. * User interfaces. * Practical results of proof representation and compression. * Logic morphisms. * Digital libraries. Benchmark problems. Challenge problems. We envision attendees that are interested in fostering the development and visibility of reasoning systems for higher-order logics. We are particularly interested in a discusssion on the development of a higher-order version of the TPTP and in comparisons of the practical strengths of automated higher-order reasoning systems. Additionally, the workshop will include *system and application demonstrations*. Demonstrations of systems and applications described in paper presentations, and demonstrations of systems and applications without an accompanying paper, are both encouraged. ESHOL is the successor of the ESCAR and ESFOR workshops held at CADE 2005 and IJCAR 2004. ------------------------------------------------------------------------ *Organization* Structure of the Workshop The workshop will be a 1 day workshop organized as follows: * Presentation sessions, system demonstrations * Invited talk * Panel Discussion (or similarly organized event): How can we built-up a higher-order TPTP to foster the improvement of automated higher-order reasoning systems and their comparison with first-order theorem provers? Programme Committee Peter Andrews Carnegie Mellon University, USA Michael Beeson San Jose State University, USA Chad Brown Saarland University, Germany Gilles Dowek École Polytechnique, France Christoph Kreitz Potsdam University, Germany Larry Paulson Cambridge University, UK Frank Pfenning Carnegie Mellon University, USA Geoff Sutcliffe University of Miami, USA Freek Wiedijk Nijmegen University, Netherlands Organizers and PC Chairs Christoph Benzmüller Saarland University, Germany John Harrison Intel Corporation, USA Carsten Schürmann Yale University, USA If you have any questions about the workshop, please email the organizers <mailto:eshol05@ags.uni-sb.de>. ------------------------------------------------------------------------ *Submission* Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be reviewed, and a balanced program of high-quality contributions will be selected. Submissions can be in PDF or Postscript, and must conform to the format produced by LaTeX with this template. There is a 20 page limit. Long listings of problems or computer output should be relegated to a referenced WWW site. Proposals for system and application demonstrations must include: * System name, developers names and contact details. * A system description, or associated paper submission. * Screen shots or information for online access. * Details of hardware and software that will have to be provided by the organizers if the demonstration is approved. Those who submit proposals are encouraged to provide evidence that the system or application is empirically successful. Submission is via EasyChair (thanks to Andrei Voronkov). Important Dates * Submission deadline - September 15th * Notification of acceptance - October 15th * Camera ready versions due - November 1st * Workshop - December 2nd ------------------------------------------------------------------------ *Journal Publication* The Journal of Applied Logic has agreed to a special issue on empirically successful higher-order automated reasoning. Authors of ESHOL papers will be able to submit extended versions of their workshop papers for this special issue. All papers submitted for the special issue will be reviewed according to the journal's standards. ------------------------------------------------------------------------

1 0

Call for contributions: Industrial Session at the Applied Semantics (APPSEM) Workshop
by John Hughes 15 Jun '05

15 Jun '05

APPSEM05: CALL FOR INDUSTRIAL SUBMISSIONS At the forthcoming APPSEM workshop (on the beautiful island of Frauenchiemsee <http://de.wikipedia.org/wiki/Frauenchiemsee>, in September), we are keen to hear about industrial work which takes a principled approach to programming languages. This could mean development of a novel language, a novel compiler, program analysis tools, or indeed, just a semantic model for a new kind of application. However, we don't want to be restrictive: we welcome talks on any kind of industrial work which is informed by the science of programming languages. The theme of the workshop as a whole is Applied Semantics; we are planning a special session of industrial contributions. We appreciate that people working in industry do not always have the time to write full papers, so there is a mechanism for "short submissions" that only require an abstract of a maximum two pages to be submitted. Abstracts should be submitted to the APPSEM05 submission page <http://lionel.tcs.ifi.lmu.de/appsem05-submit/> by July 8th. Please label submissions "Industrial Application". We also plan a discussion session on industrial problems that can be addressed by semantic methods, which we hope our industrial participants will contribute to actively. More information is available from the workshop home page: http://lionel.tcs.ifi.lmu.de/APPSEM05/ If you are engaged in this kind of work in industry, please send us an abstract! We look forward to a fruitful session at the workshop itself. John Hughes and Peter Dybjer (session organisers)

1 0

ICLP 2005: Call for Posters
by ICLP 2005 15 Jun '05

15 Jun '05

Final Call for poster submissions 21st. INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'05) Oct 2-5, 2005 Sitges (Barcelona), Spain http://www.iiia.csic.es/iclp2005/ * Conference scope. Poster contributions are sought in all areas of logic programming including: Theory (semantic foundations, formalisms, non-monotonic reasoning, knowledge representation, inductive logic programming) Language issues (constraints, concurrency, objects, coordination, higher order, types, modes, programming techniques) Implementation (compilation, memory management, virtual machines, parallelism) Environments (program analysis, program transformation, validation and verification, debugging) Applications (deductive databases, software engineering, natural language, web tools, internet agents, artificial intelligence, molecular biology) * The ICLP Posters provide an excellent forum for authors to present their work in an informal and interactive setting. Posters are ideal for presenting speculative, late-breaking results or for giving an introduction to interesting, innovative work. Posters provide authors with a unique opportunity to make their work highly visible during the conference and get feedback from the community on the ongoing work. Poster submissions focusing on the following are specifically encouraged: Tools, applications, current work not yet ready for publication, PhD thesis summaries (submitted recently or to be submitted in the next 6 months), research project overviews. Posters must be submitted electronically through the conference paper submission web pages. A poster should contain an extended abstract of up to two pages. Each accepted poster will have up to 2 pages in the conference proceedings, and a 10 minute slot for presentation during the conference. Posters will also be displayed during the poster session. * Submission deadline (firm): June 20, 2005 Notification: July 05, 2005

1 0

PADL 2006 -- CALL FOR PAPERS
by Logic Programming Rsrch Association 14 Jun '05

14 Jun '05

[apologies if you receive multiple copies of this message] CALL FOR PAPERS!!! Eighth International Symposium on Practical Aspects of Declarative Languages 2006 (PADL '06) http://www.cs.brown.edu/people/pvh/PADL06 Charleston Place Hotel Charleston, South Carolina January 9-10 Co-located with ACM POPL'06 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include: * innovative applications of declarative languages; * declarative domain-specific languages and applications; * practical applications of theoretical results; * new language developments & their impact on applications; * evaluation of implementation techniques on practical applications; * novel uses of declarative languages in the classroom; and * practical experiences PADL 06 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past five PADL symposia. PADL 06 will be co-located with the ACM POPL. IMPORTANT DATES AND SUBMISSION GUIDELINES Paper Submission: August 20, 2005 Notification: September 30, 2005 Final Manuscript: October 20, 2005 Symposium: January 9-10, 2005 Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF. Papers must be no longer than 15 pages, written in 11-point font and with single spacing. Since the final proceedings will be published as Lecture Notes in Computer Science by Springer Verlag, authors are strongly encouraged to use the LNCS paper formatting guidelines for their submission. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email and postal addresses, telephone and fax numbers, abstract, and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. If electronic submission is impossible, please contact the program chair for information on how to submit hard copies. MOST PRACTICAL PAPER AWARD The Most Practical Paper award will be given to the submission that is judged by the programm committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award; or may make multiple awards. PROGRAM COMMITTEE: TBA Contacts: For information about papers and submissions, please contact the Program Chair: Pascal van Hentenryck PC Chair - PADL 2006 Department of Computer Science Brown University Providence, RI, U.S.A. Email: pvh(a)cs.brown.edu For other information about the conference and the summer school, please contact: Gopal Gupta Department of Computer Science University at Texas at Dallas Dallas, TX, U.S.A. Email: gupta(a)utdallas.edu Sponsored by COMPULOG Americas (http://www.cs.nmsu.edu/~complog) and in cooperation with ACM SIGPLAN.

1 0

A reference manual for the Haskell monad functions
by Henk-Jan van Tuyl 13 Jun '05

13 Jun '05

L.S., I have written a reference manual for the most common Haskell monad functions, in the style of "A Tour of the Haskell Prelude". It can be found at: http://members.chello.nl/hjgtuyl/tourdemonad.html Known bug: Not all keywords in the "See also" sections, that could be links, are links. -- Met vriendelijke groet, Henk-Jan van Tuyl -- Using Opera's revolutionary e-mail client: https://secure.bmtmicro.com/opera/buy-opera.html?AID=789433

4 3