[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
In response to several requests, the abstract submission deadline for SBLP has been extended to ** MAY 24, 2010 **, with the full paper deadline extended to May 31. SBLP welcomes papers on type systems, among other PL topics. ============================================================= CALL FOR PAPERS 14th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Salvador, Bahia, Brazil September 27-29, 2010 http://wiki.dcc.ufba.br/CBSOFT/SBLP2010 Abstract Submission: May 24, 2010 (new submission deadline) Paper Submission: May 31, 2010 (new submission deadline) ============================================================= 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://wiki.dcc.ufba.br/CBSOFT, 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. Best papers will be published as a special issue of the Elsevier Journal of Science of Computing Programming Papers should be presented in the language of submission. Detailed submission guidelines will be available at http://wiki.dcc.ufba.br/CBSOFT/PaperSubmission IMPORTANT DATES Paper abstract submission (15 lines): May 24, 2010 Full paper submission: May 31, 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, UFBA, Brazil PROGRAM CHAIR Ricardo Massa F. Lima, UFPE, Brazil Jonathan Aldrich, Carnegie Mellon University, USA PROGRAM COMMITTEE Alberto Pardo, Univ. de La Republica Alex Garcia, IME Alfio Martini, PUC-RS Alvaro Freitas Moreira, UFRGS Andre Rauber Du Bois, UFPEL André Santos, UFPE Carlos Camarao, UFMG Christiano Braga, UFF Cristiano D. Vasconcellos, UDESC 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, UPE Marcelo A. Maia, UFU Marco Tulio Valente, UFMG 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 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