BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Computing downward Lowenheim-Skolem: Hands on with the real algebr
 aic numbers - Grant Passmore\, Co-Director LABORES\, Paris &amp\; Life Mem
 ber Clare Hall\, Cambridge
DTSTART:20140424T143000Z
DTEND:20140424T153000Z
UID:TALK52178@talks.cam.ac.uk
CONTACT:Adam Lewicki
DESCRIPTION:Next week Grant Passmore will be speaking on his work in decis
 ion methods and model theory - at the intersection between logic\, algebra
 ic geometry and computer science.  Dr. Passmore is a life member of Clare 
 Hall\, Cambridge\, a Co-Director of Laboratoire de Recherche Scientifique 
 (LABORES)\, Paris\, and currently resides in London.
LOCATION: Centre for Mathematical Sciences\, Meeting Room 5 (centre buildi
 ng\, basement)
END:VEVENT
END:VCALENDAR