mlworkshop.org
ACM SIGPLAN Workshop on ML, September 2015 - ACM Workshop on ML
http://www.mlworkshop.org/ml2015
ACM Workshop on ML. ACM SIGPLAN Workshop on ML, September 2015. ML 2015: call for papers. ACM SIGPLAN Workshop on ML, September 2016. ML 2016: call for papers. ACM SIGPLAN Workshop on ML, September 2015. Higher-order, Typed, Inferred, Strict: ACM. Thursday September 3, 2015, Vancouver, Canada. Immediately following ICFP and preceding OCaml Users and Developers Workshop). Abstracts available (Click talk titles to view.). Invited talk by David MacQueen. Generating code with polymorphic let. Application mon...
lsv.fr
LSV Seminar
http://www.lsv.fr/Seminaires
The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins ( venue. If you wish to be informed by e-mail about upcoming seminars, please contact Laurent Doyen. And Stefan Göller. The seminar is open to public and does not require any form of registration. Opacity for Linear Constraint Markov Chains. Visit website for this news. Export event in iCalendar format. Tuesday, November 08 2016 at 11:00AM. Salle de Conférence (Pavillon des Jardins).
easycrypt.info
EasyCrypt
https://www.easycrypt.info/trac/wiki
EasyCrypt: Computer-Aided Cryptographic Proofs. EasyCrypt has been initially developed by the IMDEA Software Institute and Inria. It is now developed at the IMDEA Software Institute, Inria and École Polytechnique. The current release of EasyCrypt (version 1.0. Is still under development. Please join the. EasyCrypt club mailing list. To be informed of evolutions. You can get EasyCrypt via our public git repository (. Git clone https:/ github.com/EasyCrypt/easycrypt.git. As well as a. You can also download.
chocola.ens-lyon.fr
Chocola – Rencontres
http://chocola.ens-lyon.fr/events
June 15th, 2017. May 11th, 2017. IRIF, Univ. Paris Diderot). April 13th, 2017. Institut de Mathématiques de Marseille). March 9th, 2017. La rencontre se tiendra en amphi B, à l'ENS de Lyon. Riesz Modal Logic for Markov Processes. Concurrent game semantics for Probabilistic PCF and relational collapse. A Geometry of Interaction for Quantum Computation. February 9th, 2017. La rencontre aura lieu à l'ENS de Lyon, site Monod, en amphi B (3ème étage). Exp-log normal form of types and formulas. Cette journée C...
easycrypt.info
EasyCrypt
https://www.easycrypt.info/trac/wiki/WikiStart
EasyCrypt: Computer-Aided Cryptographic Proofs. EasyCrypt has been initially developed by the IMDEA Software Institute and Inria. It is now developed at the IMDEA Software Institute, Inria and École Polytechnique. The current release of EasyCrypt (version 1.0. Is still under development. Please join the. EasyCrypt club mailing list. To be informed of evolutions. You can get EasyCrypt via our public git repository (. Git clone https:/ github.com/EasyCrypt/easycrypt.git. As well as a. You can also download.
fstar-lang.org
Dependent Types and Multi-Monadic Effects in F*
https://www.fstar-lang.org/papers/mumon
Dependent Types and Multi-Monadic Effects in F*. Cătălin Hriţcu. To appear at the Symposium on Principles of Programming Languages, POPL 2016. We present a new, completely redesigned, version of F*, a language that works both as a proof assistant as well as a general-purpose, verification-oriented, effectful programming language. In support of these complementary roles, F* is a dependently typed, higher-order, call-by-value language with primitive. Online materials (artifact evaluated).
