Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
fstar-mailing-list
Conversations
About
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
fstar-mailing-list
Contact owners and managers
1–14 of 14
Mark all as read
Report group
0 selected
Catalin Hritcu
8/29/24
Looking for PostDoc in the Formally Verified Security group at MPI-SP
Hello everyone, A Postdoctoral Researcher position is still available in my Formally Verified
unread,
Looking for PostDoc in the Formally Verified Security group at MPI-SP
Hello everyone, A Postdoctoral Researcher position is still available in my Formally Verified
8/29/24
Nikhil Swamy
6/5/24
F* PoP Up Seminar: Anish Athalye on K2
https://fstar-lang.org/popup/seminar.html Join online on Zoom: https://cmu.zoom.us/j/97804414550?pwd=
unread,
F* PoP Up Seminar: Anish Athalye on K2
https://fstar-lang.org/popup/seminar.html Join online on Zoom: https://cmu.zoom.us/j/97804414550?pwd=
6/5/24
Catalin Hritcu
5/30/24
Looking for PostDoc in the Formally Verified Security group at MPI-SP
Hello everyone, A Postdoctoral Researcher position is available in my Formally Verified Security
unread,
Looking for PostDoc in the Formally Verified Security group at MPI-SP
Hello everyone, A Postdoctoral Researcher position is available in my Formally Verified Security
5/30/24
Nikhil Swamy
11/4/23
F* PoP Up Seminar: Mechanised Verification of an OCaml-style Garbage Collector
Online meeting on Zoom: https://cmu.zoom.us/j/97804414550?pwd=Q3NQWjRxNWwwYnVLSDVSMllmb01jQT09
unread,
F* PoP Up Seminar: Mechanised Verification of an OCaml-style Garbage Collector
Online meeting on Zoom: https://cmu.zoom.us/j/97804414550?pwd=Q3NQWjRxNWwwYnVLSDVSMllmb01jQT09
11/4/23
Nikhil Swamy
9/18/23
Re: F* PoP Up Seminar by Subhajit Roy
Looking forward to seeing you all tomorrow for Subhajit Roy's talk! Just a heads up that the
unread,
Re: F* PoP Up Seminar by Subhajit Roy
Looking forward to seeing you all tomorrow for Subhajit Roy's talk! Just a heads up that the
9/18/23
Aseem Rastogi
8/29/23
F* PoP Up Seminar by Subhajit Roy
On 19 th September, 8:30am PDT, we will have our next F* PoP Up Seminar where Prof. Subhajit Roy from
unread,
F* PoP Up Seminar by Subhajit Roy
On 19 th September, 8:30am PDT, we will have our next F* PoP Up Seminar where Prof. Subhajit Roy from
8/29/23
Nikhil Swamy
7/23/23
Cezar Andrici on Securing Verified IO Programs Against Unverified Code in F*
On Tuesday, July 25 th at 830am PDT, we have our next PoP Up Seminar. http://fstar-lang.org/popup/
unread,
Cezar Andrici on Securing Verified IO Programs Against Unverified Code in F*
On Tuesday, July 25 th at 830am PDT, we have our next PoP Up Seminar. http://fstar-lang.org/popup/
7/23/23
Nikhil Swamy
4/28/23
F* PoP Up Seminar: Pipit, early work verifying reactive control systems in F*
We're resuming the PoP Up Seminar series after a break of a few months. But, this one should be
unread,
F* PoP Up Seminar: Pipit, early work verifying reactive control systems in F*
We're resuming the PoP Up Seminar series after a break of a few months. But, this one should be
4/28/23
Aseem Rastogi
12/2/22
F* PoP Up Seminar 12/06/2022 Nikhil Swamy on Effectively using Z3 from F*
Join us for the last seminar of this year where Nikhil Swamy will give a tour of F*'s encoding to
unread,
F* PoP Up Seminar 12/06/2022 Nikhil Swamy on Effectively using Z3 from F*
Join us for the last seminar of this year where Nikhil Swamy will give a tour of F*'s encoding to
12/2/22
Nikhil Swamy
10/3/22
F* PoP Up Seminar: Guido Martínez on tactics & Meta-F*
Guido will present an introduction to tactics and metaprogramming. It should be a great way to start
unread,
F* PoP Up Seminar: Guido Martínez on tactics & Meta-F*
Guido will present an introduction to tactics and metaprogramming. It should be a great way to start
10/3/22
Catalin Hritcu
9/11/22
Looking for PostDoc on Program Verification Techniques in F* and Coq
Hello everyone, A Postdoctoral Research position on Program Verification Techniques in F* and Coq is
unread,
Looking for PostDoc on Program Verification Techniques in F* and Coq
Hello everyone, A Postdoctoral Research position on Program Verification Techniques in F* and Coq is
9/11/22
Nikhil Swamy
8/31/22
F* PoP Up Seminar: Jay Bosamiya on vWasm
Jay will present about his recent work: vWasm: Verified Software Sandboxing using F* (related paper
unread,
F* PoP Up Seminar: Jay Bosamiya on vWasm
Jay will present about his recent work: vWasm: Verified Software Sandboxing using F* (related paper
8/31/22
Aseem Rastogi
8/8/22
F* Pop-Up seminar, 9th Aug.
Join us for the next F* Pop Up seminar on 9th August, 8:30am PDT where Alex Rozanov will give us a
unread,
F* Pop-Up seminar, 9th Aug.
Join us for the next F* Pop Up seminar on 9th August, 8:30am PDT where Alex Rozanov will give us a
8/8/22
Nikhil Swamy
6/13/22
test
Test message
unread,
test
Test message
6/13/22