26-28 Aug 2015
Tehran, Iran
========================================= Topics in Theoretical Computer Science (TTCS 2015) http://www.ttcs.ir/ Institute for Research in Fundamental Sciences (IPM), Tehran, Iran August 26-28, 2015 ========================================= Scope TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects. Topics of interest include but are not limited to: algebra and co-algebra in computer science, algorithms and data structures, algorithmic coding theory, algorithmic graph theory and combinatorics, approximation algorithms, computational complexity, computational geometry, computational learning theory, concurrency theory, coordination languages, economics and algorithmic game theory, fixed parameter algorithms, formal verification and model-based testing, logic in computer science, machine learning methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, optimization, parallel and distributed algorithms, quantum computing, randomness in computing, stochastic and probabilistic specification and reasoning theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking, theoretical cryptography, theory of programming languages, and type theory and its application in program verification. Keynote Speakers Anuj Dawar, Cambridge University, UK Michael Fellows, Charles Darwin University, Australia Mehrnoosh Sadrezadeh, Queen Mary University of London, UK Submission For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions. Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions. Important Dates Paper Submission: May 15, 2015 (Anywhwere on Earth) Author notification: June 26, 2015 Camera ready paper due: July 10, 2015 Conference: August 26-28, 2015 Program Committee Track A: Algorithms and Complexity Mohammad Ali Abam, Sharif University of Technology, Iran Saeed Akbari, Sharif University of Technology, Iran Saeed Alaei, Cornell University, USA Mohammad Hossein Bateni, Google Research, USA Salman Beigi, IPM, Iran Amir Daneshgar, Sharif University of Technology, Iran Fedor Fomin, University of Bergen, Norway Ali Ghodsi, University of Waterloo, Canada Mohammad Ghodsi, Sharif University of Technology, Iran Mohammad T. Hajiaghayi, University of Maryland, USA (Chair) Amin Karbasi, Yale University, USA Nicole Immorlica, Microsoft Research, USA Amit Kumar, IIT Delhi, India Mohammad Mahdian, Google Research, USA Hamid Mahini, University of Maryland, USA Bojan Mohar, Simon Fraser University, Canada Mohammad Mahmoody, University of Virginia, USA Vahab Mirrokni, Google Research, USA Morteza Monemizadeh, Frankfurt University, Germany Shayan Oveisgharan, UC Berkeley and University of Washington, USA Debmalya Panigrahi, Duke University, USA Jorg Sack, Carleton University, Canada Mohit Singh, Microsoft Research, USA Dimitrios M. Thilikos, CNRS, France and University of Athens, Greece Suresh Venkatasubramanian, University of Utah, USA Jan Vondrak, IBM Almaden Research Center, USA Track B: Logic, Semantics, and Programming Theory Farhad Arbab, CWI and Leiden University, The Netherlands S. Arun-Kumar, IIT Delhi, India Ilaria Castellani, INRIA Sophia Antipolis, France Dave Clarke, Uppsala University, Sweden and KU Leuven, Belgium Pieter Cuijpers, Eindhoven University of Technology, The Netherlands Fatemeh Ghassemi, Tehran University, Iran Matthew Hennessy, Trinity College Dublin, Ireland Ichiro Hasuo, University of Tokyo, Japan Mahdi Jaghoori, AMC University of Amsterdam, The Netherlands Jeroen Keiren, Vrije Universiteit Amsterdam, The Netherlands Bas Luttik, Eindhoven University of Technology, The Netherlands Jose Meseguer, University of Illinois at Urbana, USA Lary Moss, Indiana University, USA Mohammad Mousavi, Halmstad University, Sweden (Chair) Jun Pang, University of Luxembourg, Luxembourg Gerardo Schneider, Chalmers University of Technology, Sweden Marjan Sirjani, Reykjavik University, Iceland Walter Vogler, Augsburg University, Germany Tim Willemse, Eindhoven University of Technology, The Netherlands