BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Focusing and proof search - Ruy Ley-Wild
DTSTART:20080307T110000Z
DTEND:20080307T120000Z
UID:TALK11074@talks.cam.ac.uk
CONTACT:Alexander Gurney
DESCRIPTION:A focused proof system eliminates inessential nondeterminism i
 n proof construction by staging derivations in alternating phases of inver
 tible and non-invertible rules.  I will present the main ideas for focaliz
 ing a proof system and some connections to backward- and forward-chaining 
 proof search.
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR