FMCS 2012 20th Workshop on Foundational Methods in Computer Science Dalhousie University, Halifax, Canada June 14-17, 2012 http://www.mathstat.dal.ca/~selinger/fmcs2012/ PROGRAM AND ABSTRACTS * * * The (preliminary) program and abstracts for next week's FMCS in Halifax are now available at the website: http://www.mathstat.dal.ca/~selinger/fmcs2012/ Thanks, -- Peter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]