We are very pleased to announce that Julian Schlöder will be joining the EXPRESS team as a logic postdoc starting on 1st September. His primary focus will be the Logic of Rejection subproject.
We are very pleased to announce that Julian Schlöder will be joining the EXPRESS team as a logic postdoc starting on 1st September. His primary focus will be the Logic of Rejection subproject.
EXPRESS 