Kamal Lodaya

37th FSTTCS, 11-15 Dec, Kanpur
16th CLC, 13-15 Oct, Kolkata
15th ATVA, 3-6 Oct, Pune
3rd STMT, 7-12 Sep, Tezpur
Papers
Reviews
Tutorials
IARCS
ALI
TCS at IMSc
with2
with Ashok Subramanian

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

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

Short courses:

Surveys and tutorials:

Update talks:

Reviews:

Recent work:

Some finished work:

Edited collections:
Other stuff: