SICSA M&A: Scottish Theorem Proving Seminar

Loading Map....

Date(s) - 07/10/2015
All Day

Queen Mother Building

The Scottish Theorem Proving Seminar (STP) will take place on the 7th October, 2015 at the Queen Mother Building, University of Dundee (travel information)

Invited Speakers
Helle Hvid Hansen, Delft University of Technology, The Netherlands.
Title: ‘k-regular sequences, coinductively’

Henning Basold, Delft University of Technology, The Netherlands.
Title: ‘Well-definedness and Observational Equivalence for Inductive-Coinductive Programs’

Chris Warburton, University of Dundee, Scotland
Title: ‘Scaling Theory Exploration in Haskell’

You can register your attendance here, and/or volunteer a talk. Alternatively, you can send talk details .

PhD students and early-career researchers are particularly welcome to contribute talks.

More details will be added here when finalised.

This entry was posted in .