Call for Papers - We apologize for multiple copies of this Call
CoRTA'2007 Compilers, Related Technologies and Applications Departamento de Inform=E1tica da Universidade da Beira Interior, Covilh=E3 - Portugal July 6th, 2007
CoRTA is a forum where researchers, developers, educators, research students and practitioners exchange ideas and information on the latest academic or industrial work in compiler technology, programming language design and implementation and their application. The conference =20 emphasizes theoretical, practical and experimental work and invites "research =20 papers" but also "position papers" and "extended abstract" on methods and tools for all aspects of compiler technology and all language paradigms. =20 Topics of interest include, but are not limited to:
* compilation and interpretation techniques, including program representation and analysis, code generation and code optimization; * run-time techniques, including memory management and dynamic and just-in-time compilation; * programming tools, from refactoring editors to checkers to =20 compilers to virtual machines to debuggers; * techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments; * formal techniques and tools, including formal analysis and =20 reasoning of compiler, programming languages and execution platforms; * design of novel language constructs and their implementation.
* Invited speakers: Uwe Kastens, University of Paderborn, Germany Jean-Christophe Filli=E2tre, LRI, University of Paris Sud, France.
* Submission Guidelines: The proceedings will be published as a University of Beira Interior Technical Report with ISBN. The submission must be written in English, submitted in their pdf version and can be: up to 12 pages, for a =20 research or position paper; or 4 pages, for an extended abstract. You are =20 strongly encouraged to use LaTeX2e and Springer llncs class file available at http://www.springer.de/comp/lncs/authors.html.
* Important Dates:
* Paper Submission: April 8, 2007 * Notification of Acceptance: May 18, 2007 * Camera-Ready Version Due: June 1, 2007
* Program Committee: Salvador Abreu, Universidade de =C9vora Pedro Henriques, Universidade do Minho (co-chair) Pedro Felix, Instituto Superior de Engenharia de Lisboa M=E1rio Florido, Faculdade de Ci=EAncia da Universidade do Porto Ant=F3nio Leit=E3o, Instituto Superior T=E9cnico Paulo Marques, Universidade de Coimbra Miguel Monteiro, Faculdade de Engenharia da Universidade do Porto Paulo Mateus, Instituto Superior T=E9cnico Paulo Matos, Instituto Polit=E9cnico de Bragan=E7a Paulo Moura, Universidade da Beira Interior Vitor Santos, Microsoft Portugal (co-chair) Sim=E3o Melo de Sousa, Universidade da Beira Interior (co-chair)
----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilh=E3, Portugal
Office 4.3 Ext. 3257 Phone: +351 275319891 Fax: +351 275319899 Email: mailto:pmoura(a)di.ubi.pt
Home page: http://www.di.ubi.pt/~pmoura Research: http://logtalk.org/ -----------------------------------------------------------------
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------
-
Paulo Moura