BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Developing logical theories for several NP search classes - Nguyen
 \, PT (Universit de Montral)
DTSTART:20120329T153000Z
DTEND:20120329T163000Z
UID:TALK37161@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:We present finitely-axiomatizable two-sorted first-order theor
 ies associated with several NP search classes in the sense that search pro
 blems in a class are precisely those that are provable total in the associ
 ated theory. These theories are in the same vein as the family of theories
  associated with many subclasses of polytime\, developed earlier by Nguyen
  and Cook. We consider proving several theorems in these new theories. (Jo
 int work with Antonina Kolokolova.)\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR