FISP Kick-Off 2016   

The Fine Structure of Formal Proof Systems and their Computational Interpretations (FISP)

Kick-Off Meeting

November 15 – 17, 2016, Innsbruck, Austria

FISP is is a joint project between Austria and France represented by the following institutions:

The kick-off workshop brings together the project particpants from Austria and France to discuss recent work and work in progress. Moreover estimeed colleagues have been invited to present their work. The workshop is funded by FISP.


The format of the workshop allows either 1 hour keynotes or 45 min for technical presentations. Presentation is by invitation only.

Important Dates

Workshop: November 15 – 17, 2016

Workshop Dinner: November 16, 2016, 21:00; Restaurant Schwarzer Adler


Georg Moser