[TYPES/announce] PhD Scholarships at Australian National University

doctoral students in the following subjects: - Logic and Linguistics (Ekaterina Lebedeva) - Logic in Computer Science (Ranald Clouston, Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Non-Classical Logics (Ranald Clouston, Rajeev Gore, John Slaney, Dirk Pattinson) - Proof Theory

[TYPES/announce] PhD scholarships available at Australian National University

doctoral students in the following areas: - Logic in Computer Science (Ranald Clouston, Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Non-Classical Logics (Ranald Clouston, Rajeev Gore, Dirk Pattinson, John Slaney) - Proof Theory (Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Automated Reasoning (Rajeev

[TYPES/announce] First Call for Papers for ICFEM 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]