Re: [mizar] Types Summer School

[Andrea Asperti <asperti@cs.unibo.it>]

So, should I consider it as a confirmation of
your participation?
Regards.
				-- andrea

On Thu, 29 Mar 2007, Andrzej Trybulec wrote:

> Dear Andrea,
>
> it is still "Trybulec" pronounced appr. 'tribulets' :-)
> Some people claim that it is somehow related to "Trivulzi".
>
> Regards,
> Andrzej
>
> Andrea Asperti wrote:
>
>
> > Confirmed Lecturers
> > -------------------
> ....
> > Andrzej Trybulek, Bialystok
> ....