[TYPES/announce] PhD Position in Verified Voting at ANU

Supervisors: Dirk Pattinson and Rajeev Gore Starting: December 2015 Contact: Dirk Pattinson (dirk.pattin...@anu.edu.au) Deadline: August 15, 2015 Project Summary

[TYPES/announce] PhD Scholarships in Logic and Verification at the Australian National University

students in the following fields: - Logic and Linguistics (Ekaterina Lebedeva) - Logic in Computer Science (Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Non-Classical Logics (Rajeev Gore, John Slaney, Dirk Pattinson) - Proof Theory (Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Automated Reasoning (Peter

[TYPES/announce] Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023

://comp.anu.edu.au/lss/registration/__;!!IBzWLUs!QmapP7nJWMXirczzyzAGTKYDK9KGBUjN6wJK96RLK0TwKfC92fZGigpsvEawww50FtrrGGcgCqHGokZZDq59Y0wAUyMpPRSHergr5EksIQ$ . ORGANISATION The logic summer school is organised by Pramo Samarasinghe, Ian Shillito, Jim de Groot and Dirk Pattinson. Please direct all enquiries

[TYPES/announce] ANU Logic Summer School: Call for Participation

Please consider to attend yourself, and please spread the word to your undergrads, your PhD students,your PostDocs, and your colleagues! Yours with best wishes, Peter Hoefner, Dirk Pattinson Organisers, ANU Logic Summer School