BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6148@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220214T000000
DTEND;TZID=Europe/Paris:20220218T000000
DTSTAMP:20241211T144258Z
URL:https://www.i2m.univ-amu.fr/evenements/logic-databases-and-complexity-
 new-methods-and-challenges-thematic-month-2022/
SUMMARY:Conference (CIRM\, Luminy\, Marseille): Logic\, databases and compl
 exity: new methods and challenges (Thematic Month 2022)
DESCRIPTION:Conference: \n\n\n\nTHEMATIC MONTH\n\n\n\n\n\n\n\n Time Schedul
 e \n\n\n\n Slides-Videos \n\n\n\n\n Participants \n\n\n\n\n\n\n\n\n\n\n\n
 \n\n\n\nHYBRID CONFERENCE\n​\nLogic\, databases and complexity: new meth
 ods and challenges\nLogique\, bases de données et complexité : nouvelles
  méthodes et challenges\n14 - 18 February 2022\n\n\n\n\n\n\n[su_spacer si
 ze="10"]\n\n\n\n\n\n\n\nScientific Committee \nComité scientifique\nNadia
  Creignou (Aix-Marseille Université)\nArnaud Durand (Université de Paris
 )\nHeribert Vollmer (Leibniz University Hannover)\n\nOrganizing Committee\
 nComité d'organisation\nNadia Creignou (Aix-Marseille Université)\nFréd
 éric Olive (Aix-Marseille Université)\n\n\n\n\n\n\n\n\n\nDescription\n\n
 \n\n\n\n\n\nThis workshop aims at revisiting the interplay between logic\,
  databases and complexity.\nIt is well-known for years that these domains 
 are intimately related. For example\, since the 70's fragments of first-or
 der and second-order logic have been involved both in description of compu
 tational problems and in expression of database queries. Logic has thus pr
 ovided insights into complexity issues and has strengthened the theoretica
 l framework of databases programming languages.\nIn the recent years\, sev
 eral new concepts have revivified these connections. Team-based logics are
  some of them. Their semantic is based on the evaluation of a first-order 
 formula not for a single assignment to its free variables\, but for sets o
 f such assignments\, so called teams. On the syntactic side the logical la
 nguage is extended with team atoms\, which allow to specify properties of 
 teams. One such property is the functional dependency\, which explains the
  importance of team-based logics for databases.\nThe workshop will provide
  an informal venue to discuss new connections and challenges that renew th
 e interaction between logic\, complexity and databases.\n\n\n\nL'objectif 
 de ce workshop est de revisiter les interactions entre logique\, bases de 
 données et complexité.\nOn connait depuis longtemps les liens intimes 
 que ces domaines entretiennent. Par exemple\, depuis les années 70\, div
 ers fragments des logiques du premier et du second ordres ont été invo
 qués dans la description des problèmes combinatoires ou dans l'express
 ion des requêtes. La logique a ainsi contribué à clarifier des quest
 ions de complexité et à étayer les fondements théoriques des langa
 ges de requête.\nCes dernières années\, de nouveaux concepts ont rev
 ivifié ces connexions. Parmi eux\, les logiques basées sur les team se
 ́mantiques. Ces sémantiques sont fondées sur l'évaluation d'une for
 mule du premier ordre par des ensembles d'affectations de valeurs à ses 
 variables\, les "teams"\, plutôt que par une unique affectation. Du poin
 t de vue syntaxique\, la logique du premier ordre est étendue avec des "
 team atoms"\, qui permettent de spécifier des propriétés singulièr
 es des teams\, au premier rang desquelles celle de dépendance fonctionne
 lle - d'où l'importance de ces logiques pour les bases de données.\nLe
  workshop prendra la forme d'une rencontre informelle pour discuter des no
 uvelles connexions et des défis qui renouvellent les interactions entre l
 ogique\, complexité et bases de données.\n\n\n\n\n\n\n\nOur goal is to
  foster interaction by having several invited talks\, introductory or spec
 ialist tutorials\, and presentations selected only on the basis of brief 
 submitted abstracts.\n\n\n\nSpeakers\n\nMeghyn Bienvenu (CNRS\, Universite
 ́ de Bordeaux)    Introduction to description logic ontologies: synta
 x\, semantics\, relation to other logics\, basic reasoning tasks\nLauri He
 lla (Tampere University)    Generalized quantifiers and their EF-games
  \nJuha Kontinen (University of Helsinki)    Complexity aspects of log
 ics in team semantics \nClaudia Nalon (University of Brasilia)     Ex
 tensions and combinations: the logics in the modal cube\; fusions and prod
 ucts\nArne Meier (Leibniz University Hannover)     Parameterized compl
 exity in dependence logic\nStefan Mengel (CNRS\, Université d'Artois de L
 ens)     Tight Fine-Grained Bounds for Direct Access on Join Queries\n
 Nicola Olivetti  (Aix-Marseille Université)     Non-normal modal log
 ics\nReinhard Pichler (Technical University of Vienna)    Introduction 
 to relational query languages and Codd’s Theorem\nJonni Virtema (Univers
 ity of Sheffield)    New developments in temporal team semantics\n\n\n
CATEGORIES:Workshop,Hybrid,Mois thématique
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20211031T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR