This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 135 submissions. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
th This volume contains the proceedings of the 18 FST&TCS conference (Fo- dations of Software Technology and Theoretical Computer Science), organized under the auspices of the Indian Association for Research in Computing Science (http://www. imsc. ernet. in/ iarcs). This year’s conference attracted 93 submissions from as many as 22 co- tries. Each submission was reviewed by at least three independent referees. The Programme Committee met on August 1 and 2, 1998, at Chennai and selected 28 papers for inclusion in the conference programme. We thank the Programme Committee members and the reviewers for their sincere e?orts. We are fortunate to have six invited speakers this year, providing for a very attractive programme: Rajeev Alur, Ken McMillan, Neil Immerman, John Reif, Erik Meineche Schmidt and Umesh Vazirani. The conference has two theme sessions: Model Checking (with invited talks by Alur and McMillan, and 4 c- tributedpapers),andQuantumComputation(withinvitedtalksbySchmidtand Vazirani). Moreover,the conference is preceded by a two-day workshop(Dec- ber 14–15, 1998) on Molecular Computing (organized by Kamala Krithivasan), and a two-day school (December 15–16, 1998) on Finite Model Theory (or- nized by Anuj Dawar and Anil Seth). The Molecular Computation Workshop includes talks by Natasha Jonoska, Kamala Krithivasan, Georghe Paun, John Reif,YasubumiSakakibara,RaniSiromoneyandK. G. Subramanian. Thespe- ers at the Finite Model Theory school include Anuj Dawar, Martin Grohe, Neil Immerman, Anil Seth, Wolfgang Thomas, Moshe Vardi and Victor Vianu.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.