Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
fstar-mailing-list
Conversations
About
fstar-mailing-list
1–10 of 10
Mark all as read
Report abusive group
0 selected
Nikhil Swamy
Sep 18
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
Sep 18
Aseem Rastogi
Aug 29
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
Aug 29
Nikhil Swamy
Jul 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/
Jul 23
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