Formal Methods in India Home page

The scope of this page is rather broad ranging from highly theoretical work on logics and models of programs to practical notations, methods and tools for program analysis as well as case studies in using formal methods.
If you use/work on Formal Methods and are in India, you should be on this page. Please get in touch.

Sections:

Who's who

Who's who database and mailing-list(not yet ready) will contain some basic contact information and information
on specific areas of expertise/interest of the members of theFMI community.

Who's who in Formal Methods around the world (from Jonathan Bowen's Formal Methods Page).

Events

Forthcoming/Recent

21th conference on Foundations of Software Technology and Theoretical Computer Science  (FST&TCS 21),, Bangalore, India (December 2001) with

Workshop on Reasoning about Large and Infinite State Systems, Chennai, (17-18 December, 2001).
Venue: Institute of Mathematical Sciences, Chennai.
 

Workshop on Formal Methods for the Design of Safety Critical Applications:  Synchronous Approaches, IISc, Bangalore (19-20, February, 2001)

Sponsored by: Tata Institute of Fundamental Research
Organisation: R.K. Shyamasundar, Y.N. Srikant, K. Karunakar
Lecturers: N. Halbwachs, F. Maraninchi, R.K. Shyamasundar, P.K. Pandya, A. Bhattacharjee (schedule)
 

Distinguished Lecture Series

Speaker: Prof. Amir Pnueli
Mini Course of 4 Lectures: Approaches to Verification of Infinite State Systems
Tata Institute of Fundamental Research (24-30 January, 2001)
Public Lecture: Taming the Infinite: Verification of Reactive Systems
at Homi Bhabha Auditorium,  Tata Institute of Fundamental Research (2nd February, 2001)
 

Workshop on Automata, Concurrency and Logic

Organised by Institute of Mathematical sciences, Chennai (29-31 January, 2001)
Organisation Chair: Kamal Lodaya
 

Special issue of journal Sadhana on Formal Verification of Circuits and Systems.

Guest Editor: P.P. Chakrabarti. Submission deadline: 31 October, 2000.
 

20th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 20), Delhi, India (13-15 December 2000).

Organised by Indian Institute of Technology, Delhi.
Program Chairs: Sanjiv Kapoor and Sanjiva Prasad.

• Sixth International School and Symposium on

Formal Techniques in Real-Time and Fault-Tolerant Systems, Pune, India (20-22 September, 2000).
Organised by Tata Research, Development and  Design Centre (TRDDC), Pune.
Program Chair: Mathai Joseph.

Past two years

• 19th FST & TCS with workshops on Mobile Computation and Data Structures.

Organised by Institute of Mathematical Sciences and Indian Institute of Technology, Chennai.
Program Chairs: Venkatesh Raman and R. Ramanujam.
• Advanced Course on RAISE and Duration Calculus, KIIT, Bhubaneswar (9-20 August, 1999).

Organised by International Institute for Software Technology, United Nations University, Macau and
Kalinga Institute of Information Technology, Bhubabneswar, Orissa.
Faculty: Paritosh K. Pandya,
• BRNS workshop on Verification of Digital and Hybrid Systems, TIFR, Mumbai (7-11 January, 1999).

Program Chair: R.K. Shyamasundar.
Invited Speakers: B. Carre, A. Deshpande, D. Harel, M. Kerksen, F. Saglietti.
• 18th FST & TCS with theme sessions on Quantum Computing and Model Checking

Chennai (17-19 December, 1998).
Satellite events: A 2 day preconference workshop on Molecular Computing and  a 2 day school on Finite Model Theory.
Organised by Institute of Mathematical Sciences and SPIC Mathematical Institute.
Program Chairs: R. Ramanujam and V. Arvind
• Advanced course on

Specification and Verification of Real-time Systems using Duration Calculus
SVREC, Surat. (26-31 January 1997).
Organised by International Institute for Software Technology, United Nations University, Macau and
S V Regional Engineering College, Surat.
Faculty: Paritosh K. Pandya, Mathai Joseph.
(Course annoucement in plain text form with registration forms)
• Update meeting on

Reasoning about Timed Systems, IMSc, Chennai, (June, 1997).
Convenors: Paritosh K. Pandya, R. Ramanujam.
• INDO-French school on

Abstract Interpretation, JNC, Bangalore (April 1997).
Organisers: R.K. Shyamasundar, V. Rajaraman.
Faculty: Patrick Cousot, Alain Deutsch, Philipps Granger, Thomas Jensen
• Workshop on

Applied Formal Methods, University of Hyderabad, Hyderabad (December 1996).
Coordinators: N. Shankar, R.K. Shyamasundar,.
The speakers: Chris George, G. Huet, Deepak Kapur, Srivas Manyam, Jay Moore, John Rushby, N. Shankar and Zhou Chaochen with additional talks by Basant Rajan, Paritosh K. Pandya and R.K. Shyamasundar.
• Advanced Course on

Real-time Systems: Theory and Practice, NCST, Mumbai (November 1996).
Faculty: Mathai Joseph, Paritosh K. Pandya, Vinod Kumar.
• Advanced Course on

Formal Methods in Software Development, SERC, IISc, Bangalore (April, 1996).
Organised by the International Institute for Software Technology, United Nations University, Macau and  Super Computer Education and Research Center, IISc, Bangalore.
Faculty: Dines Bjorner , Chris George , Kesav V. Nori, Girish Palshikar, Paritosh K. Pandya.

Projects and Tools

Links

• Jonathan Bowen's Formal Methods Page. An excellent source of information (and a part of WWW Virtual Library).
• Formal Methods Europe (FME)
• IFIP TC2 on Software: Theory and Practice (esp. WG 2.2 and WG 2.3).
• BRICS Tools page in Denmark.
• Automated Reasoning System Implementations page at Stanford.
• ACM strategic directions in Computing Research has a Formal Methods Working Group.

About This page

For submission of information to this page and to the FMI Database follow the instructions given here. You can also send email to pandya@tcs.tifr.res.inor pandya@tifrvax.tifr.res.in with words FMI Page in thesubject field. Address the postal correspondance to:

Paritosh K. Pandya
Computer Science Group
TIFR, Homi Bhabha Road
Colaba, Mumbai 400 005
India