Practical computer formalization of mathematics with the Mizar proof assistant
25–28 January 2010
University of Hyderabad, Gachibowli, India


The workshop Practical computer formalization of mathematics with the Mizar proof assistant is part of ISLA 2010, the third Indian School on Logic and its Applications.

The workshop happens in the second week of ISLA 2010, from 25 January till 28 January, 2010. The details of the talks are as below.


Organisers

Adam Naumowicz (University of Białystok, Poland)