Keynote Speech

 
COCV 2005 proudly announces this year's keynote speaker:

Hans Langmaack

Christian-Albrechts-Universität zu Kiel, Germany

Hans Langmaack is going to speak on

What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer


By reason of desease, the invited presentation of Hans Langmaack has/had to be canceled on short-notice. We hope that Hans Langmaack will join us next year at COCV 2006 to deliver his presentation at next year's COCV workshop in Vienna.

While we look forward to this, we are pleased to announce that Professor Amir Pnueli spontaneously agreed to stand in and to give an invited lecture at COCV 2005 on

Abstraction for Liveness or
Never Take Completeness Theorems Too Seriously

(Joint work with Ittai Balaban, Yonit Kesten, and Lenore Zuck)