From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 30CA9BC88 for ; Thu, 10 Feb 2005 15:00:03 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j1AE025s029440 for ; Thu, 10 Feb 2005 15:00:02 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA20099 for ; Thu, 10 Feb 2005 15:00:02 +0100 (MET) Received: from min.univ-orleans.fr (ftx.univ-orleans.fr [194.167.30.129]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1AE01Js016326 for ; Thu, 10 Feb 2005 15:00:02 +0100 Received: from neuf.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id 40BB412AE7D for ; Thu, 10 Feb 2005 15:00:01 +0100 (CET) Message-ID: <420B68DC.6080707@neuf.fr> Date: Thu, 10 Feb 2005 14:59:56 +0100 From: =?ISO-8859-1?Q?Ga=E9tan_Hains?= Reply-To: gaetan@hains.org Organization: LIFO User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.5) Gecko/20031007 X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: SBLP 2005 - 9th Brazilian Symposium on Programming Languages Content-Type: multipart/mixed; boundary="------------060904090902010502070703" X-Miltered: at concorde with ID 420B68E2.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 420B68E1.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; gaetan:01 hains:01 hains:01 gaetan:01 semantics:01 apis:01 johan:01 luc:01 benton:01 thiemann:01 freiburg:01 adriano:01 politecnica:01 25,:98 uruguay:98 X-Attachments: name="CBLP2005(CFP).txt" name="CBLP2005(CFP).txt" X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: This is a multi-part message in MIME format. --------------060904090902010502070703 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit --------------060904090902010502070703 Content-Type: text/plain; name="CBLP2005(CFP).txt" Content-Transfer-Encoding: 8bit Content-Disposition: inline; filename="CBLP2005(CFP).txt" CALL FOR PAPERS SBLP 2005 - 9th Brazilian Symposium on Programming Languages Departamento de Sistemas Computacionais Universidade de Pernambuco Recife, PE, Brazil - May 23-25, 2005 http://www.upe.poli.br/dsc/sblp2005 Selected papers from the proceedings will appear in a Special Issue of the Journal of Universal Computer Science - JUCS. Only accepted contributions written in English are eligible to be published in the JUCS. (www.jucs.org ) Scope The Brazilian Symposium on Programming Languages (SBLP), sponsored by the Brazilian Computer Society (SBC), is a forum where researchers, educators, and practitioners can present and discuss the fundamental principles and innovations in the design, analysis and implementation of programming languages and systems. We invite authors to contribute to SBLP 2005 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, programming languages for mobile, WWW, and network computing, script languages, new programming models, theoretical foundations of programming languages and teaching programming languages. * Tutorial proposals on subjects related to programming languages, APIs, tools, environments or theories, at graduate level. Important Dates * Deadline for submissions: February 28th, 2005 * Notification of acceptance: March 31th, 2005 * Camera-ready version: April 11th, 2005 Submission Guidelines Contributions can be written in Portuguese or English. Papers should have at most 14 pages. All accepted 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. Talks must be in the language of submission. Please check the symposium web site (http://www.upe.poli.br/dsc/sblp2005) for more information about submissions guidelines and procedures. Program Committee * Adriana Compagnoni, Stevens Institute of Technology (USA) * Alberto Pardo, Univ. de La Republica (Uruguay) * Alex Garcia, IME (Brazil) * Alfio Martini (PUC-RS) * Andre Santos, UFPE (Brazil) * Barrett Bryant, Univ. of Alabama (USA) * Carlos Camarao, UFMG (Brazil) * Cecilia Rubira, Unicamp (Brazil) * Christiano Braga, UFF (Brazil) * David Naumann, Stevens Tech (USA) * Edil Fernandes, UFRJ (Brazil) * Edward Hermann Haeusler, PUC-Rio (Brazil) * Francisco Heron de Carvalho Jr., UPE (Brazil) * Gabriel Baum, Univ. Nacional de La Plata (Argentina) * Guy Cousineau, Univ. Paris 7 (France) * Hermano Moura, UFPE (Brazil) * Isabel Cafezeiro, UFF (Brazil) * Johan Jeuring, Utrecht Univ. (Netherlands) * John Hughes, Chalmers Univ. of Technology (Sweden) * Jose Guimaraes, UFSCAR (Brazil) * Jose Labra, Univ. of Oviedo (Spain) * Jose Luiz Fiadeiro, Univ. of Leicester (England) * Lucília Figueiredo, UFOP (Brazil) * Luiz Carlos Menezes, UFPE, (Brasil) * Luis Soares Barbosa, Universidade do Minho (Portugal) * Marco Tulio Valente, PUC-MG (Brazil) * Mariza Bigonha, UFMG (Brazil) * Martin Musicante, UFPR (Brazil) - *Chair* * Nick Benton, Microsoft Research (England) * Noemi Rodriguez, PUC-Rio (Brazil) * Paulo Blauth Menezes, UFRGS (Brazil) * Paulo Borba, UFPE (Brazil) * Peter Mosses, University of Wales Swansea (UK) * Peter Thiemann, Univ. Freiburg (Germany) * Rafael Dueire Lins, UFPE (Brazil) * Renato Cerqueira, PUC-Rio (Brazil) * Ricardo Massa Lima, UPE (Brazil) * Roberto Bigonha, UFMG (Brazil) * Roberto Ierusalimschy, PUC-Rio (Brazil) * Sergiu Dascalu, Univ. of Nevada, Reno (USA) * Simon Thompson, Univ. of Kent (England) * Uday Reddy, Univ. of Birmingham (England) Organizing Committee * Adriano Lorena Inácio de Oliveira, UPE * André Luís de Medeiros Santos, UFPE * Carlos Alexandre Mello, UPE * Francisco Heron de Carvalho Jr., UPE * Fernando Buarque de Lima Neto, UPE * Márcio Lopes Cornélio, UPE * Maria Lencastre, UPE * Ricardo Massa, UPE - *Chair* (ricardo@upe.poli.br) Symposium Location "Recife is one of the biggest cities in brazilian's northeast and it is one of the most important cities of Brazil. It is very important for the country history and it has many touristic attractions. The commercial center of Recife has a preserved architecture of the last century contrasting with modern buildings. All of this makes Recife one of the most attractive cities of Brazil" More Information For further information, visit the symposium web site at http://www.upe.poli.br/dsc/sblp2005/ or send e-mail to ricardo@upe.poli.br. -- Sérgio Soares scbs@upe.poli.br Professor Assistente Departamento de Sistemas Computacionais Escola Politécnica, Universidade de Pernambuco http://www.upe.poli.br/dsc/ Software Productivity Group http://www.cin.ufpe.br/spg --------------060904090902010502070703--