[TYPES/announce] ICTAC 2010: FINAL Call for Papers

[Christiano Braga]

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

		      FINAL Call for Papers - ICTAC 2010
     International Colloquium on Theoretical Aspects of Computing
       		  Natal, Rio Grande do Norte, Brazil
	     	    	 1-3 September, 2010
	     	    http://www.ictac.net/ictac2010


**********************************************************************
**********************************************************************
* News ***************************************************************
**
** Submission site now open:
** http://www.easychair.org/conferences/?conf=ictac2010
**
** Authors of a selection of the accepted papers will be invited to
** submit an extended version of their papers to a special issue of
** Elsevier's journal Theoretical Computer Science.
*
** LNCS proceedings confirmed.
*
**********************************************************************

Background and Objectives

ICTAC  is  an  International  Colloquium  on  Theoretical  Aspects  of
Computing  created   by  the  International   Institute  for  Software
Technology of the United Nations University (UNU-IIST). The aim of the
colloquium  is to  bring together  practitioners and  researchers from
academia,  industry and  government to  present research  results, and
exchange  experience,  ideas  and  solutions  for  their  problems  in
theoretical  aspects  of  computing.   Beyond these  scholarly  goals,
another main  purpose of the  conference is to promote  cooperation in
research  and education between  participants and  their institutions,
from developing  and industrial  countries, as in  the mandate  of the
United Nations University. The previous  six ICTAC events were held in
Guiyang, China  (2004), Hanoi, Vietnam (2005),  Tunis, Tunisia (2006),
Macau  (2007),  Istanbul, Turkey  (2008)  and  Kuala Lumpur,  Malaysia
(2009).  ICTAC  2010 includes  two special tracks:  a track  on Formal
Approaches to Testing, chaired by  Marie-Claude Gaudel, and a track on
the Grand Challenge in Verified Software, chaired by Jim Woodcock.

The topics of the conference include, but are not limited to:
- automata theory and formal languages
- principles and semantics of programming languages
- logics and their applications
- software architectures and their description languages
- software specification, refinement, verification and testing,
- model checking and theorem proving
- formal techniques in software testing
- models of object and component systems
- coordination and feature interaction
- integration of  theories, formal  methods and tools  for engineering
  computing systems
- service-oriented development
- service-oriented architectures: models and development methods
- document-driven development
- models of concurrency, security, and mobility
- theory of parallel, distributed, and grid computing
- real-time, embedded and hybrid systems
- type and category theory in computer science
- case studies, theories, tools and experiments of verified systems
- domain-specific  modeling and  technology: examples,  frameworks and
  experience

ICTAC 2010 will be held in Brazil, in the city of Natal, Rio Grande do
Norte.   It will  be organized  jointly with  the 3rd  edition  of the
Pernambuco  School on  Software  Engineering, to  be  held in  Recife,
Pernambuco, on the the topic of Formal Component Based Development and
Coordination.  ICTAC   2010  will  include   tutorials  and  technical
sessions.

Sponsors and Organisation

ICTAC 2010 will be organized  jointly by the Federal University of Rio
Grande do Norte and UNU-IIST. They are also sponsors of ICTAC 2010.

Invited Speakers

Paulo Borba (Universidade Federal de Pernambuco, Brazil)
Wolfram Schulte (Microsoft Research)

Submission and Publication

Submissions  to the  conference must  not  have been  published or  be
concurrently  considered for  publication  elsewhere. All  submissions
will be judged on the basis of originality, contribution to the field,
technical and  presentation quality, and relevance  to the conference.
Papers should  be written in English  and not exceed 15  pages in LNCS
format (see www.springer.de/comp/lncs/authors.html for details).Papers
should be submitted  at www.easychair.org/conferences/?conf=ictac2010.
All queries should be sent to: ictac2010 at iist.unu.edu.

Important Dates

Submission of abstracts: March 08th, 2010;		
Submission deadline: March 15th, 2010;		
Notification of results: April 30th, 2010;
Final version: May 16th, 2010

Steering Committee
John Fitzgerald, UK
Martin Leucker, Germany
Zhiming Liu (Chair), Macao
Tobias Nipkow, Germany
Augusto Sampaio, Brazil
Natarajan Shankar, USA
Jim Woodcock, UK

Special Tracks Chairs
Marie-Claude Gaudel, France
Jim Woodcock, UK

Program Committee
Bernhard Aichernig, Austria
Keijiro Araki, Japan
Jonathan Bowen, UK
Christiano Braga, Brazil
Michael Butler, UK
Andrew Butterfield, Ireland
Ana Cavalcanti, UK (chair)
Antonio Cerone, Macao
Jim Davies, UK
David Deharbe, Brazil (chair)
John Fitzgerald, UK
Wan Fokkink, Netherlands
Pascal Fontaine, France
Marcelo Frias, Argentina
Lindsay Groves, New Zealand
Michael Hansen, Denmark
Robert Hierons, UK
Monzoo Kim, South Korea
Maciej Koutny, UK
Pascale Le Gall, France
Martin Leucker, Germany
Zhiming Liu, Macao
Patricia Machado, Brazil
Marius Minea, Romania
Ali Mili, USA
Michael Mislove, USA
Tobias Nipkow, Germany
Jose Nuno Oliveira, Portugal
Paritosh Pandya, India
Alberto Pardo, Uruguay
Anders P Ravn, Denmark
Leila Ribeiro, Brazil
Markus Roggenbach, UK
Augusto Sampaio, Brazil
Bernhard Schaetz, Germany
Gerhard Schellhorn, Germany
Emil Sekerinski, Canada
Natarajan Shankar, USA
Marjan Sirjani, Iran
Jin Song Dong, Singapore
Dang Van Hung, Vietnam
Daniel Varro, Hungary
Helmut Veith, Germany
Ji Wang, China
Martin Wirsing, Germany
Burkhart Wolff, France
Husnu Yenigun, Turkey
Naijun Zhan, China

Organising Committee
David Deharbe, Brazil
Anamaria Moreira, Brazil
Martin Musicante, Brazil
Marcel Oliveira, Brazil
Bartira Rocha, Brazil