Logic List Mailing Archive

Thomas Streicher (1958-2025)

Dear Members,

today I received the sad news that my former colleague Thomas Streicher passed away on January 2.

Shortly after his retirement, which took place in April 2024, he was diagnosed with cancer which now caused his premature death.

This is a tremendous loss for the logic community in general and for the logic group in Darmstadt in particular.

Ulrich Kohlenbach
TU Darmstadt
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php