[Date Prev][Date Next][Date Index]

REMINDER: Talk announcment. TODAY 15:00 C.T., Arnaud Durand: "Introduction to dependence logic and team semantics", Seminarraum Goedel



Dear all, 

this is a gentle reminder of the talk by Arnaud Durand this afternoon. Please note that the begin time has been changed from 15:00 s.t. to 15:00 c.t. - to comply with the general guidelines of the rectorate to start all events c.t.

best regards
Reinhard Pichler

________________________________________
Von: Pichler, Reinhard <pichler@dbai.tuwien.ac.at>
Gesendet: Dienstag, 04. Juni 2019 16:38
An: talks@dbai.tuwien.ac.at
Cc: dk-all-studs@logic-cs.at
Betreff: Talk announcement - June 7, 15:00 s.t., Arnaud Durand: "Introduction to dependence logic and team semantics", Seminarraum Goedel

Dear all,

the Institute of Logic and Computation cordially invites you to the following
talk:

=============================================================================

Speaker: Prof. Dr. Arnaud Durand

Université Paris-Diderot
http://www.logique.jussieu.fr/~durand/

=============================================================================

DATE:   Friday, June 7, 2019

TIME:   15:00 s.t.

VENUE: Seminarraum Goedel, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB EG 10
        (access from yard)

=============================================================================

TITLE:

Introduction to dependence logic and team semantics

=============================================================================

ABSTRACT:

Dependence Logic, introduced by Jouko Väänänen in 2007, is a
formalism incorporating the concept of dependence into first-order
logic. A central notion behind this formalism is Team Semantics that
differs from the usual semantics due to Tarski in the sense it evaluates
the truth of first order formulas on set of assignment at once.  The
expressive power of dependence logic coincides with that of existential
second-order logic, and the complexity class NP over finite structures.
In the past few years, dependence logic has grown into a new framework
in which one can formalize and deal with various notions of dependence
and  independence, that arose in many fields of mathematics, computer
science (in particular databases), statistics, social science etc. In
this talk, we will survey the basics of team semantics, dependence-like
logics and results on the computational aspects of these formalism

=============================================================================


kind regards
Reinhard Pichler