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 1B94D7FACC for ; Fri, 29 Aug 2014 23:33:21 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cie@maths.leeds.ac.uk) identity=pra; client-ip=129.11.36.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie@maths.leeds.ac.uk"; x-sender="cie@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of cie@maths.leeds.ac.uk) identity=mailfrom; client-ip=129.11.36.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="cie@maths.leeds.ac.uk"; x-sender="cie@maths.leeds.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="cie@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: AhkCAOHwAFSBCyQBmWdsb2JhbABbFoNKV7ItAZVGiGAWEAEBAQEBCAsLBxQphCdLBUg0iSMNmAufRIUZjB2CQoVABZxclziBRzwvAQGCTQEBAQ X-IPAS-Result: AhkCAOHwAFSBCyQBmWdsb2JhbABbFoNKV7ItAZVGiGAWEAEBAQEBCAsLBxQphCdLBUg0iSMNmAufRIUZjB2CQoVABZxclziBRzwvAQGCTQEBAQ X-IronPort-AV: E=Sophos;i="5.04,427,1406584800"; d="scan'208";a="92129219" Received: from amsta.leeds.ac.uk ([129.11.36.1]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Aug 2014 23:33:20 +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 s7TLXHg6021672 for ; Fri, 29 Aug 2014 22:33:20 +0100 (BST) Received: (from cie@localhost) by maths.leeds.ac.uk (8.14.1/8.13.4/Submit) id s7TLWMgj019735 for caml-list@inria.fr; Fri, 29 Aug 2014 22:32:22 +0100 (BST) Date: Fri, 29 Aug 2014 22:32:22 +0100 (BST) From: CIE (S B Cooper) Message-Id: <201408292132.s7TLWMgj019735@maths.leeds.ac.uk> To: caml-list@inria.fr X-Validation-by: cie@maths.leeds.ac.uk Subject: [Caml-list] TAMC 2015, 18-20 May 2015, National University of Singapore - First Call for Papers First Call for Papers for the 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015) 18 - 20 May 2015 School of Computing, National University of Singapore TAMC 2015 aims at bringing together a wide range of researchers with interests in computational theory and applications. For more than 10 years, the conference series "Theory and Applications of Models of Computing" has fostered interactions and collaborations between both theoretical and applied researchers working on all aspects of computations and the ways to model it. Conference Chair: Sanjay Jain. Programme Committee Chairs: Rahul Jain and Frank Stephan. Programme Committee: Ajith Abraham, Anthony Bonato, Yijia Chen, Rodney G. Downey, Henning Fernau, Dimitris Fotakis, Gopal T V, Steffen Lempp, Jiamou Liu, Frexdexric Magniez, Klaus Meer, Mia Minnes, Philippe Moser, Mitsunori Ogihara, Yota Otachi, Yicheng Pan, Pan Peng, Anil Seth, Xiaoming Sun, Chaitanya Swamy, Hongan Wang, Wei Wang, Guohua Wu, Yitong Yin, Mingsheng Ying, Neal Young, Thomas Zeugmann, Shengyu Zhang, Conghua Zhou. There will be published proceedings. Submissions should have a length of 12 pages; for details for the submission format and submission-link and other questions, please consult the conference webpage http://www.comp.nus.edu.sg/~fstephan/tamc2015/tamc2015.html Papers already published in other conferences or in journals should not be submitted to TAMC 2015; furthermore, simultaneous submissions to other conferences are also not permitted. It is permitted to submit an extended version of the paper to a journal after the conference. Timeline: Submission due: Thu 27 November 2014 at 23:59 hrs GMT. Notification: Tue 20 January 2015. Final Version due: Tue 3 February 2015. Conference: Mon 18 - Wed 20 May 2015 Topics: TAMC 2015 is open for all topics relating to the theory and applications of models of computation. The topics include algebraic computation, algorithmic coding and number theory, algorithmic learning theory, approximation algorithms, automata theory, circuit complexity, communication complexity, complex networks and their theory, combinatorial algorithms, computability and recursion theory, computational biology, computational complexity, computational geometry, continuous and real computation, cryptography, data structures, design and analysis of algorithms, distributed algorithms, domain models, fixed parameter tractability, formal languages, game theory, geometric algorithms, grammatical inference, graph algorithms, graph mining, information theory, internet mathematics, memory hierarchy tradeoffs, model theory for computing, natural computing, network algorithms, network security and applications, online algorithms, optimisation, parallel algorithms, philosophy of computing, privacy and security, property testing, proof complexity, process models, quantum computation, randomness, randomised algorithms, space-time tradeoffs, streaming algorithms, systems theory, VLSI models of computation. TAMC in previous years: The conference series TAMC started in the year 2004 and has been held annually since then. The previous conferences are the following: Beijing China 2004, Kunming China 2005, Beijing China 2006, Shanghai China 2007, Xian China 2008, Changsha China 2009, Prague Czech Republic 2010, Tokyo Japan 2011, Beijing China 2012, Hong Kong China 2013, Chennai India 2014.