[mizar] Qindao

[Andrzej Trybulec <trybulec@asuka.cs.shinshu-u.ac.jp>]

Dear All,

I am back from China (back to Japan). We, Yatsuka Nakamura and me, 
visited Qust. The hospitability
of our colleagues in Qindao surpass everything. A trip to Laoshan (maybe 
I should write 'the Laoshan mountains',
but 'shan' means mountain(s)), and dinners (a wonderful food) and more.

We did some work, too. :-) Lectures (7 by everyone of us) and 
consultations. I believe it was fruitful.

The Qindao group, under the leadership of prof. Liang, gets stronger and 
stronger. About 30 students working
with Mizar.

Best regards,
Andrzej Trybulec