| |||||||||||||||
ICTAC Workshops 2010 : 7th International Colloquium on Theoretical Aspects of Computing | |||||||||||||||
Link: http://ictac2010.dimap.ufrn.br/index.html | |||||||||||||||
| |||||||||||||||
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. |
|