[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[We apologize in advance if you receive multiple copies of this CFP] ============================================================= CALL FOR PAPERS 14th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Salvador, Bahia, Brazil September 27-29, 2010 http://cbsoft.dcc.ufba.br/ Abstract Submission: May 17, 2010 Paper Submission: May 24, 2010 ============================================================= The 14th Brazilian Symposium on Programming Languages, SBLP 2010, will be held in Salvador, Bahia, Brazil, on September 27-29, 2010. SBLP provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. This year the symposium will be part of the 1st Brazilian Conference on Software: Theory and Practice, CBSoft 2010, http://cbsoft.dcc.ufba.br, which will host three traditional, well-established symposia: * IV Brazilian Symposium on Components, Software Architecture and Software Reuse (SBCARS) * XIV Brazilian Symposium on Programming Languages (SBLP) * XXIV Brazilian Symposium on Software Engineering (SBES) SBLP 2010 invites authors to contribute with Technical Papers and Tutorial Proposals related (but not limited) to: * Programming language design and implementation * Formal semantics of programming languages * Theoretical foundations of programming languages * Design and implementation of programming language environments * Object-oriented programming languages * Functional programming * Aspect-oriented programming languages * Scripting languages * Domain-specific languages * Programming languages for mobile, web and network computing * New programming models * Program transformations * Program analysis and verification * Compilation and interpretation techniques 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. Selected papers written in English should be invited for a journal publication. ** We are currently in contact with Elsevier to ** ** have a special issue with selected papers. ** Papers should be presented in the language of submission. Detailed submission guidelines will be available at http://cbsoft.dcc.ufba.br/ IMPORTANT DATES Paper abstract submission (15 lines): May 17, 2010 Full paper submission: May 24, 2010 Notification of acceptance: July 09, 2010 Final papers due: August 02, 2010 BEST PAPER AWARD Awards will be given for the best papers at the symposium. GENERAL CHAIR Rita Suzana Pitangueira Maciel, UFPB, Brazil PROGRAMME CHAIR Ricardo Massa F. Lima, UFPE, Brazil PROGRAMME COMMITTEE Alberto Pardo, Univ. de La Republica Alex Garcia, IME Alfio Martini, PUC-RS Alvaro Freitas Moreira, UFRGS Andre Rauber Du Bois, UCPel André Santos, UFPE Carlos Camarao, UFMG Christiano Braga, Univ. Comp. de Madrid Cristiano Damiani, UFPEL Edward Hermann Haeusler, PUC-Rio Fernando Castor Filho, UFPE Francisco Heron de Carvalho Junior, UFC Isabel Cafezeiro, UFF João Saraiva, Universidade do Minho Johan Jeuring, Utrecht Univ. Jose Guimaraes, UFSCAR Jose E. Labra Gayo, Univ. of Oviedo Jose Luiz Fiadeiro, Univ. of Leicester Lucilia Figueiredo, UFOP Luis Soares Barbosa, Univ. do Minho Luis Carlos Meneses, UFPE Marcelo A. Maia, UFU Marco Tulio Valente, PUC Minas Mariza A. S. Bigonha, UFMG Martin A. Musicante, UFRN Noemi Rodriguez, PUC-Rio Paulo Borba, UFPE Peter Mosses, Swansea University Renato Cerqueira, PUC-Rio Roberto S. Bigonha, UFMG Roberto Ierusalimschy, PUC-Rio Rodolfo Jardim de Azevedo, UNICAMP Sandro Rigo, UNICAMP Sergio de Mello Schneider, UFU Sergio Soares, UFPE Sergiu Dascalu, Univ. of Nevada Simon Thompson, Univ. of Kent Varmo Vene, Univ. de Tartu Vladimir Di Iorio, UFV Vitor Santos Costa, UFRJ ORGANIZATION Brazilian Computer Society and Universidade Federal da Bahia