@@ Line 1: / Line 1: @@
-{{Event
+That's an ignneious way of thinking about it.
- | Acronym = ICTAC 2009
- | Title = 6th International Colloquium on Theoretical Aspects of Computing
- | Type = Conference
- | Series =
- | Field = Computer science
- | Homepage = www.ictac.net/ictac09
- | Start date = Aug 16, 2009
- | End date =  Aug 20, 2009
- | City=
- | State =
- | Country = Malaysia
- | Abstract deadline =
- | Submission deadline = Apr 10, 2009
- | Notification =
- | Camera ready = Jun 1, 2009
-}}
-<pre>
-----------------------------------------------------------------------
-			       ICTAC'09
-th International Colloquium on Theoretical Aspects of Computing
-		     ***   CALL FOR PAPERS   ***
-		   Equatorial Hotel Bangi, Malaysia
-		 University Kebangsaan Malaysia (UKM)
-		       August 16th - 20th 2009
-		    http://www.ictac.net/ictac09/
-----------------------------------------------------------------------
-The 6th International Colloquium  on Theoretical Aspects  of Computing
-is taking place from  the 16th till the  20th of August 2009  in Kuala
-Lumpur, Malaysia. ICTAC'09  is     organized by Abdullah   Mohd   Zin,
-Universiti Kebangsaan  Malaysia   and  Jeff Sanders,    United  Nation
-University, Institute  of   Software Technology,  Macao.  The   PC  is
-chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).
-Visit http://www.ictac.net/ictac09 for a preliminary web page.
-About ICTAC 2009
-----------------
-ICTAC 2009 is the 6th  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).  The    main purpose  of  ICTAC   is    to 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. The previous four   ICTAC  events were held  in  Guiyang,
-China (2004), Hanoi,   Vietnam (2005),  Tunis, Tunisia (2006),   Macau
-(2007) and Istanbul (2008).
-Workshops
----------
-The main  conference  is   surrounded  by  workshops  and  a    summer
-school. See the web page for more details.
-Invited Speakers
-----------------
-Zuohua Ding	 Zhejiang Sci-Tech University
-Leslie Lamport   Microsoft
-Annabelle McIver Macquarie University
-Sriram Rajamani  Microsoft
-Scope
------
-Topics include, but are not limited to:
-  * software specification, refinement, verification and testing
-  * model checking and theorem proving
-  * software architectures
-  * coordination and feature interaction
-  * integration of theories, formal and engineering methods and tools
-  * models of concurrency, security, and mobility
-  * parallel, distributed, and internet-based (grid) computing
-  * real-time, embedded and hybrid systems
-  * automata theory and formal languages
-  * principles and semantics of languages
-  * logics and their applications
-  * type and category theory in computer science
-  * case studies, theories, tools and experiments of verified systems
-  * service-oriented architectures: models and development methods
-  * domain modelling and domain-specific technology: examples,
-    frameworks and experience
-Paper Submissions
------------------
-ICTAC 2009  calls for two types  of contributions: RESEARCH PAPERS and
-TOOL DEMONSTRATION PAPERS. Both types  of contributions will appear in
-the  LNCS   proceedings    and have    oral     presentations at   the
-conference. Papers should be written in English in LNCS format.
-RESEARCH PAPERS:
-Research   papers  should  contain  original  research, and sufficient
-detail to   assess  the merits  and  relevance  of  the  contribution.
-Submissions  reporting on  industrial  case  studies are welcome,  and
-should  describe both  strengths and  weaknesses  in sufficient depth.
-Research papers should be no more than 15 pages.
-TOOL DEMONSTRATION PAPERS:
-Tool demonstration    papers present  tools   based on  aforementioned
-theories or fall into the above  application areas. Tool demonstration
-papers allow researchers to  stress the technical and practical  side,
-illustrating how one    can   apply the  theoretic  contributions   in
-practice. Tool demonstration papers should be no more than 6 pages.
-As  usual, 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.  Submission constitutes a commitment to attend and present
-a paper, if accepted.
-Proceedings  of ICTAC 2009 will be  published by Springer  in the LNCS
-series.
-Important Dates
----------------
-Abstract Submission:         6 April 2009
-Submission of Papers:       10 April 2009
-Notification of acceptance: 25 May   2009
-Final copy for proceedings:  1 June  2009
-ICTAC 2009:                 16 - 20 August 2009
-Committees
-----------
-General Chair
--------------
-Abdullah Mohd Zin  Universiti Kebangsaan Malaysia
-Jeff Sanders       United Nation University, Institute of Software
-                   Technology, Macao
-Program Chairs
---------------
-Martin Leucker     Technische Universität München, Germany
-Carroll Morgan     University of New South Wales
-Local Organizing Committee
---------------------------
-Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson)
-Nazlia Omar
-Syahanim Mohd Salleh
-Program Committee
------------------
-Parosh Abdulla      Uppsala University, Schweden
-Keijiro Araki       Kyushu University, Japan
-Farhad Arbab        Leids University, The Netherlands
-Christel Baier	    Technical University of Dresden, Germany
-Mario Bravetti	    Universita di Bologna, Italian
-Ana Cavalcanti	    University of York, England
-Van Hung Dang       United Nations University, Macao
-David Deharbe	    Federal University of Rio Grande do Norte, Brazil
-Wei Dong	    National University of Defense Technology, China
-Deepak D'Souza	    Indian Institute of Science, India
-John Fitzgerald	    Newcastle Uiversity, England
-Wan Fokkink	    Vrije University Amsterdam, The Netherlands
-Marcelo Frias	    University of Buenos Aires,  Argentina
-Kokichi Futatsugi   JAIST, Japan
-Paul Gastin	    LSV/ENS Cachan, France
-Susanne Graf	    VERIMAG, France
-Lindsay Groves	    Victoria University of Wellington, New Zealand
-Anne Haxthausen	    Technical University of Denmark, Denmark
-Moonzoo Kim	    KAIST, South Korea
-Kim G. Larsen	    Aalborg University, Denmark
-Insup Lee	    University of Pennsylvania, USA
-Martin Leucker	    TU Munich, Germany
-Kamal Lodaya	    Institute of Mathematical Sciences, India
-Larissa Meinicke    Abo Akademi, Finland
-Ugo Montanari	    University of Pisa, Italian
-Carroll Morgan	    University of New South Wales, Australia
-Ahmed Patel	    Universiti Kebangsaan Malaysia, Malaysia
-Pekka Pihlajasaari  Data Abstraction (Pty) Ltd, South Africa
-Abhik Roychoudhury  National University of Singapore, Singapore
-Hassen Saidi	    SRI International, USA
-Augusto Sampaio	    Universidade Federal de Pernambuco, Brazil
-Cesar Sanchez	    IMDEA, Spain
-Marjan Sirjani	    University of Tehran, Iran
-Sofiene Tahar	    Concordia University, Canada
-Serdar Tasiran	    Koc University, Turkey
-Helmut Veith	    Technical University Darmstadt, Germany
-Mahesh Viswanathan  University of Illinois at Urbana, USA
-Tomas Vojnar	    Brno University of Technology, Czech Republic
-Ji Wang		    Zhejiang University, China
-Jim Woodcock	    University of York, England
-Husnu Yenigun	    Sabanci University, Turkey
-Naijun Zhan	    Chinese Academy of Sciences, China
-Huibiao Zhu	    East China Normal University, China
-Steering Committee
-------------------
-John Fitzgerald     University of Newcastle upon Tyne, UK
-Martin Leucker 	    Technische Universität München, Germany
-Zhiming Liu (Chair) UNU-IIST, Macao
-Tobias Nipkow       Technische Universität München, Germany
-Augusto Sampaio     Universidade Federal de Pernambuco, Brazil
-Natarajan Shankar   SRI, USA
-Jim Woodcock        University of York, UK
-	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4978&amp;copyownerid=3565 WikiCFP]

Difference between revisions of "ICTAC 2009"

Revision as of 14:22, 30 January 2012

Navigation menu

Search