[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

                      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:

Deadline (abstracts) : 10 June 2007

Deadline (paper) : 17 June 2007

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  :   [EMAIL PROTECTED]
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


Reply via email to