Kamal Lodaya

30th FSTTCS, 15-18 Dec '10, Chennai
5th IPEC, 13-15 Dec '10, Chennai
(formerly IWPEC)
Mathematical logic and set theory,    15-17 Aug '10, Chennai
(submission 15 March)
6th CiE, 30 June-5 July '10, Ponta Delgada
(notification 18 March)
Games, automata, logics and formal verification, 17-18 June '10, Minori
(abstract 21 March, paper 28 March)
Formal theories of communication, 22-26 Feb '10, Leiden
2nd ACTS, 1-3 Feb '10, Chennai
3rd ISLA, 18-29 Jan '10, Hyderabad
Papers
Reviews
Tutorials
Talks
TCS at IMSc
IARCS
ALI


Research interests: Concurrency theory -- automata, logics, models, Petri nets, algebra.

Graduate teaching: Programming languages and correctness, concurrency, automata II, theory of computation, computability, databases.

Short courses:

Tutorial lectures:

Update talks:

Some talks:

Book reviews:

Recent work:

Some finished work:

Edited collections:
Science stuff: