<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
        {font-family:SimSun;
        panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:SimSun;
        panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        text-align:justify;
        font-size:10.5pt;
        font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:windowtext;}
span.EmailStyle18
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle19
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle20
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle21
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle22
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle23
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle24
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle25
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle26
        {mso-style-type:personal;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
span.EmailStyle27
        {mso-style-type:personal-reply;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=ZH-CN link=blue vlink=purple style='text-justify-trim:punctuation'><div class=WordSection1><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>***************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>                      ICTAC 2013  <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>10th International Colloquium on Theoretical Aspects of Computing<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>                 ***  Call For Papers  ***<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>                    September 4-6, 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>                    Shanghai, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>             http://ictac2013.ecnu.edu.cn/<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>***************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>ICTAC 2013 is the 10th 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 2013 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. The 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.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>THEMES AND TOPICS OF PAPERS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>ICTAC 2013 calls for regular research papers on theories of computation and programming, foundations of software engineering, and on formal techniques in software design and verification; short papers on recent work or proposals of challenges in new programming paradigms such as Cyber-Physical Systems, Cloud Computing and Social Networks; and papers about tools that support formal techniques for software modeling, system design and verification.  <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>The topical areas of the conference include, but not limited to<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Automata theory and formal languages;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Principles and semantics of programming languages;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Theories of concurrency, mobility and reconfiguration; <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Logics and their applications;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Software architectures and their models, refinement and verification;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Relationship between software requirements, models and code;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Program static and dynamic analysis and verification;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Software specification, refinement, verification and testing;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Model checking and theorem proving;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Models of object and component systems;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Coordination and feature interaction;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Integration of theories, formal methods and tools for engineering computing systems;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Service-oriented architectures: models and development methods;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Models of concurrency, security, and mobility;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Theory of distributed, grid and cloud computing;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Real-time, embedded, hybrid and cyber-physical systems;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Type and category theory in computer science;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Models for learning and education;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Case studies, theories, tools and experiments of verified systems;<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Domain-specific modeling and technology: examples, frameworks and experience.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Challenges and foundations in the environmental modeling and monitoring, healthcare, and disaster management.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>PUBLICATION AND SUBMISSION<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>As for the past editions, it is the plan that the proceedings of ICTAC 2013 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. A special issue of a journal with extended version of selected papers from ICTAC 2013 is under negotiation. Submissions to the colloquium 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. Submissions can be Regular Papers, Short Papers or Tool Papers. Short papers can present recent or ongoing work or discuss new ideas which are at an early stage of development and have not been thoroughly evaluated yet. Papers should be written in English. Regular Papers should not exceed 18 pages and Short Papers and tool papers should be between 5 and 10 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers must be submitted at http://www.easychair.org/conferences/?conf=ictac2013. Short papers and tool papers must contain clear reference to the background theories and techniques; and a tool paper must further provide a link to a webpage that contains a tutorial and demo of the tool. All queries should be sent to the e-mail address ictac2013@sei.ecnu.edu.cn.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>IMPORTANT DATES<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Paper submission deadline: 8 March 2013 <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Paper Accept/Reject Notification: 26 Apr 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Final paper submission: 17 May 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Conference dates: 4 --- 6 September 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>ASSOCIATED EVENTS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Festschrift Symposium in Honor of Prof. Jifeng He: 01-03 September 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Summer School on Software Engineering: 26-30 August 2013<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>INVITED SPEAKERS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Luca Cardelli, Microsoft Research Cambridge, UK<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jifeng He, East China Normal University, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Marta Kwiatkowska, University of Oxford, UK <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>CONFERENCE CHAIRS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhou Chaochen, Software Institute, Chinese Academy of Sciences, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Peter Haddawy, UNU-IIST, Macau SAR, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Bill Roscoe, University of Oxford, UK<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>PROGRAMME CHAIRS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhiming Liu, UNU-IIST, Macau SAR, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jim Woodcock, University of York, UK<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Huibiao Zhu, East China Normal University, China<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>PROGRAMME COMMITTEE<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Farhad Arbab (CWI and Leiden University, The Netherlands)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Michael Butler (University of Southampton, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Ana Cavalcanti (University of York, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhenbang Chen (National University of Defense Technology, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Van Hung Dang (University of Engineering and Technology, Vietnam)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Thao Dang (VERIMAG, France)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>David Deharbe (Universidade Federal do Rio Grande do Norte, Brasil)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jinsong Dong (National University of Singapore, Singapore)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Meenakshi Dsouza (IIIT, India)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhenhua Duan (Xidian University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>John Fitzgerald (Newcastle University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Martin Fraenzle (Carl von Ossietzky University Oldenburg, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Marcelo Frias (Instituto Tecnologico Buenos Aires, Argentina)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Lindsay Groves (Victoria University of Wellington, New Zealand)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Kim Guldstrand Larsen (Aalborg University, Denmark)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Ian J. Hayes (University of Queensland, Australia)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhenjiang Hu (NII, Japan)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Lei Ju (Shandong University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Daniel Kroening (Oxford University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Martin Leucker (University of Lübeck, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zhiming Liu (UNU-IIST, Macau SAR, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Annabelle Mciver (Macquarie University, Australia)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Dominique Mery (Université de Lorraine, France)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Tobias Nipkow (Technische Universit?t München, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Paritosh Pandya (TIFR, India)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jun Pang (University of Luxembourg, Luxembourg)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Geguang Pu (East China Normal University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shengchao Qin (Teesside University, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Zongyan Qiu (Peking University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Abhik Roychoudhury (National University of Singapore, Singapore)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Augusto Sampaio (Federal university of Pernambuco, Brasil)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Ondrej Sery (University of Lugano, Switzerland)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Natarajan Shankar (SRI, US)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Marjan Sirjani (Reykjavik University, Iceland)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Andrzej Tarlecki (Warsaw University, Poland)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Mark Utting (The University of Waikato, New Zealand)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Tarmo Uustalu (Tallinn University of Technology, Estonia)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Farn Wang (National Taiwan University, Taiwan)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Burkhart Wolff (University Paris-Sud, France)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jim Woodcock (University of York, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Wang Yi (Uppsala University, Sweden)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Naijun Zhan (Chinese Academy of Sciences, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jianjun Zhao (Shanghai Jiao Tong University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Jianhua Zhao (Nanjing University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Huibiao Zhu (East China Normal University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p></div></body></html>