[loginf] STACS 2014 second call for participation

Natacha Portier natacha.portier at ens-lyon.fr
Wed Jan 29 10:59:27 CET 2014


Please forward to all who may be interested!
Apologies if you receive multiple copies of this message.



************************************************************************

STACS 2014 CALL FOR PARTICIPATION

31st International Symposium on Theoretical Aspects of Computer Science

March 5 -March 8, 2014, Lyon, France

http://stacs2014.sciencesconf.org/

************************************************************************

The 31st International Symposium on Theoretical Computer Science
(STACS) will be held from March 5 to March 8, 2014 (Wednesday through
Saturday), on the premises of the ENS Lyon, France.

REGISTRATION
************
Registration is open through the conference website. The deadline for
early registration is Sunday, February 16th.

http://stacs2014.sciencesconf.org/

SCIENTIFIC PROGRAM
******************
The program is composed of 54 contributed and three invited talks as well as a
tutorial and miniworkshop.

The schedule is now available:
http://stacs2014.sciencesconf.org/resource/page/id/9

INVITED TALKS AND TUTORIAL
**************************
- Javier Esparza, TUM-Technische Universität München
Keeping a Crowd Safe: On the Complexity of Parameterized Verification
- Peter Bro Miltersen, Aarhus University
Semi-algebraic geometry in computational game theory - a consumer's perspective
-Luc Segoufin, INRIA, École Normale Supérieure de Cachan
A glimpse on constant delay enumeration
- Neeraj Kayal, Microsoft Research India (tutorial)
Arithmetic Circuit Complexity

INFORMATION
***********
For detailed information on STACS 2014, visit the conference website,

 http://stacs2014.sciencesconf.org/


More information about the loginf mailing list