Model checking.
BITS Goa, 4-5 Nov 15;
Tezpur Univ, 16-19 Mar 15; IMSc, 14-17 May 12;
2nd Automata, concurrency and logic
school, IMSc, 24-26 Jan 03; Bangalore, 10 Sep-3 Oct 01.
Using formal logic in program correctness.
BITS Goa, 4 Nov 15;
Univ of Chennai, 7 Dec 12;
An invitation to theoretical computer science,
IIT Madras/nptel, Dec 09-Apr 10;
AVIT Paiyanoor, Feb 09;
Practical program verification, Hyderabad, 14-18 Feb 08.
Logic and languages on words and trees.
Automata, graphs and logic, Madras Christian College, 7-8 Aug 15;
4th ISLA school, Manipal, 9-20 Jan 12;
1st Automata, concurrency and logic
school, IMSc, 26-28 Jan 01; and
CLC '99, Kolkata, 24-30 June 99.
Programming concurrency and communication
(slides).
VIT Chennai, 19 Sep 13;
IMSc, 23 June 12, June 11 and June-July 10;
SNS College of Engg, Coimbatore, 25-26 Nov 10;
PBS College, Vijayawada, 4-5 Aug 07;
NIT Surathkal, 23-27 July 07;
St Joseph's College, Tiruchirapalli, 26-28 Aug 04;
and Sacred Heart College, Tirupattur, 26-30 Apr 04.
Turing machines and computability.
Univ of Chennai, 21-22 Nov 12;
Tezpur Univ, 2 Nov 12;
A celebration of Turing,
IMSc thematic lectures, 25 Aug 12;
Automata and computability workshop, Colombo, 29 July-5 Aug 02; and
2nd Theoretical aspects of computer science
course, IMSc, 15 Oct-9 Nov 01.
Algorithms
as machines. Resonance14,4 (2009), pp 367-379.
PSG Tech, Coimbatore, 2 Mar 12;
Univ of Chennai, 29-30 June 10 and 22-23 July 04;
Easwari Engg College, Chennai, 30 Apr 10;
IMSc, May-June 09;
IIT Roorkee, 19 Jan 08;
Kongu Engg College, Perundurai, 28-29 Dec 07;
AK College of Engg, Krishnankoil, 28-29 Oct 06;
and KSR College of Technology, Tiruchengode, 22-23 Sep 06.
Parsing as deduction.
CLC '01, Kolkata, 18-22 June 01.
Update talks:
Automata, concurrency and communication.
BITS Goa, 6 Nov 15;
Anna Univ, Chennai, 16 Nov 12; VIT Vellore, 14 July 11;
Mumbai, 28 May 10; IMSc, Mar 10;
and Formal theories of communication workshop,
Lorentz Center, Leiden, 22-26 Feb 10.
Axiomatizing regular expressions.
IMSc, 28 Aug 15;
14th Formal methods update,
Bangalore, 16-17 July 15; Mumbai, 18 June 15.
Automata from left and right.
13th Formal methods update,
Kharagpur, 28-30 July 14.
Probabilistic systems and their verification.
Guwahati, 1 Nov 12; IMSc, 30 Aug 12;
11th Formal methods update,
Chennai, 19-21 July 12; Mumbai, June 12.
From temporal logic to circuits.
9th Formal methods update,
Gandhinagar, 15-17 July 10.
(with
Paritosh Pandya).
Unary temporal and two-variable first-order logic with threshold.
Presented at the 3rd Circuits, logics and games workshop,
Schloss Dagstuhl (2015).
(with
Madhavan Mukund and
R. Ramanujam)
Perspectives in concurrency theory, Universities Press,
CRC Press (2009).
The paper "Folding systems of communicating agents"
in this volume, by myself and S.Paul, has a serious bug.
Philippe Darondeau gave us an example event structure from his paper
"Context-free event domains are recognizable" with
Eric Badouel and J.-C. Raoult (1999) on which our proof does not work.