[TYPES/announce] Call for Papers: SSV 2014

Raimund Kirner, University of Hertfordshire Stefan Berghofer, secunet Security Networks AG Thomas Kropf, University of Tübingen Toby Murray, NICTA Steering Committee == R. Huuck, NICTA and UNSW, Sydney, Australia G. Klein, NICTA and UNSW, Sydney, Australia B. Schlich, ABB Corporate

[TYPES/announce] SSV 2015 - Call for Papers

, University of York Mads Dam, KTH Royal Institute of Technology Alastair Donaldson, Imperial College London Stefania Gnesi, ISTI Chris Hawblitzel, Microsoft Research Jérome Hugues, ISAE Limin Jia, CMU Tiziana Margaria, Lero, University of Limerick Toby Murray, NICTA and UNSW (Co-Chair) John Regehr

[TYPES/announce] SSV 2015 - 2nd Call for Papers

, University of York Mads Dam, KTH Royal Institute of Technology Alastair Donaldson, Imperial College London Stefania Gnesi, ISTI Chris Hawblitzel, Microsoft Research Jérome Hugues, ISAE Limin Jia, CMU Tiziana Margaria, Lero, University of Limerick Toby Murray, NICTA and UNSW (Co-Chair) John Regehr

[TYPES/announce] SSV 2015 - Deadline Extended to Oct 5th

, Imperial College London Stefania Gnesi, ISTI Chris Hawblitzel, Microsoft Research Jérome Hugues, ISAE Limin Jia, CMU Tiziana Margaria, Lero, University of Limerick Toby Murray, NICTA and UNSW (Co-Chair) John Regehr, University of Utah David Sanán, NTU (Co-Chair) Konrad Slind, Rockwell Collins Jun

[TYPES/announce] Research (postdoc or graduate) position in Program Verification and Security

in the first instance. Enquiries about the position should be directed to: Toby Murray toby.mur...@unimelb.edu.au http://people.eng.unimelb.edu.au/tobym/ Thanks heaps Toby

[TYPES/announce] 15 Faculty Positions at University of Melbourne

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Melbourne School of Computing and Information Systems is seeking applicants for 15 continuing (tenure-track) Lecturer and Senior Lecturer positions. We seek dynamic

[TYPES/announce] Lecturer/Senior Lecturer (Continuing) at Univerity of Melbourne

methods for verification. You can find the job ad here and reproduced below: http://jobs.unimelb.edu.au/caw/en/job/897514/academic-opportunities-cyber-security Feel free to direct informal enquiries about the school to Toby Murray (toby.mur...@unimelb.edu.au) - ACADEMIC OPPORTUNITIES - CYBER

[TYPES/announce] Research position in Verified Confidentiality for Weak Memory Concurrency, Melbourne

information flow security for shared-memory concurrent programs executing on weak memory consistency models. The position is for one year in the first instance, to begin in the first quarter of 2019, based at the University of Melbourne under Dr Toby Murray (https://people.eng.unimelb.edu.au/tobym

[TYPES/announce] FTfJP 2019: Call for Papers

Munich) * Marie Farrell (University of Liverpool) * Carlo A. Furia (USI – Università della Svizzera Italiana) * Marie-Christine Jakobs (TU Darmstadt) * Wojciech Mostowski (Halmstad University) * Toby Murray (Co-Chair; University of Melbourne) * Christine Rizkallah (University of New South Wales

[TYPES/announce] FTfJP 2019: Second Call for Papers

(Halmstad University) * Toby Murray (Co-Chair; University of Melbourne) * Christine Rizkallah (University of New South Wales and Data61) * Martin Schäf (Amazon Web Services)

[TYPES/announce] FTfJP 2019: CFP for Second Round

– Università della Svizzera Italiana) * Marie-Christine Jakobs (TU Darmstadt) * Wojciech Mostowski (Halmstad University) * Toby Murray (Co-Chair; University of Melbourne) * Christine Rizkallah (University of New South Wales and Data61) * Martin Schäf (Amazon Web Services)

[TYPES/announce] DEADLINE EXTENDED: FTfJP 2019 - 28 April

of Liverpool) * Carlo A. Furia (USI – Università della Svizzera Italiana) * Marie-Christine Jakobs (TU Darmstadt) * Wojciech Mostowski (Halmstad University) * Toby Murray (Co-Chair; University of Melbourne) * Christine Rizkallah (University of New South Wales and Data61) * Martin Schäf (Amazon Web

[TYPES/announce] Research Position in Verified Confidentiality for Weak Memory Concurrency

in the first instance, based at the University of Melbourne under Dr Toby Murray (https://people.eng.unimelb.edu.au/tobym/). This project will provide the opportunity to collaborate with researchers at Australian National University (ANU), Canberra; Data61's Trustworthy Systems Group (the "seL4

[TYPES/announce] Research Fellow in Verified Operating System Security

are summarised in the following position paper: Gernot Heiser, Gerwin Klein and Toby Murray. "Can We Prove Time Protection?" in Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS), pages 23-29, May 2019. https://arxiv.org/abs/1901.08338 The position is for two years in

[TYPES/announce] Postdoc position: verified timing-channel security for seL4

security, which primarily cover storage channels, to also encompass timing channels. Further details about the research project are summarised in the following position paper: [1] Gernot Heiser, Gerwin Klein and Toby Murray. "Can We Prove Time Protection?" in Proceedings of the Works

[TYPES/announce] Call for Papers: HotSpot 2021

(co-chair) Steve Schneider Toby Murray (chair) Important Dates === Workshop papers submission: May 02, 2021 Workshop notification date: June 01, 2021 Workshop final papers: July 02, 2021 Workshop date: September 06, 2021 Submission instructions