–
Room P4.35, Mathematics Building
Amílcar Sernadas, Instituto Superior Técnico
Proof of the weak completeness of EQPL (conclusion)
Conclusion of the previous talk.
Joint session with QCI Seminar. Note the exceptional time and room.