From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 806A07F86A for ; Tue, 4 Mar 2014 20:16:49 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel@info.uaic.ro) identity=pra; client-ip=85.122.23.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@info.uaic.ro"; x-sender="gabriel@info.uaic.ro"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel@info.uaic.ro) identity=mailfrom; client-ip=85.122.23.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@info.uaic.ro"; x-sender="gabriel@info.uaic.ro"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@thor.info.uaic.ro) identity=helo; client-ip=85.122.23.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@info.uaic.ro"; x-sender="postmaster@thor.info.uaic.ro"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AksEAMklFlNVehcBb2dsb2JhbABag0HBRIEeFg4BDAsKBhYogiYBBR0bAg8dAgoXUVcZCYd0Cc03jFeBGAoEAwFXgi4PgXsElFGDa4Y6hiyIdDqBLAkX X-IPAS-Result: AksEAMklFlNVehcBb2dsb2JhbABag0HBRIEeFg4BDAsKBhYogiYBBR0bAg8dAgoXUVcZCYd0Cc03jFeBGAoEAwFXgi4PgXsElFGDa4Y6hiyIdDqBLAkX X-IronPort-AV: E=Sophos;i="4.97,587,1389740400"; d="scan'208";a="61290488" Received: from thor.info.uaic.ro ([85.122.23.1]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Mar 2014 20:16:48 +0100 Received: from localhost (localhost [127.0.0.1]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by thor.info.uaic.ro (Postfix) with ESMTPS id AA948448BF; Tue, 4 Mar 2014 21:16:44 +0200 (EET) Date: Tue, 4 Mar 2014 21:16:44 +0200 (EET) From: Gabriel Ciobanu To: ictac2014@fmi.unibuc.ro In-Reply-To: <008301cf3817$7dd22100$79766300$@cs.man.ac.uk> Message-ID: References: <008301cf3817$7dd22100$79766300$@cs.man.ac.uk> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Validation-by: gabriel@info.uaic.ro Subject: [Caml-list] Call for Papers ICTAC 2014, 17-20 Sept, Bucharest, Romania --------------------------------------------------------------- [Apologies if you receive multiple copies of this message] Abstract submission: 16 March 2014 Submission deadline: 23 March 2014 CALL FOR PAPERS -- ICTAC 2014 ********************************************************************** 11th International Colloquium on Theoretical Aspects of Computing 17-20 September 2014, Bucharest, Romania http://fmi.unibuc.ro/ictac2014 ********************************************************************** ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and 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. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science. THEMES AND TOPICS OF PAPERS ICTAC 2014 calls for regular research papers on theories of computation and programming, foundations of software engineering and on formal techniques in software design and verification, as well as papers about tools that support formal techniques for software modeling, system design and verification. The topical areas of the conference include, but not limited to * Automata theory and formal languages; * Principles and semantics of programming languages; * Theories of concurrency, mobility and reconfiguration; * Logics and their applications; * Software architectures, their models, refinement and verification; * Relationship between software requirements, models and code; * Program static and dynamic analysis and verification; * Software specification, refinement, verification and testing; * Model checking and theorem proving; * Models of object and component systems; * Coordination and feature interaction; * Integration of theories, formal methods and tools for engineering computing systems; * Service-oriented architectures: models and development methods; * Models of concurrency, security, and mobility; * Theory of distributed, grid and cloud computing; * Real-time, embedded, hybrid and cyber-physical systems; * Type and category theory in computer science. PAPER SUBMISSION As for the past editions, the proceedings of ICTAC 2014 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. Special issue of few journals with extended version of selected papers from ICTAC 2014 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, as well as their relevance to the conference. Regular Papers should not exceed 18 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers must be submitted by using www.easychair.org/conferences/?conf=ictac2014. IMPORTANT DATES: Abstract submission: 16 March 2014 Submission deadline: 23 March 2014 Paper notification: 30 May 2014 Revised/final paper: 14 June 2014 PC CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Dominique Mery, LORIA, Universite de Lorraine, France PROGRAM COMMITTEE Yamine Ait-Ameur, IRIT, ENSEIHT, France Farhad Arbab, CWI and Leiden University, The Netherlands Michael Butler, University of Southampton, UK Ana Calvacanti, University of York, UK Jeremie Chalopin, CNRS, France Zhenbang Chen, National University of Defense Technology, China Maximiliano Cristia, Faculty of Exact Sciences, Argentina David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil Rocco De Nicola, IMT Lucca, Italy Jose Luiz Fiadeiro, Royal Holloway, University of London, UK John Fitzgerald, Newcastle University, UK Simon Gay, University of Glasgow, UK Dimitra Giannakopoulou, NASA Ames, USA Stefania Gnesi, ISTI-CNR, Italy Lindsay Groves, Victoria University of Wellington, New Zealand Geoff Hamilton, Dublin City University, Ireland Ian J. Hayes, University of Queensland, Australia Rob Hierons, Brunel University, UK Jane Hillston, University of Edinburgh, UK Ross Horne, Romanian Academy, Iasi, Romania Zhenjiang Hu, National Institute of Informatics, Japan Florentin Ipate, University of Bucharest, Romania Tudor Jebelean, Johannes Kepler University, Austria Cliff Jones, Newcastle University, UK Lila Kari, University of Western Ontario, Canada Jetty Kleijn, Leiden University, The Netherlands Maciej Koutny, Newcastle University, UK Yassine Lakhnech, VERIMAG, France Kim G. Larsen, Aalborg University, Denmark Insup Lee, University of Pennsylvania, USA Axel Legay, INRIA, France Martin Leucker, University of Lubeck, Germany Zhiming Liu, UNU-IIST, Macau, China Marius Minea, Politehnica University of Timisoara, Romania Victor Mitrana, University of Bucharest, Romania Rosemary Monahan, National University of Ireland, Ireland Mohammed Mosbah, LABRI, University of Bordeaux, France Tobias Nipkow, Technical University Munich, Germany Manuel Nunez, Universidad Complutense de Madrid, Spain Paritosh Pandya, Tata Institute of Fundamental Research, India Jun Pang, University of Luxembourg, Luxembourg Corina Pasareanu, NASA Ames, USA Shengchao Qin, University of Teesside, UK Antonio Ravara, Universidade Nova de Lisboa, Portugal Grigore Rosu, University of Illinois at Urbana Champaign, USA Augusto Sampaio, Federal University of Pernambuco, Brasil Pierre-Yves Schobbens, Universite de Namur, Belgium Emil Sekerinski, McMaster University, Canada Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Max Planck Institute, Germany Gheorghe Stefanescu, University of Bucharest, Romania Andrzej Tarlecki, Warsaw University, Poland Elena Troubitsyna, Abo Akademi University, Finland Emilio Tuosto, University of Leicester, UK Martin Wirsing, Ludwig-Maximilian University of Munich, Germany Burkhart Wolff, Universite de Paris-Sud, France Jim Woodcock, University of York, UK Fatiha Zaidi, Universite de Paris-Sud, France Naijun Zhan, Chinese Academy of Sciences, China Jianjun Zhao, Shanghai Jiao Tong University, China Huibiao Zhu, East China Normal University, China GENERAL CHAIRS Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania Florentin Ipate, University of Bucharest, Romania STEERING COMMITTEE Ana Cavalcanti, University of York, UK John Fitzgerald, Newcastle University, UK Martin Leucker, University of Luebeck, Germany Zhiming Liu, UNU-IIST, Macao, China Tobias Nipkow, Technical University Munich, Germany Augusto Sampaio, Federal University of Pernambuco, Brasil Natarajan Shankar, SRI International, USA ********************************************************************** This call for papers and additional information about the conference can be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/. For information regarding the conference and other queries, you can use the conference email address: ictac2014@fmi.unibuc.ro **********************************************************************