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: yoshihiro.maruyama(a)anu.edu.au
