October 2002 - Haskell

SBLP 2003 - call for papers
by Lucilia Camarao de Figueiredo 04 Oct '02

04 Oct '02

--------------------------------------------------------------------- CALL FOR PAPERS SBLP 2003 - 7th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Ouro Preto, MG, Brazil - May 28-30, 2003 http://www.inf.pucminas.br/sblp2003 Sponsored by: Brazilian Computing Society --------------------------------------------------------------------- SCOPE The annual Brazilian Symposium on Programming Languages (SBLP), sponsored by the Brazilian Computer Society (SBC), aims to provide a forum where researchers, educators, and practitioners can present and discuss the fundamental principles and important innovations in the design, analysis and implementation of programming languages and systems. We invite authors to contribute to SBLP 2003 with the following kinds of submissions: - Technical research papers introducing original research results on topics such as (but not limited to): * Programming language design and implementation * Formal semantics of programming languages * Domain-specific programming languages * Visual programming languages * Programming languages for mobile, WWW, and network computing * Script languages * New programming models * Theoretical foundations of programming languages * Teaching programming languages - Tutorial proposals on subjects related to programming languages, APIs, tools, environments or theories, at graduate level. There will be also invited lectures and working meetings to group together professionals interested on specific research topics. IMPORTANT DATES - Deadline for submissions: February 14th, 2003 - Notification of acceptance: March 28th, 2003 - Camera-ready version: April 17th, 2003 SUBMISSION GUIDELINES Contributions can be written in Portuguese, English or Spanish. Papers should have at most 14 pages. All papers will be published in the conference proceedings. Tutorial submissions may be in the form of a proposal. The final version of a selected tutorial should contain at most 30 pages and will be published in separate proceedings. Please check the symposium web site for more information about submissions guidelines and procedures. PROGRAM COMMITTEE Luis Barbosa, Univesidade do Minho Roberto Bigonha, UFMG Mariza Bigonha, UFMG Paulo Blauth Menezes, UFRGS Paulo Borba, UFPE Christiano Braga, UFF Carlos Camarão, UFMG José Luiz Fiadeiro, ATX Software Alex Garcia, IME José Guimarães, UFSCAR Hermann Haeusler, PUC-Rio Roberto Ierusalimschy, PUC-Rio (chair) Jose Emilio Labra, Univesidad de Oviedo Rafael Dueire Lins, UFPE Alfio Martini, PUC-RS Dale Miller, INRIA Hermano Moura, UFPE Martin Musicante, UFPR David Naumann, Stevens Institute of Technology Catuscia Palamidessi, Pennsylvania State University Uday Reddy, University of Birmingham Noemi Rodriguez, PUC-Rio Cecilia Rubira, Unicamp Andre Santos, UFPE Marco Tulio Valente, PUC-MG ORGANIZING COMMITTEE Lucilia Figueiredo (UFOP) - Chair Marco Tulio Valente (PUC Minas) - Co-chair Mariza Bigonha (UFMG) MORE INFORMATION For further information, visit the symposium web site at http://www.inf.pucminas.br/sblp2003 or send e-mail to sblp2003(a)pucminas.br.

1 0

Mondrian.Net www.mondrian-script.org
by isaac gouy 03 Oct '02

03 Oct '02

Does anyone know what happened to www.mondrian-script.org? cheers Isaac __________________________________________________ Do you Yahoo!? New DSL Internet Access from SBC & Yahoo! http://sbc.yahoo.com

1 0

cfp: constraint solving and programming (FLAIR2003)
by Stefano Bistarelli 03 Oct '02

03 Oct '02

