Dexter Kozen is an invited speaker at "Logical Methods in Exact and Social Sciences", a conference to commemorate the 70th birthday of Professor Rohit Parikh. He will be speaking about "Parikh's Theorem in Commutative Kleene Algebra".

http://nylogic.org/Colloquium/ParikhFest