[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CoRTA'07 - Call for Papers

From: Paulo Moura
Subject: CoRTA'07 - Call for Papers
Date: Thu, 22 Feb 2007 22:04:24 +0000

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

         Compilers, Related Technologies and Applications
    Departamento de Informática da Universidade da Beira Interior,
                       Covilhã - 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 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

* 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: <>
Research: <>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]