[TYPES/announce] The Joint EasyCrypt-F*-CryptoVerif School 2014 in Paris

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** The Joint EasyCrypt-F*-CryptoVerif School *** Dates: 24-28 November 2014 Place: INRIA office in Paris (23 Avenue d'Italie) Registration deadline: 1 September

[TYPES/announce] Positions for students and young researchers at Inria Paris in Prosecco team

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Prosecco research team at Inria Paris is looking for excellent, highly motivated students and young

[TYPES/announce] Open positions on secure compilation at Inria Paris funded by ERC grant

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, SECOMP is a research project aimed at building the first efficient formally secure compilers for realistic programming languages. The

[TYPES/announce] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)

== Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars BirkedalAarhus University Dominique Devriese KU Leuven Cédric Fournet Microsoft Research Deepak Garg MPI-SWS Xavier Leroy Inria Paris

[TYPES/announce] Final call for Secure Compilation presentations (PriSC Workshop @ POPL'18)

a call for short talks closer to the event. == Program Committee == Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris

[TYPES/announce] Call for Participation for Secure Compilation Workshop (PriSC @ POPL'18)

Secure Compilation of Unsafe Low-Level Components. Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach Linear capabilities for modular fully-abstract compilation of verified code. Thomas Van Strydonck

[TYPES/announce] Call for Short Talks on Secure Compilation (PriSC Workshop @ POPL'18)

== Program Committee == Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars BirkedalAarhus University Dominique Devriese KU

[TYPES/announce] Deadline extended for Secure Compilation workshop (PriSC @ POPL'18)

. == Program Committee == Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars BirkedalAarhus University Dominique Devriese KU Leuven Cédric

[TYPES/announce] PostDoc Position on Formally Secure Compilation at Inria Paris

in joining the team! Best Regards, Catalin Hritcu

[TYPES/announce] PostDoc positions at Inria Paris on F* and on Formally Secure Compilation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello everyone, 2 PostDoc positions are available in my group at Inria Paris on the F* and ERC SECOMP projects. I am seeking exceptional candidates with a strong, internationally

[TYPES/announce] PostDoc position at Inria Paris on Formally Secure Compilation in Coq

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, A PostDoc position is available in my group at Inria Paris on Formally Secure Compilation in Coq (https://secure-compilation.github.io). I am seeking outstanding candidates with a

[TYPES/announce] 1st CFP for Certified Programs and Proofs (CPP 2020)

in due course. ### Contact For any questions please contact the two PC chairs: Jasmin Christian Blanchette , Catalin Hritcu

[TYPES/announce] CFP for Certified Programs and Proofs (CPP 2020)

results in math or computer science; - teaching mathematics and computer science with proof assistants. ### Program Committee Members - Jasmin Christian Blanchette (VU Amsterdam, Netherlands -- co-chair) - Catalin Hritcu (Inria Paris, France -- co-chair) - Nada Amin (Harvard University

[TYPES/announce] CPP 2020: Call for Sponsors

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) covers all areas that consider formal verification as an essential paradigm for their work. CPP spans areas of

[TYPES/announce] Junior Research Group Leader positions at MPI for Security and Privacy

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Max Planck Institute for Security and Privacy in Bochum, Germany is inviting applications for Junior Research Group Leader positions Our Junior Research Group program offers young

[TYPES/announce] Fwd: Second Call for Presentations: PriSC 2021 @ POPL 2021

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I'm forwarding the following message on behalf of the PriSC 2021 chairs: -- Forwarded message - From: Jonathan Protzenko Date: Tue, Oct 27, 2020 at 8:49 PM Subject: Second

[TYPES/announce] CS@max planck doctoral program applications by 31 December

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Looking for a top PhD program in English that you can start after BSc or MSc? CS@max planck is a highly selective doctoral program that grants admitted students full financial support to

[TYPES/announce] Tenure-track Openings at Max Planck Institutes in Computer Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Max Planck Institutes for Informatics (Saarbrücken), Software Systems (Saarbrücken and Kaiserslautern), and Security and Privacy

[TYPES/announce] Professor positions at Ruhr University Bochum

cit interest areas for these positions. The application deadline is 29 July 2022. More details below. Kind regards, Catalin Hritcu Tenured Faculty at MPI-SP and co-opted by the Faculty of Computer Science at Ruhr University Bochum *Professorships in Computer Science* The Faculty of Computer Science at Ruhr Univer

[TYPES/announce] Research opportunities (internships, PhD positions, summer school) at Max Planck Institutes in Computer Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello everyone, The Max Planck Institutes (MPIs) in Computer Science have several research opportunities for strong students. Please help spread the word about them: - Summer internships.

[TYPES/announce] Looking for PostDoc on Program Verification Techniques in F* and Coq

you are interested in this position! (or to forward this to someone who could be interested) Kind Regards, Catalin Hritcu https://urldefense.com/v3/__https://catalin-hritcu.github.io__;!!IBzWLUs!RyFIxUeMi0ltHMQ9-5t9wrWLjyB73bjk00RlD0_Cm53yM5JR8kX24ufewVt472yH3PiZF4ziz4WRozLvY-_vDo5JqDdfMl

[TYPES/announce] Professorship for System Security @ Ruhr Uni Bochum, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Horst Görtz Institute for IT Security (HGI) in Bochum, Germany is one of the most renowned institutes in the field of IT Security in Europe. The HGI comprises 26 faculty members,

[TYPES/announce] Tenure-track Faculty Positions at Max Planck Institutes in Computer Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Max Planck Institutes in Computer Science invite applications for tenure-track faculty in all areas of computer science. We expect to fill several positions:

[TYPES/announce] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 Emerging Research Trends in Computer Science

[TYPES/announce] Final CFP: Formal Methods and Programming Languages Track at CCS'24

regards, Catalin Hritcu (MPI-SP, Bochum, Germany -- FM Track Chair)