From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 35783BB84 for ; Mon, 30 Jun 2008 14:25:50 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAHxtaEjAXQIn/2dsb2JhbACwEg X-IronPort-AV: E=Sophos;i="4.27,727,1204498800"; d="scan'208";a="14661781" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jun 2008 14:25:49 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m5UCPmWv007006 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 30 Jun 2008 14:25:49 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQBAAhtaEiA8OpBd2dsb2JhbACSeQEMBSCcZg X-IronPort-AV: E=Sophos;i="4.27,727,1204498800"; d="scan'208";a="12669603" Received: from cheviot3.ncl.ac.uk ([128.240.234.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Jun 2008 14:25:48 +0200 X-Newcastle-MailScanner-Watermark: 1215433494.02998@n30pjSf5hZl4mvEr1VT7DQ Received: from largo.campus.ncl.ac.uk (largo.ncl.ac.uk [10.8.234.184]) by cheviot3.ncl.ac.uk (8.13.1/8.13.1) with ESMTP id m5UCOptD028991; Mon, 30 Jun 2008 13:24:52 +0100 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Subject: CfPArt: ICTAC 2008 Date: Mon, 30 Jun 2008 13:24:51 +0100 Message-ID: <20DA376D0C991745A4D5249F7BCD7A2508AB54AE@largo.campus.ncl.ac.uk> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: CfPArt: ICTAC 2008 Thread-Index: AcjarEt9VtRlrQVVTeS/VY4UIT0G1g== From: "Jeremy Bryans" To: "Jeremy Bryans" Cc: , , , , , , , , , , X-Newcastle-MailScanner-Information: Please contact Postmaster@newcastle.ac.uk for more information X-Newcastle-MailScanner: Found to be clean X-Newcastle-MailScanner-MCPCheck: X-Newcastle-MailScanner-From: jeremy.bryans@newcastle.ac.uk X-NCL-Spam-Status: No X-Miltered: at concorde with ID 4868D0CD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lncs:01 non-standard:01 iist:01 organising:01 tobias:01 nipkow:01 natarajan:01 tomasz:01 natarajan:01 zhao:98 macao:98 sampaio:98 bowen:98 davies:98 dong:98 [Apoligies for multiple copies] CALL FOR PARTICIPATION 5th International Colloquium on Theoretical Aspects of Computing (ICTAC = 2008) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D 1-3 September 2008 The Marmara, Istanbul, Turkey (Tutorials & Workshops 30-31 August 2008, Sabanci University, Istanbul) www.ictac.net/ictac08 The proceedings of ICTAC 2008 will be published by Springer, LNCS.=20 Overview: 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).=20 Conference program available to download: =20 http://www.ictac.net/ictac08/Programme.doc Tutorials (31 August) Jean-Raymond Abrial: Event-B and the Rodin Platform Bill Roscoe: Some non-standard authentication methods Jan Peleska: A Formal Introduction to Model-Based Testing Tutorial abstracts: http://www.ictac.net/ictac08/tutorials.htm Workshops (30-31 August) http://www.ictac.net/ictac08/workshops.htm International Workshop on Quality Aspects of Coordination (QAC 2008) = [Chairs: Sun Meng, Farhad Arbab] http://www.cwi.nl/qac08/ 2nd International Workshop on Harnessing Theories for Tool Support in = Software [Chairs: Jianhua Zhao, Volker Stolz] http://www.iist.unu.edu/ttss08/ International Workshop on Foundations of Computer Science as = Logic-Related [Chair: Walter Carnielli] http://www.cle.unicamp.br/prof/carnielli/istanbul08/index08.html Registration: Early registration deadline: August 1 Full registration information at http://www.ictac.net/ictac08/registration.htm Chairs & Contacts ----------------- General Chair: Mike Reed, UNU-IIST Organising Chair: Husnu Yenigun (yenigun@sabanciuniv.edu), Sabanci = University, Istanbul Programme Chairs:=20 John Fitzgerald, Newcastle University, UK (John.Fitzgerald@ncl.ac.uk)=20 Anne Haxthausen, Technical University of Denmark (ah@imm.dtu.dk) Publicity Chair: Jeremy Bryans, Newcastle University, UK Steering Committee: John Fitzgerald, UK; Martin Leucker, Germany; = Zhiming Liu (Chair), UNU-IIST, Macao; Tobias Nipkow, Germany; Augusto = Sampaio, Brazil; Natarajan Shankar, USA; Jim Woodcock, UK Programme Committee: Keijiro Araki, JP; Jonathan Bowen, UK; Michael = Butler, UK; Ana Cavalcanti, UK; Patrice Chalin, CA; Christine Choppy, = FR; Jim Davies, UK; Jin Song Dong, SA; George Eleftherakis, GR; Esra = Erdem ,TR; Wan Fokkink, NL; Marcelo Frias, AR; Kokichi Futatsugi, JP; = Chris George, UNU-IIST; Lindsay Groves, NZ; Michael R. Hansen, DK; Ian = Hayes, AU; Dang Van Hung, VN; Tomasz Janowski, UNU-IIST; He Jifeng, CN; = Joe Kiniry, IE; Maciej Koutny, UK; Kung-Kiu Lau, UK; Martin Leucker, DE; = Joe Morris, IE; Peter Mosses, UK; Paritosh K Pandya, IN; = Ernst-R=FCdiger Olderog, DE; Anders Ravn, DK; Wolfgang Reisig, DE; = Augusto Sampaio, BR; Bernhard Schaetz, DE; Natarajan Shankar, USA; = Serdar Tasiran, TR; Helen Treharne, UK; Alan Wassyng, CA; Jim Woodcock, = UK; Ji Wang, CN; Naijun Zhan, CN