SBLP 2007 - XI Brazilian Symposium on Programming Languages (SBLP 2007)

Venue: Natal

Location: Natal, Brazil

Event Date/Time: May 23, 2007 End Date/Time: May 25, 2007
Registration Date: May 23, 2007
Early Registration Date: Apr 02, 2007
Abstract Submission Date: Jan 12, 2007
Paper Submission Date: Jan 19, 2007
Report as Spam

Description

xmlns:w="urn:schemas-microsoft-com:office:word"
xmlns:st1="urn:schemas-microsoft-com:office:smarttags"
xmlns="http://www.w3.org/TR/REC-html40">







SBLP 2007
name="PlaceName"/>
name="PlaceType"/>
name="PersonName"/>
name="place"/>
name="City"/>
name="country-region"/>









Esta página
em Português



 



style='font-size:16.0pt;font-family:Tahoma'>SBLP 2007



style='font-size:16.0pt;font-family:Tahoma;mso-ansi-language:EN-US'>

XI BRAZILIAN SYMPOSIUM ON PROGRAMMING
LANGUAGES



class=HTMLMarkup></big> style='font-size:10.0pt;mso-ansi-language:EN-US'>



style='font-size:11.0pt;font-family:Tahoma'>May style='font-size:11.0pt;font-family:Tahoma'> 23-25, 2007



style='font-size:11.0pt;font-family:Tahoma'>Natal - Rio Grande do Norte, class=SpellE>Brazil



 



The 11th Brazilian Symposium on
Programming Languages, SBLP 2007, will be held in Natal,
Rio Grande do w:st="on">Norte, Brazil,
on May 23-25, 2007. The SBLP is an event sponsored by the Brazilian Computer
Society (SBC) with the purpose of providing a forum where researchers,
educators, and practitioners can present and discuss the fundamental principles
and innovations in the design,



definition lang=EN-US style='font-size:11.0pt;font-family:Arial;color:#333399;mso-ansi-language:
EN-US'>, analysis, transformation and implementation of programming languages and
systems.



 



The SBLP 2007 Program Committee invites
authors to contribute with the following kinds of submissions:



· style='font:7.0pt "Times New Roman"'>        
Tutorial proposals on
subjects related to programming languages, tools, environments or theories, at
graduate level.



· style='font:7.0pt "Times New Roman"'>        
Technical papers
introducing original research results on the following topics (but are not
limited to):



o style='font:7.0pt "Times New Roman"'>       
Formal semantics of
programming languages



o style='font:7.0pt "Times New Roman"'>       
Theoretical
foundations of programming languages



o style='font:7.0pt "Times New Roman"'>       
Programming language
design and implementation



o style='font:7.0pt "Times New Roman"'>       
Design and
implementations of tools and programming language environment.



o style='font:7.0pt "Times New Roman"'>       
Visual programming
languages



o style='font:7.0pt "Times New Roman"'>       
Programming languages
for mobile, WWW and network computing



o style='font:7.0pt "Times New Roman"'>       
Programming languages
for target-machine description



o style='font:7.0pt "Times New Roman"'>       
Programming languages
for formal specification



o style='font:7.0pt "Times New Roman"'>       
Object Oriented
Programming Languages



o style='font:7.0pt "Times New Roman"'>       
Aspect Oriented
Programming Languages



o style='font:7.0pt "Times New Roman"'>       
Scripting languages



o style='font:7.0pt "Times New Roman"'>       
New programming models



o style='font:7.0pt "Times New Roman"'>       
Program
transformations



o style='font:7.0pt "Times New Roman"'>       
Compilation and
interpretation techniques, including representations and analysis of programs,
code generation and optimizations



 



Contributions can be written in
Portuguese or English. Papers should have at most 14 pages, including
bibliography. All accepted papers will be published in the conference
proceedings. Selected papers from the proceedings may appear in a Special Issue
of the Journal of Universal Computer Science (JUCS) - Springer- class=SpellE>Verlag
. Only accepted contributions written in English are
eligible to be published in the JUCS. Tutorial submissions may be in the form
of a proposal. The final version of a selected tutorial should contain at most
30 pages. Papers should be presented in the language of submission.



 



All proposals must follow the SBC
formatting guidelines. The following are links to templates/style files for href="http://www.sbc.org.br/index.php?language=1&content=downloads&id=222"> class=SpellE>LaTeX
, href="http://www.sbc.org.br/index.php?language=1&content=downloads&id=168">MS
Word and href="http://www.sbc.org.br/index.php?language=1&content=downloads&id=170"> class=SpellE>OpenOffice.



 



Additional instructions about paper
submissions guidelines will be soon available at the Symposium web site:
style='font-size:11.0pt;font-family:Arial;color:#333399'> href="http://www.dimap.ufrn.br/sblp2007">http://www.dimap.ufrn.br/sblp2007 lang=EN-US style='font-size:11.0pt;font-family:Arial;color:#333399;mso-ansi-language:
EN-US'>



 



 



style='font-size:11.0pt;font-family:Arial;color:#333399;mso-ansi-language:EN-US'>IMPORTANT
DEADLINES:



Paper Abstract Submission (15 lines):
January 12, 2007



Full Papers Submission: January 19, 2007



Notification of Acceptance: March 22,
2007



Final Papers Due: April 2, 2007



 



style='width:684.0pt;border-collapse:collapse;mso-yfti-tbllook:480;mso-padding-alt:
0cm 5.4pt 0cm 5.4pt'>

































style='font-size:11.0pt;font-family:Tahoma;color:navy'>General class=SpellE>Chair:



