fstar-club  

Messages by Date

• 2021/10/17 Re: [fstar-club] [EXTERNAL] [Help] Inductive predicates Aseem Rastogi via fstar-club
• 2021/10/15 Re: [fstar-club] [EXTERNAL] [Help] Inductive predicates Pedro Barroso via fstar-club
• 2021/10/08 Re: [fstar-club] [EXTERNAL] [Help] Inductive predicates Aseem Rastogi via fstar-club
• 2021/10/08 [fstar-club] [Help] Inductive predicates Pedro Barroso via fstar-club
• 2021/10/05 [fstar-club] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022 Jonathan Protzenko via fstar-club
• 2021/09/15 [fstar-club] Call for Presentations: PriSC 2022 @ POPL 2022 Jonathan Protzenko via fstar-club
• 2021/09/08 [fstar-club] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021 Andrei Popescu via fstar-club
• 2021/09/06 [fstar-club] Call for Contributions: WITS 2022 Jesper Cockx via fstar-club
• 2021/08/19 [fstar-club] Certified Programs and Proofs (CPP) 2022: Final Call for Papers Andrei Popescu via fstar-club
• 2021/06/14 [fstar-club] Certified Programs and Proofs (CPP) 2022: Call for Papers Andrei Popescu via fstar-club
• 2021/04/19 [fstar-club] Slack forum open to all Nikhil Swamy via fstar-club
• 2021/03/12 [fstar-club] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021 Andrei Popescu via fstar-club
• 2021/01/05 Re: [fstar-club] fibonacci_greater_than_arg solution Nikhil Swamy via fstar-club
• 2021/01/05 [fstar-club] fibonacci_greater_than_arg solution Michael Delorimier via fstar-club
• 2020/12/22 [fstar-club] CPP 2021: Call for Participation and Lightning Talks Andrei Popescu via fstar-club
• 2020/11/20 [fstar-club] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020 Andrei Popescu via fstar-club
• 2020/09/02 Re: [fstar-club] Execute F* using ocaml/opam package Nikhil Swamy via fstar-club
• 2020/09/01 [fstar-club] Execute F* using ocaml/opam package Marius Melzer via fstar-club
• 2020/08/24 [fstar-club] Formal methods engineer positions at Siemens Mobility, Paris, France (full-time) Danko Ilik via fstar-club
• 2020/08/18 [fstar-club] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Andrei Popescu via fstar-club
• 2020/08/11 [fstar-club] Fwd: Quicksort in the tutorial Catalin Hritcu via fstar-club
• 2020/06/15 Re: [fstar-club] Dilithium in F* Karthikeyan Bhargavan via fstar-club
• 2020/06/15 [fstar-club] Dilithium in F* Zan Xu via fstar-club
• 2020/05/01 [fstar-club] PhD offer: Verified programming and secure integration of operating system libraries in F*, Inria Rennes, France Jean-Pierre Talpin via fstar-club
• 2020/04/21 [fstar-club] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (CfP, Deadline Extension) Bruno Bernardo via fstar-club
• 2020/04/16 [fstar-club] Certified Programs and Proofs (CPP) 2021: First Call for Papers Andrei Popescu via fstar-club
• 2020/03/17 Re: [fstar-club] bug report (wrong cast from I32) paul zimmermann via fstar-club
• 2020/03/16 Re: [fstar-club] bug report (wrong cast from I32) Catalin Hritcu via fstar-club
• 2020/02/24 [fstar-club] PhD offer on policy-dependent sandboxing with Inria Challenge RIOT-fp at IRISA, Rennes Jean-Pierre Talpin via fstar-club
• 2019/12/01 [fstar-club] Call for participation for CPP 2020 Catalin Hritcu via fstar-club
• 2019/10/17 [fstar-club] Open CfP: TYPES 2019 post-proceedings Assia Mahboubi via fstar-club
• 2019/10/04 Re: [fstar-club] Asserts using strings Guido Martínez via fstar-club
• 2019/10/04 [fstar-club] Asserts using strings P Arun Babu via fstar-club
• 2019/09/27 [fstar-club] PhD and Postdoc positions in Aarhus (DK) Bas Spitters via fstar-club
• 2019/09/04 [fstar-club] CFP for Certified Programs and Proofs (CPP 2020) Catalin Hritcu via fstar-club
• 2019/07/02 Re: [fstar-club] bug report (wrong cast from I32) paul zimmermann via fstar-club
• 2019/07/02 Re: [fstar-club] bug report (wrong cast from I32) Jonathan Protzenko via fstar-club
• 2019/07/02 [fstar-club] bug report (wrong cast from I32) paul zimmermann via fstar-club
• 2019/07/02 Re: [fstar-club] INSTALL.md Catalin Hritcu via fstar-club
• 2019/07/02 [fstar-club] INSTALL.md paul zimmermann via fstar-club
• 2019/05/13 [fstar-club] Fwd: VTSA'19 Luxembourg: call for applications Catalin Hritcu via fstar-club
• 2019/04/18 [fstar-club] Floating point support in F* Richard Ford via fstar-club
• 2019/04/16 Re: [fstar-club] FStar school Jonathan Protzenko via fstar-club
• 2019/04/02 Re: [fstar-club] FStar school Nikhil Swamy via fstar-club
• 2019/04/02 Re: [fstar-club] FStar school Catalin Hritcu via fstar-club
• 2019/04/02 [fstar-club] FStar school Marc Gourjon via fstar-club
• 2019/03/25 [fstar-club] 1st CFP for Certified Programs and Proofs (CPP 2020) Catalin Hritcu via fstar-club
• 2019/02/22 [fstar-club] PhD vacancy in Formally verified crypto at Aarhus Bas Spitters via fstar-club
• 2019/02/01 [fstar-club] Chatting about F* on Zulip Catalin Hritcu via fstar-club
• 2019/01/15 Re: [fstar-club] Noob questions Christian Nyumbayire via fstar-club
• 2019/01/15 Re: [fstar-club] Noob questions Jonathan Protzenko via fstar-club
• 2019/01/11 Re: [fstar-club] Noob questions Christian Nyumbayire via fstar-club
• 2019/01/11 Re: [fstar-club] Noob questions Nikhil Swamy via fstar-club
• 2019/01/09 [fstar-club] Noob questions Christian Nyumbayire via fstar-club
• 2018/12/07 Re: [fstar-club] OCaml -> F* Alexander Tchitchigin via fstar-club
• 2018/12/07 Re: [fstar-club] OCaml -> F* Joel Jacobson via fstar-club
• 2018/12/07 Re: [fstar-club] OCaml -> F* Alexander Tchitchigin via fstar-club
• 2018/12/07 [fstar-club] OCaml -> F* Joel Jacobson via fstar-club
• 2018/10/09 [fstar-club] PostDoc positions at Inria Paris on F* and on Formally Secure Compilation Catalin Hritcu via fstar-club
• 2018/08/26 [fstar-club] 8,9 Oct: EUTypes meeting in Aarhus Bas Spitters via fstar-club
• 2018/07/03 [fstar-club] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming Bas Spitters via fstar-club
• 2018/07/01 Re: [fstar-club] Consistency of F-star ? Bas Spitters via fstar-club
• 2018/06/29 Re: [fstar-club] Consistency of F-star ? Nikhil Swamy via fstar-club
• 2018/06/29 [fstar-club] Consistency of F-star ? Bas Spitters via fstar-club
• 2018/05/22 [fstar-club] F* v0.9.6.0 released Catalin Hritcu via fstar-club
• 2018/05/10 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Jonathan Protzenko via fstar-club
• 2018/05/09 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Pierre Beaucamp via fstar-club
• 2018/05/02 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Clément Pit-Claudel via fstar-club
• 2018/05/02 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Jonathan Protzenko via fstar-club
• 2018/05/02 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Clément Pit-Claudel via fstar-club
• 2018/05/02 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Jonathan Protzenko via fstar-club
• 2018/05/02 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Clément Pit-Claudel via fstar-club
• 2018/05/02 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Jonathan Protzenko via fstar-club
• 2018/05/01 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Pierre Beaucamp via fstar-club
• 2018/05/01 Re: [fstar-club] Trying to use List.Tot.map with Kremlin Jonathan Protzenko via fstar-club
• 2018/05/01 [fstar-club] Trying to use List.Tot.map with Kremlin Pierre Beaucamp via fstar-club
• 2018/04/03 Re: [fstar-club] Bounds of What the SMT Solver Can Infer Nick Giannarakis via fstar-club
• 2018/04/03 [fstar-club] Bounds of What the SMT Solver Can Infer Nitin John Raj via fstar-club
• 2018/03/14 [fstar-club] Summer schools on F*/Low* coming up in May Catalin Hritcu via fstar-club
• 2018/03/12 [fstar-club] Fwd: [fmics] Two PhD offers at Inria, Rennes, on refinement types for system design Catalin Hritcu via fstar-club
• 2018/03/10 Re: [fstar-club] Refinement types Alexander Tchitchigin via fstar-club
• 2018/03/08 Re: [fstar-club] Refinement types Clément Pit-Claudel via fstar-club
• 2018/03/08 Re: [fstar-club] Refinement types Alexander Tchitchigin via fstar-club
• 2018/03/06 [fstar-club] Refinement types Will White via fstar-club
• 2018/03/06 [fstar-club] VerifyThis 2018: Call for Participation and Travel Grants Andrei Paskevich via fstar-club
• 2018/02/21 [fstar-club] VerifyThis 2018: Call for Problems and First Announcement Andrei Paskevich via fstar-club
• 2018/02/10 [fstar-club] F* Reading List Nitin John Raj via fstar-club
• 2017/11/29 [fstar-club] "Load in editor" links in F* tutorial Marianna Rapoport via fstar-club
• 2017/09/18 Re: [fstar-club] A few random questions Clément Pit-Claudel via fstar-club
• 2017/09/18 Re: [fstar-club] A few random questions Catalin Hritcu via fstar-club
• 2017/09/18 Re: [fstar-club] A few random questions Catalin Hritcu via fstar-club
• 2017/09/17 Re: [fstar-club] Integer literal suffixes Santiago Zanella via fstar-club
• 2017/09/17 [fstar-club] Integer literal suffixes Adam Langley via fstar-club
• 2017/09/17 [fstar-club] A few random questions Julien Cretin via fstar-club
• 2017/08/24 [fstar-club] F* v0.9.5.0 released! Catalin Hritcu via fstar-club
• 2017/07/06 Re: [fstar-club] Tricks for establishing properties of machine integers Antoine Delignat-Lavaud via fstar-club
• 2017/07/05 Re: [fstar-club] The online tutorial just broke Antoine Delignat-Lavaud via fstar-club
• 2017/07/05 Re: [fstar-club] Tricks for establishing properties of machine integers Adam Langley via fstar-club
• 2017/07/05 [fstar-club] The online tutorial just broke Markulf Kohlweiss via fstar-club
• 2017/06/23 Re: [fstar-club] PhD positions on refinement types at Inria Rennes Catalin Hritcu via fstar-club
• 2017/06/15 Re: [fstar-club] Inferred types Clément Pit-Claudel via fstar-club
• 2017/06/15 [fstar-club] Inferred types Thomas Burdick via fstar-club
• 2017/06/01 Re: [fstar-club] Tricks for establishing properties of machine integers Adam Langley via fstar-club
• 2017/05/30 Re: [fstar-club] Tricks for establishing properties of machine integers Jean Karim Zinzindohoué via fstar-club
• 2017/05/29 [fstar-club] Tricks for establishing properties of machine integers Adam Langley via fstar-club
• 2017/05/23 Re: [fstar-club] Type mismatch after OCaml extraction Antoine Delignat-Lavaud via fstar-club
• 2017/05/23 [fstar-club] Type mismatch after OCaml extraction Frieder Steinmetz via fstar-club
• 2017/05/17 Re: [fstar-club] Status of `(***` comments Santiago Zanella via fstar-club
• 2017/05/17 Re: [fstar-club] Status of `(***` comments Clément Pit-Claudel via fstar-club
• 2017/05/17 Re: [fstar-club] Status of `(***` comments Santiago Zanella via fstar-club
• 2017/05/17 Re: [fstar-club] Proving that a function is equal to its definition Catalin Hritcu via fstar-club
• 2017/05/16 [fstar-club] Status of `(***` comments Clément Pit-Claudel via fstar-club
• 2017/05/16 Re: [fstar-club] Proving that a function is equal to its definition Clément Pit-Claudel via fstar-club
• 2017/05/16 Re: [fstar-club] Proving that a function is equal to its definition Catalin Hritcu via fstar-club
• 2017/05/15 Re: [fstar-club] Dependent record field types Jannis via fstar-club
• 2017/05/15 Re: [fstar-club] Proving that a function is equal to its definition Catalin Hritcu via fstar-club
• 2017/05/15 [fstar-club] Proving that a function is equal to its definition Clément Pit-Claudel via fstar-club
• 2017/05/15 Re: [fstar-club] Dependent record field types Santiago Zanella via fstar-club
• 2017/05/15 [fstar-club] Dependent record field types Jannis via fstar-club
• 2017/05/07 [fstar-club] PhD positions on refinement types at Inria Rennes Catalin Hritcu via fstar-club
• 2017/05/05 Re: [fstar-club] kremlin question: define struct zhiting zhu via fstar-club
• 2017/05/05 Re: [fstar-club] kremlin question: define struct Jonathan Protzenko via fstar-club
• 2017/05/05 Re: [fstar-club] KreMLin question about allocation on the heap Jonathan Protzenko via fstar-club
• 2017/05/04 [fstar-club] kremlin question: define struct zhiting zhu via fstar-club
• 2017/05/02 [fstar-club] KreMLin question about allocation on the heap zhiting zhu via fstar-club
• 2017/05/02 [fstar-club] KreMLin question about allocation on the heap zhiting zhu via fstar-club
• 2017/04/12 Re: [fstar-club] Proofs on arbitrarily branching trees Santiago Zanella via fstar-club