Next session

16:00–
Room P3.10, Mathematics Building Instituto Superior Técnico

Daowen Qiu, Sun Yat-sen University

Logic and Computation Seminar

Funded under the scope of UID/EEA/50008/2013.