[FM-India] FSTTCS 2016 - Call for Participation
Akshay
akshayss at cse.iitb.ac.in
Thu Nov 10 13:01:21 IST 2016
========================================================================
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)
More information about the FMIndia
mailing list