Kamal Lodaya

8th LORI, 16-18 Oct 21, Xi'an
8th ISLA, 18-23 Dec, IISER Bhopal
40th FSTTCS, 15-17 Dec, BITS Goa
Strategies for uncertainty, 13-14 Dec, BITS Goa
Papers
Reviews
Tutorials
IARCS
ALI
TCS at IMSc
with2
with Ashok Subramanian

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

Short courses:

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

Surveys and tutorials:

Update talks:

Book reviews:

Recent work:

Some finished work:

Edited collections:
Other stuff: