Proof Verification with GDV and LambdaPi
It's a Matter of Trust 
 
 The 
     Process of
     Building Trust 
-  When? 
     
     -  During system development
     
-  During system use
     
-  When it's worth waiting
     
 
-  How? 
     
-  Contributions
     
 
-  Current
     
     -  Proof format for clausal connection tableau, verification in GDV
     
-  Tarskian and Kripke model formats, verification in AGMV
     
-  ProoVer competition
     
 
 
-  Future
     
 The End - Any Questions?