[TYPES/announce] Deadline extension: FST TCS 2007 (June 20 2007)

sanjiva@cse.iitd.ernet.in sanjiva at cse.iitd.ernet.in
Tue Jun 19 08:34:08 EDT 2007


 [Apologies for multiple mailings.  This announcement is likely to be of
interest to subscribers of various lists]

In response to several requests for a 2-3 day extension, the submission
deadline has been extended to 20 June 2007.



                       CALL FOR PAPERS (FSTTCS 2007)

      Foundations of Software Technology and Theoretical Computer Science

                     December 12--14, 2007, New Delhi, India


IARCS, the Indian Association for Research in Computing Science,
announces the 27th Annual FSTTCS Conference in New Delhi. The FSTTCS
conference is a forum for presenting original results in foundational
aspects of Computer Science and Software Technology. As in the past,
it is expected that the conference proceedings will be published by
Springer-Verlag as Lecture Notes in Computer Science (LNCS).  The
Proceedings of the 2006 conference were published as LNCS 4337.


Confirmed invited speakers:

Maurice Herlihy, Richard Karp, Benjamin Pierce, Thomas Reps, Salil
Vadhan, and Andrew Yao.

In addition to invited talks and contributed papers, the FSTTCS 2007
programme will include two one-day workshops in areas of current interest
on Dec 11 and Dec 15, 2007.

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:

>  Automata, Languages and Computability;
>  Automated Reasoning, Rewrite Systems, and Applications;
>  Combinatorial Optimization;
>  Computational Biology;
>  Computational Complexity;
>  Computational Geometry;
>  Concurrency Theory;
>  Cryptography and Security Protocols;
>  Database Theory and Information Retrieval;
>  Data Structures;
>  Graph and Network Algorithms;
>  Logic, Proof Theory, Model Theory and Applications;
>  Logics of Programs and Temporal Logics;
>  New Models of Computation;
>  Parallel and Distributed Computing;
>  Programming Language Design and Semantics;
>  Randomized and Approximation Algorithms;
>  Software Specification and Verification;
>  Timed and Hybrid Systems;
>  Type Systems

 Authors may submit drafts of full papers or extended
abstracts. Submissions are limited to 12 pages in LNCS style (see the
conference site for full details). Proofs omitted due to space
constraints may be put into a clearly marked appendix (but the paper
should be intelligible without the appendix, as reviewers are not
required to read appendices).  Concurrent submission to other
conferences / journals is not acceptable. Electronic submission is
very strongly recommended. Details will be made available at the
conference site http://www.fsttcs.org . 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:



New Submission Deadline : 20 June 2007 (anywhere in the world)

Notification to Authors : 19 Aug 2007

Final Version due : 17 Sep 2007



Programme Committee:

 Roberto Amadio    (Univ. Paris 7)

 V. Arvind   (IMSc, Chennai),  co-chair

 Iliano Cervesato    (CMU, Qatar)

 Supratik Chakraborty   (IIT Bombay)

 Sunil Chandran   (IISc, Bangalore)

 Samir Datta   (CMI, Chennai)

 Deepak D'Souza    (IISc, Bangalore)

 Sumit Ganguly   (IIT Kanpur)

 Rajeev Gore   (ANU and NICTA)

 Aarti Gupta     (NEC Labs, Princeton)

 Vineet Gupta   (Google, Bangalore)

 Prasad Jayanti   (Dartmouth College)

 Ranjit Jhala    (UC San Diego)

 Deepak Kapur    (U. New Mexico)

 Subhash Khot   (Georgia Tech., Atlanta)

 Johannes Koebler   (Humboldt U., Berlin)

 K. Narayan Kumar   (CMI, Chennai)

 Kim G. Larsen   (Aalborg U)

 Satya Lokam   (Microsoft Research)

 Greg Morrissett    (Harvard, Cambridge)

 Sanjiva Prasad   (IIT Delhi),   co-chair

 Shaz Qadeer     (Microsoft Research)

 S. Srinivasa Rao   (ITU, Copenhagen)

 Pranab Sen   (TIFR, Mumbai)

 Helmut Seidl     (TU Munchen)

 Aravind Srinivasan   (U. Maryland)

 C.R. Subramanian   (IMSc, Chennai)

 Denis Therien   (McGill U., Montr  e al)

 Ashish Tiwari    (SRI, Palo Alto)

 Vinodchandran Variyam   (U. Nebraska)

 Heribert Vollmer   (U. Hannover)

 Hongseok Yang   (QMU, London)


 Addresses for Correspondence

 Submissions:

 Email  :   fsttcs at imsc.res.in
 Phone: +91 44 2254 1856
 Fax: +91 44 2254 1586

 Local Arrangements:

 FSTTCS '07

 Department of Computer Science and Engineering
 Indian Institute of Technology Delhi
 Hauz Khas, New Delhi 110016, INDIA

 Phone: +91 11 2659 1294
 Fax: +91 11 2658 1060
 URL:   http://www.fsttcs.org









More information about the Types-announce mailing list