Logic List Mailing Archive

Multiple PhD scholarships at The Australian National University, Canberra (Australia)

Dear all, 

The Computing Foundations cluster at the School of Computing, The Australian National University, have multiple PhD scholarships available in areas including formal methods, logic, programming languages, systems, HCI, theory, algorithm design and software engineering.
If you want to do cutting edge research in any of these fields, or a mix thereof, visit our page at:
and get in touch with any of the staff listed. Please also contact Michael Norrish (cluster lead) for further details.

Dr. Nisansala Yatapanage
Lecturer, School of Computing,
The Australian National University.
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php