From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 3B4017FB38 for ; Fri, 12 Dec 2014 20:24:06 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mmajid@gmail.com) identity=pra; client-ip=209.85.217.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmajid@gmail.com"; x-sender="mmajid@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mmajid@gmail.com designates 209.85.217.180 as permitted sender) identity=mailfrom; client-ip=209.85.217.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmajid@gmail.com"; x-sender="mmajid@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lb0-f180.google.com) identity=helo; client-ip=209.85.217.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmajid@gmail.com"; x-sender="postmaster@mail-lb0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugEAO0/i1TRVdm0lGdsb2JhbAA/GhaCLYEVWASDAq9lUAEGgxyFZYcET4FfAQ2FaoEOBxYBAQEBAREBAQEBBwsLCRIvAYQlCwYdASUCBQ0DDQUQNwIkEgEFASgBKgSHdgMRDTeyEIMlPjGLLIRii1YnDYVJAQsBGQEFDoVyh2UJAYErBFCCOAwvDgOBMAWEJAJ3LYtzhTGBO4kaS0mCQwOBPhIjgRVbgUaBbj0wAQGBAYFAAQEB X-IPAS-Result: AugEAO0/i1TRVdm0lGdsb2JhbAA/GhaCLYEVWASDAq9lUAEGgxyFZYcET4FfAQ2FaoEOBxYBAQEBAREBAQEBBwsLCRIvAYQlCwYdASUCBQ0DDQUQNwIkEgEFASgBKgSHdgMRDTeyEIMlPjGLLIRii1YnDYVJAQsBGQEFDoVyh2UJAYErBFCCOAwvDgOBMAWEJAJ3LYtzhTGBO4kaS0mCQwOBPhIjgRVbgUaBbj0wAQGBAYFAAQEB X-IronPort-AV: E=Sophos;i="5.07,565,1413237600"; d="scan'208,217";a="113040656" Received: from mail-lb0-f180.google.com ([209.85.217.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Dec 2014 20:24:04 +0100 Received: by mail-lb0-f180.google.com with SMTP id l4so6313149lbv.25 for ; Fri, 12 Dec 2014 11:24:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=8PrQobwQFjOGoNUi548ig1lw1pAv0naME8VcN3gLaoA=; b=WZEBdYS0bFNGHsuG0hMfRHyEofjB0rBTWFgGxFS2uikBSxvXyFn4pDYhGF2XRdu46p 3aah8MqxK50KFFvSH8B2LHqUMEHdKNEw4JwZaOcPPvvkdnsd8khM9usiKTGjLGd9waDj mgNEH1Wdy/WWZvdN6zbohFJSm4N+4WkdEXsXiXL3RVvB7VUjJ9f4NSIUzossQQ3DnK36 pg2jEbpQTgR2E6ZKEFRotgqyOlBjST2I5WWYeJkzcUNqW/3z2s4zUQ11d2WgdFm8FtNm JTBNeOqm9EUuoipalmejDwVi4hG6XInnf42LLdOZ0IbvBynDk7w5EVJZFPuumn7wZQOl Oy2Q== X-Received: by 10.112.64.10 with SMTP id k10mr17019787lbs.72.1418412244089; Fri, 12 Dec 2014 11:24:04 -0800 (PST) MIME-Version: 1.0 Sender: mmajid@gmail.com Received: by 10.112.135.194 with HTTP; Fri, 12 Dec 2014 11:23:43 -0800 (PST) From: Mahdi Jaghoori Date: Fri, 12 Dec 2014 20:23:43 +0100 X-Google-Sender-Auth: LL9vM_KsGsrEorboSf0xe45je2E Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary=001a11c3f042f44323050a09d54a X-Validation-by: jaghouri@cwi.nl Subject: [Caml-list] Call for papers TTCS'15 (Tehran, Iran) --001a11c3f042f44323050a09d54a Content-Type: text/plain; charset=UTF-8 (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, IranAugust 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 --001a11c3f042f44323050a09d54a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

(apologies if you receive multiple copies)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Topics in T= heoretical Computer Science (TTCS=C2=A02015)
http://www.ttcs.ir/
Institute for Research in= Fundamental Sciences (IPM), Tehran, Iran
August 26-28, 2015
=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Scope

TTCS= =C2=A0is a new bi-annual conference series, intending to serve as a forum f= or novel and high-quality research in all areas of Theoretical Computer Sci= ence. The conference is held in cooperation with the European Association f= or Theoretical Computer Science.=C2=A0

There will be a number of sat= ellite events at=C2=A0TTCS, These will feature presentation of early resear= ch results, and position papers. There will also be a forum for Ph.D. stude= nts 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 g= raph theory and combinatorics,
  • approxima= tion algorithms,
  • computational complexit= y,
  • computational geometry,
  • computational learning theory,
  • concurrency theory,
  • coordin= ation languages,
  • economics and algorithm= ic game theory,
  • fixed parameter algorith= ms,
  • 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,
  • st= ochastic and probabilistic specification and reasoning
  • theoretical aspects of other CS-related research areas, e.g.= , computational science, databases, information retrieval, and networking,<= /li>
  • theoretical cryptography,
  • theory of programming languages, and
  • type theory and its application in program verification.=
Anuj Dawar, Cambridge University, UK= =C2=A0
Michael Fellows, Charles Darwin University, Australia=C2= =A0
Mehrnoosh Sadrezadeh, Queen Mary University of London, UK=C2= =A0

Submis= sion

For the main conference, we solicit research papers in = all areas of theoretical computer science. All papers will undergo a rigoro= us 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 exce= ed 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:=C2=A0https= ://www.easychair.org/conferences/?conf=3Dttcs2015=C2=A0. The web site i= s open for submissions.

Important Dates

  • Paper Submission:=C2=A0May 15, 2015 (Anywhwer= e on Earth)
  • Author notificat= ion:=C2=A0June 26, 2015
  • Camera ready paper due:=C2=A0July 10, 2015
  • Conference:=C2=A0August 26-28, 2015
=

Program Committee=

Track A: Algorithms and Complexity

--001a11c3f042f44323050a09d54a--