13-15 Dec 2016
Chennai, India
======================================================================== FSTTCS 2016 - Call for Participation (http://www.fsttcs.org/) ======================================================================== Early registration ends on: *** November 15, 2016 *** ======================================================================== The 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science will take place from December 13 to December 15, 2016 at Chennai Mathematical Institute, Chennai, India. SCIENTIFIC PROGRAM The program is available at http://www.fsttcs.org/program.php, and consists of 6 invited talks and 44 contributed talks. There are two associated workshops on 11-12th of December and on 16th of December. INVITED SPEAKERS * Mikkel Thorup (University of Copenhagen) -- Fast and Powerful Hashing using Tabulation * Mooly Sagiv (Tel Aviv University) -- Simple invariants for proving the safety of distributed protocols * Holger Hermanns (Saarland University) -- My O is bigger than yours * Aleksander M?dry (Massachusetts Institute of Technology) -- Continuous Optimization: The ?Right? Language for Graph Algorithms? * Fedor V. Fomin (University of Bergen) -- Graph decompositions and algorithms * Tevfik Bultan (University of California, Santa Barbara) -- Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution ASSOCIATED WORKSHOPS * Rangoli of Algorithms (RoA): A pre-conference workshop on 11th and 12th of December. * Algorithmic Verification of Real-Time Systems (AVERTS): A post-conference workshop on 16th of December. REGISTRATION Registration details for the conference as well as the workshops can be found on the conference website http://www.fsttcs.org/ or at http://fsttcs2016.cmi.ac.in/reg.php **Early registration closes on November 15 2016**. ACCOMMODATION For local information and accommodation options, please visit http://fsttcs2016.cmi.ac.in/local.php CONTACT INFORMATION http://www.fsttcs.org/ (General information) fsttcs2016@easychair.org (PC chairs) fsttcs2016@cmi.ac.in (Organizing committee) -- [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