Dear colleagues,
ANU Logic School is held online on Dec. 6-17. It is for free for students and academics (but registration is required as per below).
It starts with basic topics (FOL, incompleteness thm, etc) in the first week, and proceeds to more advanced ones, such as theorem provers, security, and homotopy type theory, in the second week.
For detail, please take a look at the following webpages:
Programme (in AEDT time): http://lss.cecs.anu.edu.au/program/ Registration: http://lss.cecs.anu.edu.au/registration/
Please spread the words to your students and colleagues. Hope to see many of you there.
Thanks and kind regards, Yoshihiro Maruyama
-- Yoshihiro Maruyama School of Computing, Australian National University Canberra, Australian Capital Territory, 2601, Australia W: https://cs.anu.edu.au/people/yoshihiro-maruyama E: [email protected]