fstar-club  

Messages by Thread

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