Informatik, TU Wien

LogicLounge with Cliff B. Jones

Formal Methods and the IBM Vienna Lab

The Vienna Center for Logic and Algorithms is hosting an instalment of the LogicLounge discussion series on Monday, March 7, 2016. The LogicLounge was initiated during the Vienna Summer of Logic 2014 and aims to provide a public forum for the discussion of computer science topics.

For the upcoming LogicLounge, we are pleased to announce the participation of the eminent computer scientist Cliff B. Jones (Professor of Computing Science, Newcastle University) and science journalist Tanja Traxler (Der Standard), who will discuss the topic of formal methods and Jones’ work in the Vienna IBM Lab in the 1960s/70s.

Cliff Jones is Professor of Computing Science at Newcastle University with research interests ranging from theoretical computer science to dependability applications. He has spent over 20 years of his research career in industry. His 15 years in IBM saw the creation of the Vienna Development Method (VDM) which is one of the better known “formal methods“. He completed his doctorate degree at Oxford University with Turing Award winner Tony Hoare as his supervisor. From Oxford, he moved directly to a chair at Manchester University to build a world-class Formal Methods group. In 1996 he moved back into industry with a small software company (Harlequin), directing some 50 developers on Information Management projects and finally became overall Technical Director before leaving to re-join academia in 1999 to take his current chair in Newcastle.

If you plan to attend, please send a short note to

Click here to access Cliff Jones' full biography.