Dear all, it is with great sadness that I wanted to inform you about the death of Martin Davis. Next to his basic contributions to computer science he was, above all, a great person -- humble, kind, honest and with integrity, with my best wishes, Liesbeth