11-13 Dec 2019
Mumbai, India
--------------------------------------------------------------- CALL FOR PARTICIPATION --------------------------------------------------------------- FSTTCS 2019: Foundations of Software Technology and Theoretical Computer Science December 11-13, 2019 Indian Institut of Technology BOMBAY, Mumbai, India https://www.fsttcs.org.in/2019/ --------------------------------------------------------------- REGISTRATION: https://www.fsttcs.org.in/2019/#register Early registration deadline: October 30, 2019. --------------------------------------------------------------- FSTTCS 2019 is the 39th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. List of Topics ============== Track A - Algorithms and Data Structures - Algorithmic Graph Theory and Combinatorics - Approximation Algorithms - Combinatorial Optimization - Communication Complexity - Computational Biology - Computational Complexity - Computational Geometry - Computational Learning Theory - Cryptography and Security - Data Streaming and Sublinear algorithms - Game Theory and Mechanism Design - Parallel, Distributed and Online Algorithms - Parameterized Complexity - Proof Complexity - Quantum Computing - Randomness in Computing - Theoretical Aspects of Mobile and High-Performance Computing Track B - Automata, Games and Formal Languages - Logic in Computer Science - Modal and Temporal Logics - Model Checking and Reactive Synthesis - Models of Concurrent, Distributed and Mobile Systems - Models of Timed, Reactive, Hybrid and Stochastic Systems - Model Theory - Principles and Semantics of Programming Languages - Program Analysis and Transformation - Security protocols - Theorem Proving and Decision Procedures Invited Speakers ================ - Karthikeyan Bhargavan, INRIA Paris - Ranko Lazic, Warwick University - Toniann Pitassi, University of Toronto - Tim Roughgarden, Columbia University - Alexandra Silva, University College London - Virginia Vassilevska Williams, MIT Workshops and co-located events =============================== See https://www.fsttcs.org.in/2019/#workshops * SAT/SMT winter school: December 8-9 * Complexity in Algorithmic Game Theory: December 10 * Extension Complexity and Lifting Theorems: December 14 * Trends in Transformations: December 10 * GALA: Gems of Automata, Logic and Algebra: December 14 Program Committee ================= Track A - Arkadev Chattopadhyay (Tata Institute of Fundamental Research, Mumbai) ? co-chair - Xi Chen (Columbia University) - Yuval Filmus (Technion Israel Institute of Technology) - François Le Gall (Kyoto University) - Amit Kumar (Indian Institute of Technology Delhi) - Mrinal Kumar (University of Toronto) - Satya Lokam (Microsoft Research, Bangalore) - Brendan Lucier (MSR, New England) - Andrew McGregor (University of Massachusetts Amherst) - Or Meir (University of Haifa) - Neeldhara Misra (Indian Institute of Technology Gandhinagar) - Jaikumar Radhakrishnan (Tata Institute of Fundamental Research, Mumbai) - Sridharan Ramanujan (University of Warwick) - Atri Rudra (University at Buffalo, The State University of New York) - Barna Saha (University of Massachusetts Amherst) - Anastasios Sidiropoulos (University of Illinois at Chicago) - Kavitha Telikepalli (Tata Institute of Fundamental Research, Mumbai) Track B - C. Aiswarya (Chennai Mathematical Institute) - Udi Boker (Interdisciplinary Center (IDC), Herzliya) - Véronique Bruyère (University of Mons) - Pierre Clairambault (CNRS and ENS Lyon) - Paul Gastin (LSV, CNRS and ENS Paris-Saclay) ? co-chair - Marcin Jurdzinski (University of Warwick) - Stefan Kiefer (University of Oxford) - Steve Kremer (INRIA Nancy-Grand Est and LORIA) - S Krishna (Indian Institute of Technology Bombay) - Christof Löding (RWTH Aachen University) - K. Narayan Kumar (Chennai Mathematical Institute) - Catuscia Palamidessi (INRIA Saclay and LIX) - Sanjiva Prasad (Indian Institute of Technology Delhi) - Karin Quaas (University of Leipzig) - R. Ramanujam (Institute of Mathematical Sciences, Chennai) Organizing committee ==================== Theory group and Formal Methods group, IIT Bombay. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam