Friday, June 13, 2014

dmanet Digest, Vol 76, Issue 14

Send dmanet mailing list submissions to
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 2014-- Second Call for Papers (Venkatesh Raman)


----------------------------------------------------------------------

Message: 1
Date: Fri, 13 Jun 2014 12:01:18 +0530
From: "Venkatesh Raman" <vraman@imsc.res.in>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] FSTTCS 2014-- Second Call for Papers
Message-ID:
<a3e7745bec52ce59d353268c2d22e840.squirrel@www.imsc.res.in>
Content-Type: text/plain;charset=iso-8859-1

FSTTCS 2014
34th Foundations of Software Technology and Theoretical Computer Science
December 15--17, 2014
India International Centre, New Delhi, India

Second Call for Papers
---------------------

IARCS, the Indian Association for Research in Computing Science, announces
the 34th Foundations of Software Technology and Theoretical Computer
Science conference at India International Centre, New Delhi, India.

The FSTTCS conference is a forum for presenting original results in
foundational aspects of Computer Science and Software Technology.

Representative areas include, but are not limited to, the following.

Algorithms and data structures
randomized algorithms
approximation algorithms
distributed algorithms
geometric algorithms
online and streaming algorithms
fixed-parameter tractability
graph algorithms
Computational complexity
circuits
communication complexity
proof complexity
structural complexity
pseudorandomness
PCPs
inapproximability
Combinatorial optimization
Game theory and mechanism design
Quantum computing
Computational biology
Cryptography and security
Automata and formal languages
Concurrent, timed and hybrid systems
Logic in computer science
finite model theory
modal and temporal logics
specification
verification
synthesis
Programming languages
semantics
types
program analysis and correctness

Submissions
-----------

Submissions will be in electronic form via EasyChair using the LIPIcs
LaTeX style file (see
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors).
Submissions must not exceed 12 pages (including bibliography).
Simultaneous submissions to journals or other conferences with published
proceedings are disallowed. Accepted papers will be published as
proceedings of the conference in the Leibniz International Proceedings in
Informatics (LIPIcs) as a free, open, electronic archive with access to
all. For an accepted paper to be included in the proceedings, one of the
authors must commit to presenting the paper at the conference.


Important Dates

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

Abstract Submission deadline: July 11, 2014
Paper Submission deadline: July 18, 2014
Notification to Authors: September 15, 2014
Deadline for camera-ready papers: October 15, 2014

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

Important Links and email addresses
------------------------------------
Conference page: http://www.fsttcs.org
Submission page: https://www.easychair.org/conferences/?conf=fsttcs2014


Invited Speakers
----------------

Nikhil Bansal (TU Eindhoven)
Paul Gastin (LSV, ENS Cachan)
Martin Grohe (RWTH Aachen)
Orna Kupferman (Hebrew University)
Ryan Williams (Stanford University)

Programme Committee
-------------------

Deeparnab Chakrabarty (MSR, India)
Timothy Chan (Univ. Waterloo)
Anirban Dasgupta (IIT Gandhinagar)
Amit Kumar (IIT Delhi)
Neeldhara Misra (IISc, Bangalore)
Subhas Nandy (ISI Kolkata)
Patrick Nicholson (MPI Saarbrucken)
Michal Pilipczuk (Univ. Bergen)
Jaikumar Radhakrishnan (TIFR, Mumbai)
Rajmohan Rajaraman (Northeastern Univ.)
Venkatesh Raman (IMSc, Chennai), co-chair
Rahul Santhanam (Univ. Edinburgh)
Jayalal Sarma (IIT Madras)
Srikanth Srinivasan (IIT Bombay)
Kavitha Telikepalli (TIFR, Mumbai)
Suresh Venkatasubramanian (Univ. Utah)

Dietmar Berwanger (LSV, ENS Cachan)
Ahmed Bouajjani (LIAFA Paris)
Supratik Chakraborty (IIT Bombay)
Radha Jagadeesan (DePaul University)
Aditya Kanade (IISc, Bangalore)
Dietrich Kuske (TU Ilmenau)
Ralf Kusters (Univ. Trier)
Kamal Lodaya (IMSc, Chennai)
Madhavan Mukund (CMI, Chennai)
Shaz Qadeer (MSR, Redmond)
Arnaud Sangnier (LIAFA Paris)
Alexis Saurin (CNRS, Univ. Paris-Diderot)
Sunil Simon (IIT Kanpur)
S P Suresh (CMI, Chennai), co-chair
Ashutosh Trivedi (IIT Bombay)
Mahesh Viswanathan (Univ. Illinois)

Organizing Committee
--------------------

Shweta Agrawal (IIT Delhi)
Naveen Garg (IIT Delhi)
Ragesh Jaiswal (IIT Delhi), chair
Amit Kumar (IIT Delhi)
Sanjiva Prasad (IIT Delhi)
Sandeep Sen (IIT Delhi)

--
Venkatesh Raman,
www.imsc.res.in/~vraman




------------------------------

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 76, Issue 14
**************************************

No comments:

Post a Comment