Fifth Workshop on Proof Theory, Modal Logic and Reflection Principles (Wormshop)
Abstract
tb added
Speakers
- Opening by Dr. Domènec Espriu Vice-rector for research (University of
Barcelona).
- Edward Lowdell Legal Counsel (Guretruck S.L.).
- Dr. Joost J. Joosten Associate Professor (University of Barcelona) slides.
- Dr. David Fernández-Duque Senior Researcher (University of Ghent) slides.
- Guillermo Errezil General Manager (Guretruck S.L., Formal Vindications
S.L.) slides.
- Closing by Dr. Albert Cirera Vice-rector for entrepreneurship, Transfer
and Innovation (University of Barcelona).
Links
- Link to an extended informative piece about the project in the Fundació
Bosch i Gimpera webpage.
- Link to Formal Vindications webpage where you can find more information
about the time manager.