<div dir="ltr"><br clear="all"><div><div class="gmail_signature"><div dir="ltr">**********************************************************************<br></div></div></div><div class="gmail_quote"><div style="word-wrap:break-word"><div>
FINAL CALL FOR PAPERS -- ICTAC 2015<br>
12th International Colloquium on<br>
Theoretical Aspects of Computing<br>
29-31 October 2015, Cali, Colombia<br>
<a href="http://www.ictac2015.co" target="_blank">http://www.ictac2015.co</a><br>
<br>
DEADLINE FOR SUBMISSIONS: JUNE 5, 2015.<br>
<br>
<br>
== HIGHLIGHTS:<br>
* Seven invited talks: Jean-Raymond Abrial, Volker Diekert, César<br>
Muñoz, Catuscia Palamidessi, Davide Sangiorgi, Moshe Vardi, and Glynn<br>
Winskel.<br>
* Submissions are welcome in three categories: full papers (18 pages),<br>
short and tool papers (10 pages).<br>
* Conference proceedings in Lecture Notes in Computer Science (Springer).<br>
* Special issue in Mathematical Structures in Computer Science<br>
(Cambridge Journals).<br>
<br>
<br>
**********************************************************************<br>
<br>
<br>
ICTAC 2015 will take place at the campus of Universidad Javeriana,<br>
Cali, Colombia during October 29-31, 2015.<br>
The ICTAC conference series aims at bringing together practitioners<br>
and researchers to exchange ideas and experiences addressing<br>
challenges in theoretical aspects of computing as well as in<br>
exploiting<br>
theory through methods and tools for system development. ICTAC also<br>
aims to promote cooperation between participants and institutions from<br>
developing and industrial countries in research and education.<br>
<br>
<br>
THEMES AND TOPICS OF PAPERS<br>
Topics of interest include theories of computation and programming,<br>
foundations of software engineering and formal techniques in software<br>
design and verification, as well as tools that support formal<br>
techniques<br>
for software modeling, system design and verification.<br>
<br>
<br>
The topical areas of the conference include, but are not limited to<br>
* Automata theory and formal languages;<br>
* Principles and semantics of programming languages;<br>
* Theories of concurrency, mobility and reconfiguration;<br>
* Logics and their applications;<br>
* Software architectures, their models, refinement and verification;<br>
* Relationship between software requirements, models and code;<br>
* Program static and dynamic analysis and verification;<br>
* Software specification, refinement, verification and testing;<br>
* Model checking and theorem proving;<br>
* Models of object and component systems;<br>
* Coordination and feature interaction;<br>
* Integration of theories, formal methods and tools for engineering computing systems;<br>
* Service-oriented architectures: models and development methods;<br>
* Models of concurrency, security, and mobility;<br>
* Theory of distributed, grid and cloud computing;<br>
* Real-time, embedded, hybrid and cyber-physical systems;<br>
* Type and category theory in computer science.<br>
<br>
<br>
INVITED SPEAKERS<br>
* Jean-Raymond Abrial (Consultant, France)<br>
* Volker Diekert (University of Stuttgart, Germany)<br>
* César Muñoz (NASA, USA)<br>
* Catuscia Palamidessi (INRIA and École Polytechnique, France)<br>
* Davide Sangiorgi (University of Bologna, Italy)<br>
* Moshe Vardi (Rice University, USA)<br>
* Glynn Winskel (University of Cambridge, UK)<br>
<br>
<br>
ASSOCIATED EVENTS<br>
* ICTAC Summer School on Formal Methods (October 25-27)<br>
* DCM 2015: 11th International Workshop on Developments in Computational Models (October 28)<br>
<a href="http://dcm-workshop.org.uk/2015/" target="_blank">http://dcm-workshop.org.uk/2015/</a><br>
<br>
<br>
<br>
<br>
PAPER SUBMISSION<br>
== Important Dates<br>
* Abstract submission: Monday, June 1, 2015.<br>
* Paper submission: Friday, June 5, 2015.<br>
* Author notification: Monday, July 20, 2015.<br>
* Camera ready: Monday, August 3, 2015.<br>
<br>
<br>
== Paper Categories and Format<br>
We call for submissions, related to the above areas and topics,<br>
according to the following three categories:<br>
* Regular papers, with original research contributions;<br>
* Short papers, with original work in progress or with proposals of<br>
new ideas and emerging challenges;<br>
* Tool papers, on original descriptions of tools that support formal<br>
techniques for software modeling, system design, and verification.<br>
<br>
<br>
Submissions must be written in English and should adhere to the LNCS<br>
format (see <a href="http://www.springer.de/comp/lncs/authors.html" target="_blank">http://www.springer.de/comp/lncs/authors.html</a> for<br>
details). Regular papers should not exceed 18 pages.<br>
Short and tool papers should not exceed 10 pages.<br>
<br>
<br>
Submissions to the colloquium must not have been published or be<br>
concurrently considered for publication elsewhere. All submissions<br>
will be judged on the basis of originality, contribution to the field,<br>
technical and presentation quality, as well as their relevance to the<br>
conference.<br>
<br>
<br>
Submissions not conforming to the above requirements may be rejected<br>
without further consideration.<br>
<br>
==Submission Link<br>
Papers must be submitted by using<br>
<a href="http://www.easychair.org/conferences/?conf=ictac2015" target="_blank">www.easychair.org/conferences/?conf=ictac2015</a>.<br>
<br>
<br>
==Proceedings<br>
As for the past editions, the proceedings of ICTAC 2015 will be<br>
published by Springer in the series Lecture Notes in Computer Science<br>
(LNCS).<br>
<br>
<br>
==Special Issue<br>
Extended versions of selected papers from ICTAC 2015 will be invited<br>
to a special issue of Mathematical Structures in Computer Science<br>
(<a href="http://journals.cambridge.org/action/displayJournal?jid=MSC" target="_blank">http://journals.cambridge.org/action/displayJournal?jid=MSC</a>).<br>
<br>
<br>
GENERAL CHAIRS<br>
* Martin Leucker, University of Luebeck (DE).<br>
* Camilo Rueda, Pontificia Universidad Javeriana - Cali (CO).<br>
* Frank Valencia, CNRS and LIX, Ecole Polytechnique (FR).<br>
<br>
<br>
CONTACT CHAIR<br>
* Frank Valencia (<a href="mailto:frank.valencia@gmail.com" target="_blank">frank.valencia@gmail.com</a>).<br>
<br>
<br>
PROGRAM COMMITTEE<br>
* Nazareno Aguirre (AR)<br>
* Gerard Assayag (FR)<br>
* Mauricio Ayala-Rincón (BR)<br>
* Pablo Barceló (CL)<br>
* Gustavo Betarte (UY)<br>
* Filippo Bonchi (FR)<br>
* Marco Carbone (DK)<br>
* Ilaria Castellani (FR)<br>
* Néstor Cataño (CO)<br>
* Gabriel Ciobanu (RO)<br>
* Silvia Crafa (IT)<br>
* Pedro R. D'Argenio (AR)<br>
* Nicolas D'Ippolito (AR)<br>
* Stefan Dantchev (UK)<br>
* Rocco De Nicola (IT)<br>
* Yuxin Deng (CN)<br>
* Gilles Dowek (FR)<br>
* Moreno Falaschi (IT)<br>
* José Luiz Fiadeiro (UK)<br>
* Wan Fokkink (NL)<br>
* Fabio Gadducci (IT)<br>
* Julian Gutierrez (UK)<br>
* Stefan Haar (FR)<br>
* Thomas Hildebrandt (DK)<br>
* Einar Broch Johnsen (NO)<br>
* Bartek Klin (PL)<br>
* Marta Kwiatkowska (UK)<br>
* Kim G. Larsen (DK)<br>
* Martin Leucker (DE) (co-chair)<br>
* Etienne Lozes (FR)<br>
* Larissa Meinicke (AU)<br>
* Hernan Melgratti (AR)<br>
* Dominique Mery (FR)<br>
* Matteo Mio (FR)<br>
* Andrzej Murawski (UK)<br>
* Vivek Nigam (BR)<br>
* Mauricio Osorio (MX)<br>
* Prakash Panangaden (CA)<br>
* Jorge A. Pérez (NL)<br>
* Elaine Pimentel (BR)<br>
* António Ravara (PT)<br>
* Camilo Rocha (CO)<br>
* Camilo Rueda (CO) (co-chair)<br>
* Augusto Sampaio (BR)<br>
* Vijay Saraswat (US)<br>
* Vladimiro Sassone (UK)<br>
* Gerardo Schneider (SE)<br>
* Alexandra Silva (NL)<br>
* Jiri Srba (DK)<br>
* Jean-Bernard Stefani (FR)<br>
* Perdita Stevens (UK)<br>
* Kohei Suenaga (JP)<br>
* Alwen Tiu (SG)<br>
* Kazunori Ueda (JP)<br>
* Frank Valencia (FR) (co-chair)<br>
* Vasco T. Vasconcelos (PT)<br>
* Kapil Vaswani (IN)<br>
* Björn Victor (SE)<br>
* Igor Walukiewicz (FR)<br>
* Farn Wang (TW)<br>
* Alan Wassyng (CA)<br>
* Gianluigi Zavattaro (IT)</div>
</div>
</div><br></div>