Grigori (Grisha) Mints

Dear colleagues, I've checked the archives of categories and it seems that the sad news that Grisha Mints passed away on 29 May 2014 has not reached the community. I am sad to be the bearer of these news. Richard Zach has a nice post about him ( http://www.ucalgary.ca/rzach/blog/2014/05/grigori-mints-1939-2014.html), Stanford has a memorial page ( https://philosophy.stanford.edu/content/articles/view/Grisha_Mints_1/) and his family has a webpage for tributes (http://www.grishamints.net/) I am missing Grisha very much, a great logician and a great human being. Valeria -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]