CoRTA'07 - Call for Papers

[Paulo Moura]

Call for Papers - We apologize for multiple copies of this Call

                           CoRTA'2007
         Compilers, Related Technologies and Applications
    Departamento de Informática da Universidade da Beira Interior,
                       Covilhã - Portugal
                          July 6th, 2007

                     http://corta.di.ubi.pt/

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  
emphasizes
theoretical, practical and experimental work and invites "research  
papers"
but also "position papers" and "extended abstract" on methods and tools
for all aspects of compiler technology and all language paradigms.  
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  
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  
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âtre, 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  
research
or position paper;  or 4 pages, for an extended abstract. You are  
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 Évora
Pedro Henriques, Universidade do Minho (co-chair)
Pedro Felix, Instituto Superior de Engenharia de Lisboa
Mário Florido, Faculdade de Ciência da Universidade do Porto
António Leitão, Instituto Superior Técnico
Paulo Marques, Universidade de Coimbra
Miguel Monteiro, Faculdade de Engenharia da Universidade do Porto
Paulo Mateus, Instituto Superior Técnico
Paulo Matos, Instituto Politécnico de Bragança
Paulo Moura, Universidade da Beira Interior
Vitor Santos, Microsoft Portugal (co-chair)
Simão 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ã, Portugal

Office 4.3  Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:address@hidden>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------