The Logic Summer School
3 to 14 December 2012
Presented by
School of Computer Science,
The Australian National University
Proudly sponsored by
Canberra Research Laboratory, National ICT Australia
and the
ANU College of Engineering & Computer Science.
Enquires: John Slaney