apologies for multiple copies ------------------------ C A L L F O R P A P E R S Special Track at The 16th International FLAIRS Conference (FLAIRS-03) on CONSTRAINT SOLVING AND PROGRAMMING Held in co-operation The American Association for Artificial Intelligence http://www.cs.ucc.ie/~osullb/flairs2003/ ____________________________________________________________________________ _ Aims and Scope -------------- Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This special track is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models, and systems. We also solicit papers from any domain employing constraints, including computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, and user interfaces. Papers that bridge disciplines or combine theory and practice or discuss novel reasoning methods are especially welcome. Special attention is focused around the use of constraint technologies in the networking, wireless and internet fields. Submissions ----------- We invite authors to submit papers on research on constraint solving and programming, with particular emphasis on assessing the current state of the art and identifying future directions. All submissions must be original work. Complete manuscripts must be no more than 10 double-spaced pages (3400 words) in length in postscript or pdf format. Please submit papers directly to FLAIRS (http://www.flairs.com/flairs2003/) Detailed submission guidelines are available from the FLAIRS-2003 web-site (http://www.cs.uwp.edu/flairssubsys/index.php3) Papers, of sufficiently high quality, will be selected to appear in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT). Important Dates --------------- Deadline paper submissions October 25, 2002 Notification of acceptance January 7, 2002 Camera-ready deadline February 17, 2003 Organising Committee -------------------- Barry O'Sullivan (Primary Contact) Cork Constraint Computation Centre Department of Computer Science University College Cork, Ireland Email: b.osullivan(a)cs.ucc.ie Web: http://www.cs.ucc.ie/~osullb/ Stefano Bistarelli C.N.R. Istituto di Informatica e Telematica, Pisa and Universita "G. D'Annunzio" Dipartimento di Scienze, Pescara Em ail: Stefano.Bistarelli(a)iit.cnr.it Tel: +39-050-315.3438 Fax: +39-050-315.2593 Web: http://www.sci.unich.it/~bista Program Committee ----------------- Christian Bessiere, LIRMM, France Philippe Codognet, University of Paris and INRIA, France Boi Faltings, EPFL, Switzerland Helene Fargier, Laboratoire IRIT, Universite Paul Sabatier, France Thom Fruehwirth, University of Ulm, Germany Carmen Gervet, IC Parc, Imperial College, UK Javier Larrosa, UPC, Spain Francesca Rossi, University of Padov, Italy Marius-Calin Silaghi, Florida Institute of Technology Mark Wallace, IC Parc, Imperial College, UK Toby Walsh, University College Cork, Ireland

1 0

ANNOUNCE: A Haskell XML Toolbox (yet another one)
by Uwe Schmidt 01 Oct '02

01 Oct '02

A Haskell XML Toolbox ================= I would like to announce a first release of a Haskell Toolbox for processing XML including a validating parser. Features: * well-formed checker * validating parser * support of Unicode * support of file: and http: protocol * supports (rather complete) XML1.0 More information and download: http://www.fh-wedel.de/~si/HXmlToolbox/index.html Please email comments, bugs, etc. to hxmltoolbox(a)fh-wedel.de -- Uwe Schmidt <uwe(a)fh-wedel.de>

1 0

FOOL'03: Deadline extension
by ghelli 01 Oct '02

01 Oct '02

Due to many requests, and to serious network connection problems of the di.unipi.it site, the deadline for submission to FOOL 10 (The Tenth International Workshop on Foundations of Object-Oriented Languages) is moved to Friday the 4th. New Deadlines: Submissions: October 4, 2002 Notifications: November 15, 2002 Final versions: December 12, 2002 Conference: January 18, 2003, following POPL Submission: an extended abstract which should not exceed 5000 words (approximately 10 pages) More details in: http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html http://tql.di.unipi.it/fool10/fool10.htm mailto:fool10@di.unipi.it ------------------------------------------------------------------------ ---- Prof. Giorgio Ghelli, PhD Universita' di Pisa, Dipartimento di Informatica, Corso Italia 40, I-56125, Pisa, ITALY mailto:ghelli@di.unipi.it http://www.di.unipi.it/~ghelli Phone: +39 050 2212 758 Mobile: +39 347 3563753 Fax: +39 050 2212 726 ------------------------------------------------------------------------ ----

1 0

SQL queries in Haskell
by João Marcos 01 Oct '02

01 Oct '02

We're currently developing a project in my gradutaion course (Computer Science), about databases in Haskell. We didn't manage to write the correct Haskell code for the "Insert" and "Delete" operations. If you could help us with this, we would be very grateful. Best regards, Joao Marcos jmfa(a)terra.com.br joao(a)dcc.uesb.br

2 1