It is with deep sorrow that we announce the passing of our friend and colleague Paul Tarau, a brilliant and endlessly curious mind in logic programming whose career spanned the full spectrum from theory to practice. Creator of BinProlog and…
Category: In Memoriam
In Memoriam: Arnaud Nguembang Fadja March 11, 1988– February 3, 2026
Arnaud Nguembang Fadja, Head of Machine Learning at semvox GmbH, CEO of System Afrik Information Technology and adjunct research fellow of the University of Ferrara, died February 3, 2026 of illness at the age of 38.Arnaud was born in Douala,…
In Memoriam: Sergio Antoy
Dr. Sergio Antoy, a distinguished and long-serving Professor of Computer Science at Portland State University, has passed away. A respected researcher and dedicated educator, Sergio was a leading figure in the field of programming languages and functional logic programming. Sergio…
In Memoriam: Steffen Holldobler
In Memoriam: Maarten van Emden
In memoriam: Martin Davis
Martin Davis (March 8, 1928-January 1, 2023) and his beloved wife Virginia passed away yesterday. They had been married for over 71 years. Martin was one of the fathers of Computability, to which he contributed with a model of Post–Turing…
In memoriam: Jack Minker
By Dietmar Seipel and Carolina Ruiz. It is with great sadness that we inform the CS community of Jack Minker’s passing on April 9, 2021. Jack was a pioneer in deductive databases and the leading researcher in disjunctive deductive databases.…
In memoriam: Francisco Bueno
By Manuel Carro, María García de la Banda, Manuel Hermenegildo, Pedro López, José F. Morales It is with the deepest sorrow that we write these lines to share with you the news of the passing away of our very dear…