Powered by
2017 European Joint Conferences on Theory and Practice of Software (ETAPS),
April 22–29, 2017,
Uppsala, Sweden
ESOP
Probabilistic Programming
Tue, Apr 25, 14:00 - 16:00, Sal B
Graph Rewriting
Wed, Apr 26, 09:00 - 10:00, Sal B
Concurrency
Wed, Apr 26, 10:30 - 12:30, Sal B
Language Design
Wed, Apr 26, 14:00 - 16:00, Sal B
Verification
Wed, Apr 26, 16:30 - 18:00, Sal B
Automated Verification
Thu, Apr 27, 10:30 - 12:30, Sal B
Theorem Proving
Thu, Apr 27, 14:00 - 16:00, Sal B
Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants
Jasmin Christian Blanchette, Aymeric Bouzy,
Andreas Lochbihler,
Andrei Popescu, and
Dmitriy Traytel
(Inria, France; LORIA, France; Max Planck Institute for Informatics, Germany; École Polytechnique, France; ETH Zurich, Switzerland; Middlesex University, UK)
Publisher's Version
Info
Separation Logic
Fri, Apr 28, 10:30 - 12:30, Sal B
Session Types
Fri, Apr 28, 14:00 - 16:00, Sal B
Type Theory
Fri, Apr 28, 16:30 - 18:00, Sal B
proc time: 5.23