dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. FSTTCS 2016 - Call for Participation [early registration
deadline: Nov 15] (Akshay)
----------------------------------------------------------------------
Message: 1
Date: Thu, 10 Nov 2016 13:12:48 +0530
From: Akshay <akshayss@cse.iitb.ac.in>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] FSTTCS 2016 - Call for Participation [early
registration deadline: Nov 15]
Message-ID: <582424F8.9060606@cse.iitb.ac.in>
Content-Type: text/plain; charset=UTF-8; format=flowed
========================================================================
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)
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 105, Issue 11
***************************************
No comments:
Post a Comment