English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] SBLP 2003 - extended deadline
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-02-08 (10:11)
From: Lucilia Camarao de Figueiredo <lucilia@d...>
Subject: [Caml-list] SBLP 2003 - extended deadline
                        CALL FOR PAPERS

   SBLP 2003 - 7th Brazilian Symposium on Programming Languages

            Ouro Preto, MG, Brazil - May 28-30, 2003 

         ******** Extended deadline: February 24th ****** 

      "Journal of Universal Computer Science" (www.jucs.org) 


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 2003 with the following kinds of

- 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 (extended): *** February 24th, 2003 *** 
- Notification of acceptance: March 28th, 2003 
- Camera-ready version: April 17th, 2003 

Invited Speakers

Nick Benton
Programming Principles and Tools group
Microsoft Research, Cambridge

Simon Thompson
Computing Laboratory
University of Kent

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, Universidade do Minho
Roberto Bigonha, UFMG 
Mariza Bigonha, UFMG 
Paulo Blauth Menezes, UFRGS 
Paulo Borba, UFPE 
Christiano Braga, UFF 
Carlos Camarao, UFMG 
Renato Cerqueira, PUC-Rio
Jose Luiz Fiadeiro, University of Leicester 
Alex Garcia, IME 
Jose Guimaraes, UFSCAR 
Hermann Haeusler, PUC-Rio
Roberto Ierusalimschy, PUC-Rio (chair)
Jose Emilio Labra, Univesidad de Oviedo
Rafael Dueire Lins, UFPE 
Alfio Martini, PUC-RS 
Ricardo Massa, UPE
Dale Miller, INRIA
Hermano Moura, UFPE 
Martin Musicante, UFPR 
David Naumann, Stevens Institute of Technology
Catuscia Palamidessi, INRIA Futurs 
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)
Mariza Bigonha (UFMG)

Symposium Location

Listed by UNESCO as a World Heritage landmark, Ouro Preto ("black gold" in
portuguese) gathers one the largest collections of baroque art in the
world. Its churches, museums and public monuments attract tourists from
all over the world. The city is located 100 km from Belo Horizonte, one of
the largest cities from Brazil, in the state of Minas Gerais.

More Information

For further information, visit the symposium web site at
http://www.inf.pucminas.br/sblp2003 or send e-mail to 
Haskell mailing list
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners