Kamal Lodaya

5th ICLA, 10-12 Jan'13, Chennai
14th TARK, 7-9 Jan'13, Chennai
32nd FSTTCS, 15-18 Dec, Hyderabad
10th ATVA, 3-6 Oct, Thiruvananthapuram
(submission 30 Apr)
9th ICTAC, 24-27 Sep, Bangalore
(notification 14 June)
Papers
Talks
Reviews
Tutorials
TCS at IMSc
IARCS
ALI


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

Graduate teaching: Automata II, logic, theory of computation, infinite discrete structures, concurrency, programming languages, computability, databases.

Short courses:

Tutorials:

Update talks:

Book reviews:

Recent talks:

Recent work:

Some finished work:

Edited collections:
Science stuff: