https://www.coalg.org/tease-lp/timetable/event/structural-proof-theory-and-logic-programming/ TEASE-LP, 28 and 29 May 2020, Virtual Event Fri, 15 May 2020 12:32:18 +0000 hourly 1 https://wordpress.org/?v=6.1.1