+++ Latest News +++++++++++++++++
- COCV 2006
- COCV 2005
- By reason of desease, the invited presentation of
Hans Langmaack has 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". (2005/04/02).
- The workshop dinner is going to take place at Heights Rooftop Restaurant in the Apex International
Hotel, Grassmarket. The restaurant is situated in one of
Edinburgh's oldest parts of town offering a spectacular view of the
castle. The dinner will start at around 8 p.m. For details
click here. (2005/03/29)
- The final program is now on-line! (2005/02/16).
- Hans Langmaack (Christian-Albrechts-Universität Kiel, Germany),
is going to deliver the keynote speech at COCV 2005. He will talk on
"What Level of Mathematical Reasoning can
Computer Science Demand of a Software Implementer "
(2005/02/14)
- On-line registration is now open!
Please check out the ETAPS 2005 homepage for details! Note:
(Most items on) registrations completed
on or before February 14, 2005, qualify for a special 10% "early
birds'" discount. (2005/02/03)
- Workshop Dinner:
There will be a workshop dinner in the evening of April 3, 2005. For
details check out this
link.
- COCV 2005 proudly announces its keynote speaker:
Hans Langmaack,
Christian-Albrechts-Universität zu Kiel, Germany. (2005/02/03).
- Submissions of full papers will be
accepted until December 6, 2004,
provided that title, authors, and abstract are submitted by November 29, 2004. For details please check out
the full Call
for Papers. Authors, who submitted already a paper, are eligible and
kindly invited to submit an updated version of their paper
by the new deadline (2004/11/24).