The Logic Summer School
5 to 16 December 2011
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
