[TYPES/announce] Rust Verification Workshop at ETAPS 2023: Call for Talk and Demo Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talk and Demo Proposals 3rd Rust Verification Workshop Co-located with ETAPS 2023 Paris, France Sunday, April 23, 2023

[TYPES/announce] Rust Verification Workshop at ETAPS 2022: Call for Talk and Demo Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talk, Demo, and Challenge Proposals 2nd Rust Verification Workshop Co-located with ETAPS 2022 Munich Sunday, April 03, 2022

[TYPES/announce] PhD student and post-doc positions in Program Verification at ETH Zurich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Methodology group (http://www.pm.inf.ethz.ch/) at ETH Zurich is recruiting PhD students and post-docs in the area of program verification. We are especially interested in

[TYPES/announce] Call for participation: 1st Rust Verification Workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 1st Rust Verification Workshop Online, co-located with ETAPS 2021 April 07, 09, and 12, 2021, 16:00 - 18:10 GMT https://sites.google.com/view/rustverify2021 Rust is a new programming

[TYPES/announce] Rust Verification Workshop at ETAPS 2021: Call for Talk and Demo Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talk and Demo Proposals 1st Rust Verification Workshop Co-located with ETAPS 2021 Luxembourg Sunday, 28 March, 2021 https://sites.google.com/view/rustverify2021 Rust is a new

[TYPES/announce] MARKTOBERDORF SUMMER SCHOOL 2020: CALL FOR PARTICIPATION

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND DEPENDABLE SOFTWARE SYSTEMS July 29th-August 7th, 2020, Marktoberdorf, Germany

[TYPES/announce] Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich The Institute of Information Security (the groups of Prof. Adrian Perrig and

[TYPES/announce] Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talk, Demo, and Challenge Proposals 1st Rust Verification Workshop Co-located with ETAPS 2020 Dublin, Ireland Sunday, 26 April, 2020

[TYPES/announce] Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Talk, Demo, and Challenge Proposals 1st Rust Verification Workshop Co-located with ETAPS 2020 Dublin, Ireland Sunday, 26 April, 2020

[TYPES/announce] Assistant Professors at ETH Zurich: Security, Software Engineering, and Programming Languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Assistant Professors (Tenure Track) Security, Software Engineering, and Programming Languages The Department of Computer Science (www.inf.ethz.ch) at ETH Zurich invites applications for

[TYPES/announce] Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security (the groups of Prof. Adrian Perrig and Prof. David Basin) and the Programming Methodology Group (Prof. Peter Müller) at ETH Zurich have multiple open