print · source · login   

WG meeting in Krakow

EUTypes meeting, Krakow, Poland, 23-24 February 2019, in relation to Lambda Days 2019

Accommodation information can be found here.

Registration

The meeting is open for free to all members of the EUTypes COST network as well as to all other researchers interested in the topic.

Invited speakers

  • Paolo Giarrusso, EPFL, Switzerland
  • Robbert Krebbers, Delft University of Technology, Netherlands
  • Kenji Maillard, INRIA, France
  • Pierre-Yves Strub, École Polytechnique, France

Talks

Robbert Krebbers: Reasoning about non-deterministic side-effects in C expressions using Iris

Kenji Maillard: Designing Dijkstra Monads

Program: The meeting will start in the morning on 23 (Sat) and end in the early afternoon on 24 (Sun)

To be announced.