IPM Calendar 
Saturday 15 December 2018   Today  
Events for day: Thursday 06 December 2018    
           14:00 - 16:00     Seminar on Mathematical Logic
Sequent calculus systems for modal logic S5

School
MATHEMATICS

...