Kamal Lodaya

4th ACTS, 9-13 Feb, Chennai
Diagrams, 27-31 Jan, Kolkata
42nd POPL, 12-18 Jan, Mumbai
6th ICLA, 8-10 Jan, Mumbai
14th ALC, 5-8 Jan, Mumbai
16th Infinity, 18 Dec, New Delhi
34th FSTTCS, 15-17 Dec, New Delhi
2nd CMSC, 9-13 Dec, Chennai
Papers
Recent
Reviews
Tutorials
TCS at IMSc
IARCS
ALI
with2
with Ashok Subramanian

Research interests: Petri nets, concurrency, logic, automata.

Graduate teaching: Theory of computation, concurrency, logic, automata, infinite discrete structures, programming languages, computability, databases.

Short courses:

Tutorials:

Update talks:

Book reviews:

Recent talks:

Recent work:

Some finished work:

Edited collections:
Other stuff: