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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2CE547EE42 for ; Mon, 21 Oct 2013 05:27:23 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pmt6sbc@maths.leeds.ac.uk) identity=pra; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="pmt6sbc@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pmt6sbc@maths.leeds.ac.uk) identity=mailfrom; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="pmt6sbc@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@amsta.leeds.ac.uk) identity=helo; client-ip=129.11.36.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pmt6sbc@maths.leeds.ac.uk"; x-sender="postmaster@amsta.leeds.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak8CAFqeZFKBCyQBl2dsb2JhbABagz+sGzABk1oWDgEBAQEBCBYHPIJJSwVIFCBhCYdrAw8NnQCXdIkUjF4OgTeFaQOMbokxgWqBL4shiFw7gS4HFwY X-IPAS-Result: Ak8CAFqeZFKBCyQBl2dsb2JhbABagz+sGzABk1oWDgEBAQEBCBYHPIJJSwVIFCBhCYdrAw8NnQCXdIkUjF4OgTeFaQOMbokxgWqBL4shiFw7gS4HFwY X-IronPort-AV: E=Sophos;i="4.93,536,1378850400"; d="scan'208";a="31126595" Received: from amsta.leeds.ac.uk ([129.11.36.1]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Oct 2013 05:27:22 +0200 Received: from maths.leeds.ac.uk (localhost [127.0.0.1]) by amsta.leeds.ac.uk (8.14.1/8.14.1) with ESMTP id r9L3RJu9000653 for ; Mon, 21 Oct 2013 04:27:22 +0100 (BST) Received: (from pmt6sbc@localhost) by maths.leeds.ac.uk (8.14.1/8.13.4/Submit) id r9L3QO9H029044 for caml-list@inria.fr; Mon, 21 Oct 2013 04:26:24 +0100 (BST) Date: Mon, 21 Oct 2013 04:26:24 +0100 (BST) From: S B Cooper Message-Id: <201310210326.r9L3QO9H029044@maths.leeds.ac.uk> To: caml-list@inria.fr X-Validation-by: pmt6sbc@maths.leeds.ac.uk Subject: [Caml-list] TAMC2014 in Chennai, India, April 11-13, 2014 ********************************************************************** CALL FOR PAPERS: 11th Annual Conference on Theory and Applications of Models of Computation [TAMC 2014] 11- 13 April 2014 Vivekananda Auditorium, Anna University, Chennai, India http://www.annauniv.edu/tamc2014/ Important Dates: Submission Deadline: 15 November 2013, 11:59pm EST. Notification of Acceptance: 15 December 2013 Final Camera Ready Version Due: 15 January 2014 Proceedings: Springer Lecture Notes in Computer Science ********************************************************************** Scope and Topics TAMC 2014 aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, algorithms, models of computation and systems theory. Typical but not exclusive topics of interest include: algebraic computation algorithmic coding theory algorithmic number theory approximation algorithms automata theory circuit complexity combinatorial algorithms computability computational biology, and biological computing computational complexity [including circuits, communication, derandomization, PCPs, proof complexity, structural complexity] computational game theory computational logic computational geometry continuous and real computation cryptography data structures design and analysis of algorithms distributed algorithms domain models [Assets, Price of Abstraction, frameworks] fixed parameter tractability geometric algorithms graph algorithms information and communication complexity learning theory memory hierarchy tradeoffs model theory for computing [modal and temporal logics, specification, verification, synthesis or automated software construction, aesthetics, software behavior, transformation of models] natural computation nature inspired computing network algorithms networks in nature and society online algorithms optimization parallel algorithms philosophy of computing [emerging paradigms, morality, intentionality] privacy and security property testing proof complexity process models [for software construction, validating software under construction, supply - chain] quantum computing randomness, pseudo-randomness randomized algorithms space - time tradeoffs streaming algorithms systems theory [Concurrent, Timed, Hybrid and Secure systems] VLSI Models of Computation [Models for Hardware - Software Codesign] Paper Submission The format of the papers should confirm to the ACM Guidelines (option 2) available at: http://www.acm.org/sigs/publications/proceedings-templates For submitting your papers, please visit: http://senldogo0039.springer-sbm.com/ocs/home/TAMC2014 Steering Committee Manindra Agrawal (Indian Institute of Technology, Kanpur, India) Jin-Yi Cai (University of Wisconsin - Madison, USA) S. Barry Cooper (University of Leeds, Leeds, UK) John Hopcroft (Cornell University) Angsheng Li (Chinese Academy of Sciences) Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences) Programme Committee Aaron D. Jaggard,U.S. Naval Research Laboratory, USA Ajith Abraham, Machine Intelligence Research Labs (MIR Labs), USA Bakhadyr Khoussainov, University of Auckland, New Zealand Carlo Alberto Furia, ETH Zurich, Switzerland Chaitanya K Baru, University of California, San Diego, USA Christel Baier, Technische Universitat Dresden, Germany Cristian S. Calude, University of Auckland, New Zealand Dimitris Fotakis, National Technical University of Athens, Greece Dipti Deodhare, Centre for Artificial Intelligence and Robotics (CAIR),India Hongan Wang, State Key Laboratory for Computer Science (LCS), China Jacques Sakarovitch, Ecole nationale superieure des telecommunications, France & Chair: International Federation for Information Processing (IFIP) TC-1-Foundations of Computer Science Jianxin Wang, Central South University (CSU), China Jose R. Correa, Universidad de Chile, Chile Kamal Lodaya, Institute of Mathematical Sciences, India Kazuhisa Makino, University of Tokyo, Japan R Nadarajan, PSG College of Technology, India Y Narahari, Indian Institute of Science, India Naijun Zhan, State Key Laboratory for Computer Science (LCS), China Navin Goyal, Microsoft Research, India Pan Peng, Institute of Software, Chinese Academy of Sciences, China C Pandurangan, Indian Institute of Technology, Madras, India Rajagopal Srinivasan,Tata Consultancy Services,India Rajeeva Karandikar, Chennai Mathematical Institute, India Richard Banach, University of Manchester, UK R K Shyamasundar, Tata Institute of Fundamental Research (TIFR), India Somenath Biswas, Indian Institute of Technology, Kanpur, India Toshihiro Fujito,Toyohashi University of Technology, Japan Venkat Chakaravarthy, IBM Research, India Vincent Duffy, Purdue University, USA Wenhui Zhang, State Key Laboratory of Computer Science, China Xiaoming Sun, Institute of Computing Technology, China Academy of Sciences, China For any further Clarifications, please contact: Dr. T V Gopal Conference Chair - TAMC 2014 & Professor Department of Computer Science and Engineering College of Engineering Anna University Chennai - 600 025, INDIA E-mail: gopal@annauniv.edu ; gayamadhgop@hotmail.com Ph : (Off) 22351723 Extn. 3340 ; (Res) 24454753 http://www.csi-india.org/web/software/home **********************************************************************