Samson Abramsky - Information is physical, but physics is logical!
Davide Sangiorgi - Bisimulation and coinduction: from the origins to today
Igor Walukiewicz - A landscape with games in the background
Robert Harper - Self-Adjusting Computation
Alexander Razborov - Feasible Proofs and Computations: Partnership and Fusion
Mihalis Yannakakis - Testing, Optimization, and Games
Back to the LICS 2004 web page.
Alex Simpson