Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
fstar-mailing-list
Conversations
About
fstar-mailing-list
1–7 of 7
Mark all as read
Report abusive group
0 selected
Nikhil Swamy
Apr 28
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
Apr 28
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