[FM-India] FSTTCS 2016 - Call for Participation

[Akshay]

========================================================================

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 also 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 at easychair.org (PC chairs)
fsttcs2016 at cmi.ac.in (Organizing committee)