posted by user: nunooliveira || 1726 views || tracked by 8 users: [display]

CoRTA 2010 : Compilers, Programming Languages, Related Technologies and Applications

FacebookTwitterLinkedInGoogle

Link: http://corta2010.di.uminho.pt/
 
When Sep 9, 2010 - Sep 10, 2010
Where Braga, Universidade do Minho
Submission Deadline Jun 14, 2010
Notification Due Jun 30, 2010
Final Version Due Jul 12, 2010
 

Call For Papers





Call for Papers

************************************************************************

CoRTA 2010
Compilers, Programming Languages,
Related Technologies and Applications 2010

http://corta2010.di.uminho.pt/

Braga, Portugal, September 09-10, 2010
Universidade do Minho

CoRTA2010 is a track under INForum -- Simpósio de Informática:
http://inforum.org.pt/INForum2010
************************************************************************

************************************************************************

Important Dates:
****************

* Submission deadline June 14, 2010
* Author notification June 30, 2010
* Final paper due July 12, 2010
* Early Registration July 19, 2010
* Conference September 09-10, 2010

Like in the two previous editions, we will analyze the possibility to
make a selection of best papers to invite for a special issue of
an international journal---for your reference, CoRTA2008, and CoRTA2009
best papers were submitted, after extension, and published as a special issue
of ComSis Journal (http://www.comsis.org/index.htm).

Scope:
******

CoRTA (4th edition) is a forum where researchers, developers,
educators exchange ideas and information on the latest academic or
industrial work on language design, processing, assessment, and application.

The conference emphasizes theoretical, practical and experimental work
and invites "research papers" but also "position papers" and "posters or tool demos"
on methods and tools for all aspects of compiler technology, code analysis,
and all language paradigms.

Topics of interest include, but are not limited to:
* Modeling, and specification of domain specific languages.
* Paradigms, concepts, methodologies, and novel constructs on programming languages.
* Language quality assessment and grammar metrics.
* Compilation and interpretation techniques
* Dynamic and "just-in-time" compilation.
* Code generation and optimization.
* Run-time techniques and memory management.
* Virtual machines.
* Program representation and visualization.
* Program analysis and transformation.
* Programming, debugging, and refactoring environments.
* Secure, parallel and distributed programming environments.
* Mobile and Embedded programming environments.

Submission Guidelines:
**********************

The proceedings will be available at the conference.
The submission must be written in English, submitted in pdf format and can be:
up to 12 pages, for a research paper; 4 pages, for a position paper; or 4 pages, for a
poster or tool demo paper.
You are strongly encouraged to use the Springer LNCS style for proceedings, available at
http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0

Committees:
***********

Steering Committee:
- Simão Melo de Sousa
- Maria João Varanda
- António Menezes Leitão

Program Chair:
* Pedro Rangel Henriques

Comissão de Organização:
* Daniela da Cruz
* Nuno Oliveira

Program Committee:
* Alberto Simões, Inst. Politécnico do Porto, PT
* Alda Gançarski, Inst. Telecom et Management SudParis, FR
* António Menezes Leitão, Inst. Superior Técnico, PT
* Bastian Cramer, Univ. Paderborn, DE
* Bostjan Slivnik, Univ. Ljubljana, SL
* Casiano Rodríguez León, Univ. La Laguna, ES
* Daniel Riesco, Univ San Luis, AR
* Daniela da Cruz, Univ. do Minho, PT
* German Montejano, Univ San Luis, AR
* Giovani Librelotto, Univ. Federal de Santa Maria, BR
* Ivan Lukovic, Univ. Novi Sad, RS
* Jean-Cristophe Filliâtre, (LRI) Univ. Paris Sud 11, FR
* João M.P. Cardoso, FEUP, PT
* João Costa Seco, Univ. Nova de Lisboa, PT
* João Saraiva, Univ. do Minho, PT
* José João Almeida, Univ. do Minho, PT
* Manuel Pérez Cota, Univ Vigo, ES
* Maria João Varanda Pereira, Inst Politécnico de Bragança, PT
* Marjan Mernik, Univ. Maribor, SL
* Mario Berón, Univ San Luis, AR
* Mario Guillermo Leguizamón, Univ San Luis, AR
* Matej Crepinsek, Univ. Maribor, SL
* Nuno Rodrigues, Inst. Politécnico do Cavado e Ave, PT
* Paulo Matos, Inst Politécnico de Bragança, PT
* Pedro Rangel Henriques, Univ. do Minho, PT
* Rogério Dias Paulo, Efacec, PT
* Salvador Abreu, Univ. de Évora, PT
* Simão Melo de Sousa, Univ. da Beira Interior, PT
* Susan Esquivel, Univ San Luis, AR
* Tomaz Kosar, Univ. Maribor, SL
* Vasco Amaral, Univ. Nova de Lisboa, PT
* Vitor Santos, Microsoft Portugal, PT
* Xavier Gómez Guinovart, Univ Vigo, ES

Related Resources

MPLR 2022   19th International Conference on Managed Programming Languages & Runtimes
ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems
POPL 2023   50th Symposium on Principles of Programming Languages
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
CETA 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
CSTY 2022   8th International Conference on Computer Science and Information Technology
CETA--Ei 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
CC 2023   Compiler Construction
Smart Cities 2022   Smart Cities: Enabling Technologies and Applications
iccq 2023   The Third International Conference on Code Quality