WinKE Home

Contact Details

For all enquiries about WinKE, please contact:

Ulle Endriss
Institute for Logic, Language and Computation
University of Amsterdam
Plantage Muidergracht 24
1018 TV Amsterdam, The Netherlands

For enquiries regarding the proof system KE or the textbook by Marcello D'Agostino and Marco Mondadori, please contact:

Marcello D'Agostino
Dipartimento di Economia e Management
Università di Ferrara
via Savonarola 38
44100 Ferrara, Italy

The WinKE project has been mainly funded by the University of Ferrara, through the Academic Centre for Research and Didactive Innovation (CARID). We have also received support from research grants held by Prof. Dov Gabbay at King's College London (and previously at Imperial College London).

last modified on Friday, 17-Oct-2014 16:33:45 CESTby Ulle Endriss