posted by user: mmusicante || 2461 views || tracked by 3 users: [display]

ICTAC Workshops 2010 : 7th International Colloquium on Theoretical Aspects of Computing

FacebookTwitterLinkedInGoogle

Link: http://ictac2010.dimap.ufrn.br/index.html
 
When Aug 30, 2010 - Aug 31, 2010
Where Natal, Brazil
Abstract Registration Due Mar 8, 2010
Submission Deadline Mar 15, 2010
Notification Due Apr 30, 2010
Final Version Due May 16, 2010
 

Call For Papers

-------------------------------------------------------------------------------

ICTAC 2010

7th International Colloquium on Theoretical Aspects of Computing

*** CALL FOR WORKSHOP PROPOSALS ***

Natal, Rio Grande do Norte, Brazil
Universidade Federal do Rio Grande do Norte (UFRN)

30-31 August, 2010

http://ictac2010.dimap.ufrn.br/
-------------------------------------------------------------------------------

About ICTAC 2010
----------------

ICTAC 2010 is the 7th International Colloquium on Theoretical Aspects of
Computing, the latest in a series founded by the International Institute for
Software Technology of the United Nations University (UNU-IIST). ICTAC 2010
will bring together practitioners and researchers from academia, industry and
government to present research and to exchange ideas and experience addressing
challenges in both theoretical aspects of computing and in the exploitation of
theory through methods and tools for system development. Our other main
purpose 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 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: the first on the Grand
Challenge on Verified Software, the second on Formal Approaches to Testing.

Workshops
---------

Traditionally, ICTAC hosts a number of affiliated workshops complementing its
technical program. Affiliated workshops will be organized on the 30th and 31st
of August, as pre-event workshops.

Proposals for workshops affiliated with ICTAC 2010 are cordially invited.
Proposals should be sent by e-mail by

**March 30, 2010**

to the workshop chair

Martin A. Musicante (mam@dimap.ufrn.br)

and should include the following information:

- Name of the workshop
- Intended aims and scope of the workshop
- Intended format of the workshop
(break-out sessions/panels/paper presentations)
- History of the workshop, if applicable
- Expected number of participants (min/av/max)
- Length of the event (1/2, 1 or 2 days)
- Plans for dissemination (for example, published proceedings or
special issues of journals).
- Contact person with full contact information

ICTAC 2010 will provide organizational and administrative support for the
workshops, including: conference room, registration services, coffee breaks,
lunch, production of proceedings (in print or CD), technical support (computer,
projector, pointer, etc), impression of badges, certificates, programs and a
link for the workshop page on the ICTAC website.

Results of our selection will be sent shortly after the 30th of March.

Related Resources

ICTAC 2025   International Colloquium on Theoretical Aspects of Computing
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
STACS 2025   Symposium on Theoretical Aspects of Computer Science
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
AAIML 2026   IEEE--2026 International Conference on Advances in Artificial Intelligence and Machine Learning
Ei/Scopus-MLBDM 2025   2025 5th International Conference on Machine Learning and Big Data Management (MLBDM 2025)
S+SSPR 2026   Joint IAPR International Workshops on Statistical Techniques in Pattern Recognition and Structural and Syntactic Pattern Recognition