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/ ]