<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
    <b>CALL FOR PAPERS TAMC 2017<br>
    </b><br>
    <div><b>Theory and Applications of Models of Computation 2017</b> (
      <a href="http://www.tamc2017.unibe.ch" target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://www.tamc2017.unibe.ch&source=gmail&ust=1476173100994000&usg=AFQjCNGUPB0004e1dsQhzilaKPFQ9R2s8w">http://www.tamc2017.unibe.ch</a>
      ) <a href="http://www.tamc2017.unibe.ch" target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://www.tamc2017.unibe.ch&source=gmail&ust=1476173100994000&usg=AFQjCNGUPB0004e1dsQhzilaKPFQ9R2s8w"><br>
      </a></div>
    <br>
    TAMC 2017 aims at bringing together a wide range of researchers with
    interest in computational theory and its applications. The main
    themes of the conference are computability, computer science logic,
    complexity, algorithms, models of computation and systems theory.
    There are  two special sessions planned: <i>Logic in computer
      science </i>and <i>New models of computation</i>. Typical but
    not exclusive topics of interest include: <br>
    <br>
    algebraic computation<br>
    algorithmic coding and number theory<br>
    approximation algorithms<br>
    automata theory<br>
    computational biology and biological computing<br>
    computational complexity<br>
    computational game theory<br>
    computational geometry<br>
    computer science logic<br>
    cryptography<br>
    domain models<br>
    learning theory<br>
    modal and temporal logics<br>
    model theory for computing <br>
    natural computation<br>
    networks in nature and society<br>
    online algorithms<br>
    optimization<br>
    privacy and security<br>
    process models<br>
    proof complexity<br>
    property testing<br>
    quantum computing<br>
    randomness and pseudo-randomness<br>
    space-time tradeoffs<br>
    streaming algorithms<br>
    systems theory <br>
    VLSI  models of computation<br>
    ----------------------------------------------------<br>
    <br>
    <b>INVITED SPEAKERS<br>
      <br>
    </b>Marta Kwiatkowska (Univesity of Oxford, Oxford)<br>
    Pinyan Lu (Shanghai University of Finance and Economics, Shanghai)<br>
    Maria Emilia Maietti (Università di Padova, Padova)<br>
    Johann A. Makowsky (Israel Institute of Technology, Haifa)<br>
    Carlos Martín-Vide (Universitat Rovira i Virgili, Tarragona)<br>
    Stefan Wolf (Università della Svizzera italiana, Lugano)<br>
    Jeffery Zucker (McMaster University, Hamilton)<br>
    ----------------------------------------------------<br>
    <br>
    <b>IMPORTANT DATES</b><br>
    <br>
    <b>Submission Deadline:</b><br>
    October 31, 2016<br>
    <br>
    <b>Notification of Acceptance:</b><br>
    December 15, 2016<br>
    <br>
    <b>Final Camera Ready Version:</b><br>
    January 15, 2017<br>
    ---------------------------------------------------<br>
    <br>
    <b>PROGRAMME COMMITTEE</b><br>
    <br>
    <b>Chair:</b> G. Jäger (University of Bern)<br>
    <b>Co-chair:</b> T V Gopal (Anna University, India)<br>
    <b>Members: </b>S. Artemov, J. Bradfield, C. Calude, V.
    Chakaravarthy, A. Fässler, H. Fernau, D. Fotakis, T. Fujito, C.A.
    Furia, A.D. Jaggard, R. Kuznets, S. Lempp, J. Liu, S. Martini, K.
    Meer, M. Minnes, P. Moser, M. Ogihara, J. Rolim, H. Schwichtenberg,
    A. Seth, R.K. Shyamasundar, S. Steila, T. Studer, S. Wainer, P.
    Widmayer, G. Wu, Y. Yin, M. Ying, T. Zeugmann, N. Zhan<br>
    -----------------------------------------------------<br>
    <br>
    <b>STEERING COMMITTEE<br>
      <br>
    </b>M. Agrawal (Indian Institute of Technology, Kanpur)<br>
    Jin-Yi Cai (University of Wisconsin)<br>
    J. Hopcroft (Cornell University)<br>
    A. Li (Chinese Academy of Sciences)<br>
    Z. Liu (Institute of Computing Technology, Chinese Academy of
    Sciences)<br>
    -----------------------------------------------------<br>
    <br>
    <b>Paper submission via Easychair. Please find the paper submission
      guidelines at</b>:<a
      href="http://www.tamc2017.unibe.ch/submission.html"
      target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://www.tamc2017.unibe.ch/submission.html&source=gmail&ust=1476173100994000&usg=AFQjCNFUgNlX3TDOWGC6iodaKw_DufIZCQ">
      http://www.tamc2017.unibe.ch/s<wbr>ubmission.html</a><wbr><wbr><wbr><wbr><wbr>
  </body>
</html>