[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
================================================= Announcement of a workshop on COALGEBRAIC LOGIC August 10-11 Oxford University Invited speakers: * Marcelo Fiore (Cambridge, UK) * Rob Goldblatt (Wellington, New Zealand) * H.Peter Gumm (Marburg, Germany) * Bart Jacobs (Nijmegen, The Netherlands) * Lawrence Moss (Bloomington, US) * Yde Venema (Amsterdam, The Netherlands) More details, including modes of participation, can be obtained from: * http://se10.comlab.ox.ac.uk:8080/FOCS/COQL_en.html or by contacting the workshop organiser: * Alexander Kurz <[EMAIL PROTECTED]> This workshop will be partly adjacent to and partly interleaved with one on CATEGORICAL QUANTUM LOGIC which takes place August 11-12 and is organised by Bob Coecke, and both of these follow on from the conference ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III: * http://www.maths.ox.ac.uk/notices/events/special/tancl07/ which takes place August 5-9 and is organised by Hilary Priestley and Mai Gehrke.