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 c5ff346549e7 (Postfix) with ESMTP id 0AB9B5D3 for ; Fri, 15 Nov 2019 09:34:03 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,307,1569276000"; d="scan'208";a="411931909" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Nov 2019 10:34:03 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0A01D7F398; Fri, 15 Nov 2019 10:34:03 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id DBEA27F32D; Fri, 15 Nov 2019 10:29:46 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nevrenato@gmail.com; spf=Pass smtp.mailfrom=nevrenato@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f65.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Agw+Kuh+ItfxPwf9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1OgcTK2v8tzYMVDF4r011RmVBN6dsqkZwLKK+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhGiTanfL9/IhW7oQrNusQZnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gy?= =?us-ascii?q?kFKjE56nnahM9wgqxFvB2uqAFxzYDab4+aL/d+YrrdcMkGSWZdRMtcVSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoZXjqFsItxS+GQ6sD/73xDBWmH/5w7Y62PkmHAHAwgMgAcgOv2?= =?us-ascii?q?rSrNrvKKcSVvu4zKbNzTrZbvNW3S3x55TPchAkuPyBW697f8TWyUkqDQzFj1OQ?= =?us-ascii?q?pJTkPzON0+QBqXKU4PZ6WeKukW4rsx9+rSK0xsYslobJhpgaylHe9Sljx4Y1P9?= =?us-ascii?q?K4RUhmatCnCJtdrz+WO5dyT884QGxluDw2xqMYtZKmZiQHyZQqywbCZ/GDfYWE?= =?us-ascii?q?+A/vWeiTLDtigH9pZqiziwux/ES9zOD3S9O630xQriVfl9nBrnAN2ALX6siAUv?= =?us-ascii?q?Z9+12u2TeL1wzK5OBEO104mbPVK5MgwrM8jJUTsUPEHi/5nEX5krWaeVkj+uit?= =?us-ascii?q?8+jnY7PmqYGAN4JslA3yLqAjlta8DOk4KAQCQXaX9fmm2LDi/UD1WLBKgec3kq?= =?us-ascii?q?ndvpDaP8MbpquhDg9TzIkj9Qy/ACmg0NsCgXkHK0lIeB2Cj4fzOlHOJOr0Auu4?= =?us-ascii?q?g1SpiDtr3ezJPqX9ApXRKXjOiKvucqx4605Y0QYzydFf54lICrwaO/LyWkrxtM?= =?us-ascii?q?TCARMjMgy0xfznCNRn2Y8EV2KPGLeTMLnOvl+Q+uIvP+6MaZcJtzb6Mvgp/uLh?= =?us-ascii?q?jXskmVAGZqSpxpsWaHWgHvt8OUmZYHzsgs0AEWgQpAY+Qvbq2xW+Vmt3enepF4?= =?us-ascii?q?g1/Ds8E4vuWYPYTKihgfqc2Sa9HpoQfnwQWX6WFnK9TYiCUusLIASfPMJ62mgC?= =?us-ascii?q?WKa7RokoyRaGuwrzyr4hJe3RrH5L/an/3cR4srWA3So58iZ5WpzEjzO9Clpsl2?= =?us-ascii?q?ZNfAcYmbhlqBUkmFiG2Kl8xfdfEI4LvqIbYkIBLZfZitdCJZX3UwPFcM2OTQ//?= =?us-ascii?q?ENqjCDA1CNk2xo1XOhsvK5CZlhnGmhGSLfoVmriMXsFm96vd2z3uPZ84xSibkq?= =?us-ascii?q?YmiFYiT41EMmj03qM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7AgDQbs5dZ0HdVdFlHgELHINJVWxWW?= =?us-ascii?q?4QpjwuMbYhvgXWFaAkBAwEKAQEFHgoCAQGGYhwHAQQ0EwIOAQEEAQEBAgECAwQ?= =?us-ascii?q?BEwsLCwYphUAMgjsigw0LBh0BGwoCBQ0DEhADDAImAiURAQUBIjWDAYJFAQMuA?= =?us-ascii?q?QMLonyBAz2LJYEVBQEXgn8FgQQxAYEVggIKGScNZoE8AgcJAQh8KIwVGIF/En+?= =?us-ascii?q?EVIFFGQQYgSCDN4JeBI0BBAEMEpE1j0pHgW2CN4QAYot1gj8bjiaLZ4Q/izOFL?= =?us-ascii?q?Wd6kBaBOQIKBwYPI4FGWYEhMxojgQGBOoEBCUcRFFeQQwwMC4NQgmeCLYU/QjK?= =?us-ascii?q?BBD6NaYJAAQE?= X-IPAS-Result: =?us-ascii?q?A0A7AgDQbs5dZ0HdVdFlHgELHINJVWxWW4QpjwuMbYhvgXW?= =?us-ascii?q?FaAkBAwEKAQEFHgoCAQGGYhwHAQQ0EwIOAQEEAQEBAgECAwQBEwsLCwYphUAMg?= =?us-ascii?q?jsigw0LBh0BGwoCBQ0DEhADDAImAiURAQUBIjWDAYJFAQMuAQMLonyBAz2LJYE?= =?us-ascii?q?VBQEXgn8FgQQxAYEVggIKGScNZoE8AgcJAQh8KIwVGIF/En+EVIFFGQQYgSCDN?= =?us-ascii?q?4JeBI0BBAEMEpE1j0pHgW2CN4QAYot1gj8bjiaLZ4Q/izOFLWd6kBaBOQIKBwY?= =?us-ascii?q?PI4FGWYEhMxojgQGBOoEBCUcRFFeQQwwMC4NQgmeCLYU/QjKBBD6NaYJAAQE?= X-IronPort-AV: E=Sophos;i="5.68,307,1569276000"; d="scan'208";a="326819278" X-MGA-submission: =?us-ascii?q?MDGCrnNyvp5JGiLtk42TovsNxS6psNZCYe05pg?= =?us-ascii?q?hFJ7KYDQOclLTUA/LMehfZQ6GjUGKpiHZgz/fIruwI79JHb+3NEAmX3h?= =?us-ascii?q?kJa6rfPp0cpz98TJM3RXTlMVYbloOcBQQrBeKV79zf18v2tLZZxlO7rp?= =?us-ascii?q?Z+MjfguftgLtAuwbYeNmqx9A=3D=3D?= Received: from mail-wr1-f65.google.com ([209.85.221.65]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Nov 2019 10:29:45 +0100 Received: by mail-wr1-f65.google.com with SMTP id s5so10191254wrw.2; Fri, 15 Nov 2019 01:29:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:from:to:mime-version:subject:resent-from:resent-to :resent-bcc:date:user-agent:content-transfer-encoding; bh=w80QjeFN9mvhETepKiTyImg+YG+69YKBtmsEBVzlxnY=; b=VFMEYyHp6IGVFhcZs+V63XHATArZVpzgll+2jg9Qnni0IOtGITvJEpJcsCxgzE5jhR r6Aw0FASRA7rwe+X3CCZPMeR9APSlj5q51DqHf+jNwTW/y2drg/Q4vF4cD3maEagQJR0 8p2c1vn8E71jN4wkbf5zUW2BZduXfuo5Em73Lu6b+m1s+HiImi5z++2xzAUQm7uCsP6y 99QG02Yp7UYK9AljZb00CDk88d2A/CgqV1imloLc1TYPIFtRub3CH+PG32DFp4mCLY8N v85n0U7RXjBy1eKHakL35xQiOmyZj3UXqalQgrXKfjngEuc7wTlyEXs/q8fsbFDHfld2 0Vxw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:from:to:mime-version:subject :resent-from:resent-to:resent-bcc:date:user-agent :content-transfer-encoding; bh=w80QjeFN9mvhETepKiTyImg+YG+69YKBtmsEBVzlxnY=; b=Xos/WwBiAKGawFZafmxCyVW4cFemy/jwNNwJePRUdPFMkq8uebCpnxCKLjpSGyGIXM N9E/DxbbzKPAzF1Cu3i7NQa2mEiY4pHHDEy4QcZocifZpowRTpWppvMtUhkxEypjCqgl rQuITMUa4MERrtsuBmi5fjLsdwvGuv2hvBwA75AdNv34H9eyInXvQ+rES2YlYY6SE4nO mW6IHiWvJkT6DK/NV9zf54yJVzLRFHDDkm+KmaAg/5p7mNgVZVTFGoU4gbzZrxg+a/lF G+scUa3IAiJHf0WXCZCulR/S1/GqguHTwV3an/zmOWlClLEO1c7dJBLOWH/qMN1A9qaJ zIVw== X-Gm-Message-State: APjAAAXDY5O4/BVwHACRa+GQqr19gNm+44T/NogwU6HUZh2FQS1D7fW9 JuCxKyXrsIli+IulynsqXck= X-Google-Smtp-Source: APXvYqxh1NuLmqy/dxW32zj3EKxySjxjB+LkKePkhMTlxoZJVWyw7OCTAagkWOBb+99XWfUxvVwVzg== X-Received: by 2002:adf:f743:: with SMTP id z3mr13557136wrp.200.1573810185230; Fri, 15 Nov 2019 01:29:45 -0800 (PST) Received: from localhost.localdomain ([2001:8a0:e3a7:c901:7c56:af2f:6336:ac3d]) by smtp.gmail.com with ESMTPSA id j66sm8257096wma.19.2019.11.15.01.29.41 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 15 Nov 2019 01:29:44 -0800 (PST) Received: from localhost.localdomain ([193.137.92.181]) by smtp.gmail.com with ESMTPSA id y6sm7210440wrr.19.2019.11.14.05.55.09 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 05:55:10 -0800 (PST) Message-ID: <533ccee9d99ab8db52788374defe0a4e4c437300.camel@gmail.com> From: Renato Neves To: Luis Barbosa Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 Resent-From: Renato Neves Resent-To: "types-announce@lists.seas.upenn.edu" Date: Fri, 15 Nov 2019 09:29:40 +0000 User-Agent: Evolution 3.30.3 (3.30.3-1.fc29) Content-Transfer-Encoding: quoted-printable X-Validation-by: nevrenato@gmail.com Subject: [Caml-list] TTCS 2020 - Call for papers Reply-To: Renato Neves X-Loop: caml-list@inria.fr X-Sequence: 17874 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Resent-Message-Id: <20191115093403.0A01D7F398@sympa.inria.fr> Resent-Date: Fri, 15 Nov 2019 10:34:02 +0100 (CET) The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2020) http://cs.ipm.ac.ir/ttcs/2020 Institute for Research in Fundamental Sciences (IPM)=20 Tehran, Iran, July 1-3, 2020 *** Submission Deadline: January 12, 2020 *** =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=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 ------------------------------ Scope ------------------------------ =20 TTCS is a 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 (EATCS). The proceedings will be published in the Springer LNCS series. TTCS is organized in 2 tracks. Topics of interest include but are not limited to: =20 Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed-parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and coalgebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g. computational science, databases, information retrieval, and networking, - theory of programming languages,=20 - type theory. =20 ------------------------------ Important Dates ------------------------------ - Full Paper Submission: January 12, 2020 - Author notification: March 12, 2020 - Camera-ready paper: April 1, 2020 - Conference: July 1-3, 2020 ------------------------------ Submissions ------------------------------ Research papers are solicited 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. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labeled appendix, to be consulted at the discretion of program committee members. 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 authors' institutions. TTCS 2020 proceedings will be published by Springer, in the Lecture Notes in Computer Science series, in accordance to the contract between Springer Nature Switzerland AG and the International Federation for Information Processing (IFIP). Papers should be submitted to the appropriate track through EasyChair at https://easychair.org/conferences/?conf=3Dttcs2020 =20 ------------------------------ Programme Committee ------------------------------ =20 Track A: Algorithms and Complexity Mohammad Ali Abam, Sharif University of Technology, Iran (PC co-chair) Sepehr Assadi, Rutgers University, USA Mohammad Hossein Bateni, GoogleRresearch, USA Salman Beigy, IPM, Iran Hossein Esfandiari, Harvard University, USA Omid Etesami, IPM, Iran Marc van Kreveld, Utrecht University, Netherlands Mohammad Mahdian, Google Research, USA Mohammad Mahmoody, University of Virginia, USA Vahab Mirrokni, Google Research, USA Gunter Rote, FU Berlin, Germany Mohammadreza Salavatipour, University of Alberta, Canada Masoud Seddighin, IPM, Iran Saeed Seddighin, Harvard University, USA Michiel Smid, Carleton Univesity, Canada Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran =20 =20 Track B: Logic, Semantics, and Programming Theory Farhad Arbab, CWI, The Netherlands Kyungmin Bae, Pohang University of Science and Technology, South Korea Christel Baier, Technische Universitat Dresden, Germany Luis S. Barbosa, University of Minho, Portugal (PC co-chair) Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil Simon Bliduze, INRIA Lille, France Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, University of Leiden, The Netherlands Flavio Corradini University of Camerino, Italy Fredrik Dahlqvist, UCL, UK Sergey Goncharov, FAU Erlangen-Nurnberg, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Sung-Shik Jongmans, Open University, The Netherlands Alexander Knapp, University of Augsburg, Germany Jan Kretinsky, Munich University of Technology, Germany Alexandre Madeira, University of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter Olveczky, University of Oslo, Norway Prakash Panangaden, McGill University, Canada Elaine Pimentel, UFRN, Brazil Subodh Sharma, IIT Delhi, India Pawel Sobocinski, Taltech, Estonia Ana Sokolova, University of Salzburg, Austria Carolyn Talcott, Stanford University, USA Benoit Valiron, LRI, France Naijun Zhan, Chinese Academy of Science, China Link to the online cfp: https://easychair.org/cfp/TTCS2020