Kamal Lodaya

34th FSTTCS, 15-17 Dec, New Delhi
21st TIME, 8-10 Sep, Verona
LC'14, 14-19 July, Vienna
14th AFL, 27-29 May, Szeged
11th TAMC, 11-13 Apr, Chennai
Papers
Talks
Reviews
Tutorials
TCS at IMSc
IARCS
ALI
with2
with Ashok Subramanian

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

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

Short courses:

Tutorials:

Update talks:

Book reviews:

Recent talks:

Recent work:

Some finished work:

Edited collections:
Science stuff: