征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
The ICTAC series, founded by the United Nations University's International Institute of Software Technology (UNU-IIST), brings 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. A further aim is to promote cooperation in research and education between participants and institutions from developing and industrial countries, as in the United Nations University's mandate. The previous four ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006) and Macau (2007).
征稿信息

重要日期

2008-04-11
初稿截稿日期
2008-06-02
终稿截稿日期

征稿范围

In 2008, 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
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    09月01日

    2008

    09月03日

    2008

  • 04月11日 2008

    初稿截稿日期

  • 06月02日 2008

    终稿截稿日期

  • 09月03日 2008

    注册截止日期

主办单位
the United Nationd University
承办单位
Sabanci University, Istanbul
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询