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