Re: [mizar] Types Summer School

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

Dear Andrea,

it is still "Trybulec" pronounced appr. 'tribulets' :-)

Regards,
Andrzej

Andrea Asperti wrote:


> Confirmed Lecturers
> -------------------
....
> Andrzej Trybulek, Bialystok
....