[Prev][Next][Index][Thread]

FSTTCS 2002 call for papers


  [Scope of FSTTCS includes types and theoretical aspects of prog.
    languages.  Some papers on these topics appear in each years
    programme -- PC chairs]


                      CALL FOR PAPERS
                        FSTTCS 2002

 22nd FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
 December 12--14, 2002. Indian Institute of Technology, Kanpur, India


              http://www.fsttcs.org/



GENERAL
The Indian Association for Research in Computing Science, IARCS,
announces the 22nd Annual FSTTCS Conference in Kanpur.

The  FSTTCS conference is a forum for presenting original results in
foundational aspects of Computer Science and Software Technology. The
conference proceedings are brought out by Springer-Verlag in the series
Lecture Notes in Computer Science (LNCS).


SCOPE AND AREAS
Authors are invited to submit papers presenting original and
unpublished research on any theoretical aspect of Computer
Science. Papers with a strong foundational emphasis are also
welcome in applied areas such as engineering of algorithms,
programming language design and verification techniques.  The
proceedings of the last seven years' conferences (Springer-Verlag
Lecture Notes in Computer Science volumes 1026, 1180, 1346, 1530,
1738, 1974, 2245) give an idea of the kind of papers typically presented at
FSTTCS.  Representative areas include, but are not limited to:

 Automata, Languages and Computability
 Automated Reasoning, Rewrite Systems, and Applications
 Combinatorial Optimization
 Computational Geometry
 Computational Biology
 Complexity Theory
 Concurrent, Real-time and Hybrid Systems
 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 Modal Logics
 New Models of Computation
 Parallel and Distributed Computing
 Randomized and Approximation Algorithms
 Semantics of Programming Languages
 Software Specification and Verification
 Static Analysis and  Type Systems
 Theory of Functional and Constraint-based Programming

For an accepted paper to be included in the proceedings, one of
the authors must commit to presenting the paper at the conference.

PRECONFERENCE WORKSHOPS

  It is expected that the conference will be preceded by two parallel
  workshops on current areas of research (topics to be decided) during
  10-11 Dec at IIT, Kanpur.


PROGRAMME COMMITTEE

Manindra Agrawal (IIT, Kanpur) (Co-Chair)
Thorsten Altenkirch (Nottingham, UK)
Mike Fellows (Newcastle, Australia)
Naveen Garg (IIT, Delhi)
K. Gopinath (IISc, Bangalore)
Peter O' Hearn (Queen Mary, London)
Martin Hofmann (LMU, Munich)
Meena Mahajan (IMSc, Chennai)
Rajeev Motwani (Stanford)
Rajagopal Nagarajan (Warwick, UK)
Tobias Nipkow (TU Munich)
Venkatesh Raman (IMSc, Chennai)
R. Ramanujam (IMSc, Chennai)
R. Ravi (CMU)
Davide Sangiorgi (INRIA)
Anil Seth (IIT, Kanpur) (Co-Chair)
G. Sivakumar(IIT, Mumbai)
Colin Stirling (Edinburgh, UK)
V. Vinay (IISc,  Bangalore)
Igor Walukiewicz (Bordeaux)
N. Yoshida (Leicester, UK)


IMPORTANT DATES
Deadline for Submission: 03 July 2002
Notification to Authors: 20 August 2002
Final Version of Accepted Papers due on: 15 September 2002

SUBMISSION GUIDELINES
Authors may submit drafts of full papers or extended abstracts. Submissions
are limited to 12 A4-size pages, in 11 point or larger font. Proofs omitted
due to space constraints must be put into a clearly marked appendix. Each
paper should contain a short abstract.

 Electronic submission is very strongly recommended. Details,
  will appear at the conference site.

CONFERENCE SITE
    http://www.fsttcs.org/



COMMUNICATION

Attn: FSTTCS
Department of Computer Science and Engineering
Indian Institute of Technology
Kanpur-- 208 016
India
fsttcs@iik.ac.in
Phone: +91 512 597338/597231
Fax:   +91 512 590725