BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Second-Order Universal Algebra\, Equational Logic\, and Algebraic 
 Theories. - Marcelo Fiore (University of Cambridge)
DTSTART:20100525T131500Z
DTEND:20100525T141500Z
UID:TALK25049@talks.cam.ac.uk
CONTACT:Nathan Bowler
DESCRIPTION:I'll talk about the following preprints:\n\n- M. Fiore and C.-
 K. Hur.  Second-Order Equational Logic.\n   <http://www.cl.cam.ac.uk/~mpf2
 3/soeqlog.pdf>\n\n- M. Fiore and O. Mahmoud.  Second-Order Algebraic Theor
 ies.\n   <http://www.cl.cam.ac.uk/~mpf23/soalgth.pdf>\n
LOCATION:MR2\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR