BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Complexity results for dependence logic - Kontinen\, J (University
  of Helsinki)
DTSTART:20120326T153000Z
DTEND:20120326T163000Z
UID:TALK37091@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:Dependence Logic\, introduced by Jouko Vnnen in 2007\, is a ne
 w logic incorporating the concept of dependence into first-order logic. Th
 e expressive power of dependence logic coincides with that of existential 
 second-order logic\, and the complexity class NP over finite structures. I
 n the past few years\, dependence logic has grown into a new framework in 
 which various notions of dependence and independence can be formalized. We
  review\nrecent results regarding the expressive power and complexity of c
 ertain fragments and extensions of dependence logic.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR