[TYPES/announce] CFP, FSTTCS 2008

[Madhavan Mukund]

The submission deadline for FSTTCS is July 7.

--
Madhavan Mukund, http://www.cmi.ac.in/~madhavan
Co-Chair, Programme Committee, FSTTCS 2008, http://www.fsttcs.org


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

             FOUNDATIONS OF SOFTWARE TECHNOLOGY AND
                  THEORETICAL COMPUTER SCIENCE

                       December 9-11, 2008
          Indian Institute of Science, Bangalore, India

                         CALL FOR PAPERS

IARCS, the Indian Association for Research in Computing Science,
announces the 28th Foundations of Software Technology and
Theoretical Computer Science conference in Bangalore, India. The
FSTTCS conference is a forum for presenting original results in
foundational aspects of Computer Science and Software
Technology. This year, FSTTCS will be colocated with the Sixth
Asian Symposium on Programming Languages and Systems (APLAS 2008).

The invited speakers are 

  Hubert Comon-Lundh,
  Uriel Feige,
  Erich Graedel,
  Simon Peyton-Jones, and
  Leslie Valiant

Scope:
------

Authors are invited to submit papers presenting original and
unpublished research in any area of Theoretical Computer Science
or Foundational aspects of Software Technology. Representative
areas include, but are not limited to: Algorithms and Complexity;
Automata and Formal Languages; Logic in Computer Science;
Software Specification and Verification.  Check the conference
homepage for a more detailed list of topics.
    
Submission:
-----------

Authors may submit drafts of full papers or extended abstracts.
Submissions are limited to 12 pages using 11-point or larger
font, with adequate spacing and 1-inch margins all
around. Concurrent submission to other conferences or journals is
not acceptable. The site for submissions is Easychair. Check the
conference homepage for more details.

Proceedings:
------------

Accepted papers will be published as the proceedings of the
Conference. In a new initiative towards an open system, the
proceedings will take the form of a free, open, electronic
archive with access to all. In addition to being permanently
archived on ArXiV and other online servers, the proceedings of
the Conference will be hosted on the Dagstuhl Research Online
Publication Server (DROPS), with an ISBN number provided by
DROPS.  Authors will retain full rights over their work. The
accepted papers will be licensed under the Creative Commons
Attribution-Noncommercial-No Derivative Works 2.5 License:
Creative Commons-NC-ND.

Important Dates:
----------------

  Deadline for Submission:                      7 July 2008
  Notification to Authors:                 1 September 2008
  Final Version of Accepted Papers due on:   6 October 2008

Important Links:
----------------

  http://www.fsttcs.org/
  http://www.easychair.org/conferences/?conf=fsttcs2008

Program Committee:
------------------

  Manindra Agrawal (IIT Kanpur)
  Supratik Chakraborty (IIT Bombay)
  Anuj Dawar (Cambridge)
  Deepak D'Souza (IISc)
  Sumit Ganguly (IIT Kanpur)
  Sudipto Guha (UPenn)
  Venkatesan Guruswami (Washington)
  Ramesh Hariharan (Strand) co-chair
  T Kavitha (IISc)
  Kamal Lodaya (IMSc)
  Salvador Lucas (Valencia)
  Oded Maler (Verimag)
  Peter Bro Miltersen (Aarhus)
  Madhavan Mukund (CMI) co-chair
  Kamesh Munagala (Duke)
  Ashwin Nayak (Waterloo)
  Sanjiva Prasad (IIT Delhi)
  Sriram Rajamani (Microsoft)
  R Ravi (CMU)
  Davide Sangiorgi (Bologna)
  Thomas Schwentick (TU Dortmund)
  Stefan Schwoon (TU Munich)
  S P Suresh (CMI)
  Santosh Vempala (Gatech)
  V Vinay (Geodesic) co-chair[2ex]

Organizing Committee:
---------------------

  Sunil Chandran (IISc)
  Deepak D'Souza (IISc)
  T Kavitha (IISc)
  Vijay Natarajan (IISc) 

----------------------------------------------------------------------
 >