========================First call for papers==========================
ICTAC 2006
3rd International Colloquium on Theoretical Aspects of Computing
Gammarth/Tunis, Tunisia, 20-24 November 2006
http://www.iist.unu.edu/ICTAC2006
First Call For Papers
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 two ICTAC
events were held in 2004, in Guiyang, China, and in 2005, in Hanoi,
Vietnam.
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, and verification
* model checking and theorem proving
* formal techniques in software testing
* models of object and component systems
* coordination and feature interaction
* integration of formal and engineering methods
* service-orienteddevelopment
* document-drivendevelopment
* models of concurrency, security, and mobility
* theory ofparallel,distributed, andinternet-based(grid) computing
* real-time and embedded systems
* type and category theory in computer science
ICTAC06 will have a technical program for five days including two days
for tutorials and three days for a conference. There will also be a
training school in the preceding week.
Submission and Publication
Papers should be a maximum of 15pages in LNCS format. Full submission
details will be published on the colloquium website
http://www.iist.unu.edu/ICTAC2006. A website for uploading papers
linked to the colloquium website will be open at the appropriate time.
Invited Speakers
Zohar Manna, USA
Tobias Nipkow, Germany
Mike Reed, Macao
Jim Woodcock, UK
Sponsors and Organisers
University Tunis El Manar
UNU-IIST
University of York
Conlloquium Chairs
Mohamed Bettaz, Jordan
Ali Mili, USA
Program Chairs
Kamel Barkaoui, France
Ana Cavalcanti, UK
Antonio Cerone, Macao
Important Dates
Submission deadline: 1 May, 2006
Acceptance notification: 14 July, 2006
Final version due: 1 September, 2006
Enquiries
[EMAIL PROTECTED]
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
