[logic-ml] Fwd: [PVS] Topics in Theoretical Computer Science 205 (Tehran, Iran) -- Call for Papers

[Ichiro Hasuo]

みなさま，

東京大学の蓮尾です．8月にテヘランで行われる国際会議
TTCS の案内をお送りします．ICALP や TCS のように track
A/B に分かれていて，スコープの広い会議です．
ぜひ投稿をご検討ください．

また，お近くの研究者のみなさん（特にこのメールが届かない，
アルゴリズム系のみなさま）にこのメールを転送いただけると
助かります．

どうかよろしくお願いいたします．
蓮尾 一郎
http://www-mmm.is.s.u-tokyo.ac.jp/



(apologies if you receive multiple copies)

=========================================
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