LICS 2004 - Invited Speakers

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

LICS and ICALP 2004 - Joint Invited Speakers

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