CP's Late Colleagues and Friends

John A. West 1932 -- 2018

John A. West's Home Page, JARRY, a play by John Anthony West

Irving H. Anellis, 1946 -- 2013

Irving H. Anellis' Home Page

Bernhard Gramlich, 1959 -- 2014

Bernhard Gramlich's Home Page, Bernhard and CP:

Birgit Reinert, 1964 -- 2006

Birgit Reinert's PhD Thesis, Birgit's Reinert's Habilitation Thesis

CP's Former Affiliations

1991-1997

AG Avenhaus Madlener, FB Informatik, Univ. Kaiserslautern, Kaiserslautern

1997

AI RG, FB Informatik, Univ. Koblenz, Koblenz

1998-2000

Research Group Functional-Logic Development & Implementation Techniques, Univ. Dortmund, D-44221 Dortmund

2001-2009

AG Siekmann, FB Informatik, Saarland University, Saarbrücken

2009

Programming Logics Group of Christoph Weidenbach, Max Planck Institute for Informatics, Saarbrücken

2010

SICSA Distinguished Visiting Fellowship, School of Informatics of the University of Edinburgh, School of Mathematical and Computer Science at Hariot--Watt-University (Edinburgh), School of Computer Science at the Universtiy of St. Andrews, School of Computer Science at University of Glasgow, School of Natural and Computing Sciences at the University of Aberdeen, Scotland

2010-2011

Visiting Senior Research Fellow, Department of Philosophy, King's College London

2013-2015

Ratiolog Project, Hochschule Harz, Wernigerode (Germany)