style='font-size:11.0pt;font-family:Tahoma;color:navy'>Program style='font-size:11.0pt;font-family:Tahoma;color:navy'> Committee
Chair:
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-ansi-language:EN-US;
font-weight:normal;mso-bidi-font-weight:bold'>Prof. Martin class=SpellE>Musicante
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-ansi-language:EN-US;
mso-fareast-language:EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Prof. Roberto S. Bigonha
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



class=GramE>DIMAp style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'> - Departamento de Informática e Matemática
Aplicada

Centro de Ciências Exatas e da Terra
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Departamento de Ciência da Computação
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>


style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Instituto de Ciências Exatas
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Universidade Federal do Rio Grande do Norte
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Universidade Federal de Minas Gerais
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Campus Universitário Lagoa Nova
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Av.
style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'> Antônio Carlos, 6627, sala 4010
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>59072-970 Natal - RN
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>Pampulha, Belo Horizonte, CEP 31270- class=GramE>010



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>BRASIL
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>BRASIL
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>E-MAIL
style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>: sblp2007@dimap.ufrn.br
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>



style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>E-MAIL
style='font-size:11.0pt;font-family:Tahoma;color:navy;font-weight:normal;
mso-bidi-font-weight:bold'>: bigonha@dcc.ufmg.br
style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-fareast-language:
EN-US;font-weight:normal;mso-bidi-font-weight:bold'>




 



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'> 



style='font-size:11.0pt;font-family:Tahoma;color:navy'>Program style='font-size:11.0pt;font-family:Tahoma;color:navy'> Committee



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Alberto Pardo, Univ. de class=SpellE>La Republica, Uruguai



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Alex Garcia, IME, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Alfio
Martini, PUC-RS, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Álvaro Freitas Moreira, UFRGS, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>André Santos, UFPE, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Carlos Camar˜ao, UFMG, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Cecılia
Rubira,
UNICAMP, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Christiano Braga, UFF, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>David Naumann, Stevens
Tech, EUA



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Edward Hermann Haeusler,
PUC-Rio, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Francisco Heron de Carvalho Junior, UFC, class=GramE>Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Isabel Cafezeiro, UFF, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Jens
Palsberg,
UCLA, EUA



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Johan Jeuring, Utrecht
Univ., Alemanha



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>João Saraiva, Univ. do Minho, class=GramE>Portugal



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Jose Guimar˜aes, UFSCAR, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Jose E. Labra Gayo,
Univ. of Oviedo, class=GramE>Espanha



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Jose Luiz Fiadeiro, Univ. of
Leicester, Reino Unido



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Lucılia
Figueiredo, UFOP, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Luis Soares Barbosa, Univ. do Minho, class=GramE>Portugal



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Marcelo A. Maia, UFU, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Marco Tulio O. Valente, PUC-MG, class=GramE>Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Mariza
A. S. Bigonha,
UFMG, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-ansi-language:EN-US;
mso-bidi-font-weight:bold'>Martin A. Musicante, UFRN,
Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-ansi-language:EN-US;
mso-bidi-font-weight:bold'>Nick Benton, Microsoft Research, EUA



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Noemi Rodriguez, PUC-Rio, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Paulo Borba, UFPE, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Peter D. Mosses, Univ. of
Wales Swansea, Reino class=GramE>Unido



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Rafael Dueire Lins, UFPE, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Renato Cerqueira, PUC-Rio, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Roberto S. Bigonha, UFMG, Brasil ( class=SpellE>chair)



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Roberto Ierusalimschy, PUC-Rio,
Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Sandro Rigo, UNICAMP, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Sergio de Mello Schneider, UFU, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Sergio Soares, UPE, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Sergiu
Dascalu, Univ.
of Nevada, EUA



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-ansi-language:EN-US;
mso-bidi-font-weight:bold'>Simon Thompson, w:st="on">Univ. of Kent,
Reino Unido



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Varmo
Vene, Univ. de
Tartu, Estônia



style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-bidi-font-weight:
bold'>Vladimir Di Iorio,
UFV, Brasil



style='font-size:11.0pt;font-family:Tahoma;color:#99CCFF;font-weight:normal;
mso-bidi-font-weight:bold'> 



style='font-size:10.0pt;color:navy'> 



style='font-size:11.0pt;font-family:Tahoma;color:navy'>Organizing style='font-size:11.0pt;font-family:Tahoma;color:navy'> Committee



class=HTMLMarkup>Anamaria style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-hide:none'> Martins
Moreira (UFRN/DIMAp)



class=HTMLMarkup>Fernando Pinto (UFRN/DIMAp)



class=HTMLMarkup>João Marcos de Almeida (UFRN/ class=GramE>DIMAp)



class=HTMLMarkup>Martin A. Musicante (UFRN/ class=SpellE>DIMAp - coordenador)



class=HTMLMarkup>Selan style='font-size:11.0pt;font-family:Tahoma;color:navy;mso-hide:none'> Rodrigues
dos Santos (UFRN/DIMAp)



class=HTMLMarkup>Umberto Souza da Costa (UFRN/ class=GramE>DIMAp)



class=HTMLMarkup> 



class=HTMLMarkup><small> class=SpellE>Organization

DIMAp - Universidade Federal
do Rio Grande do Norte



style='font-size:11.0pt;font-family:Tahoma;color:navy'> 



style='font-size:11.0pt;font-family:Tahoma;color:navy'>SBC – Sociedade
Brasileira de Computação



style='font-size:11.0pt;font-family:Tahoma;color:navy'> 



style='font-size:11.0pt'> 



style='font-size:11.0pt'> 



 







Venue

Natal
Natal
Brazil
MORE INFO ON THIS VENUE

Types