BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2022/newsitem/13870/10
 ---12-November-2022-Workshop-on-finite-model-theor
 y-and-many-valued-logic-Virtual
DTSTAMP:20220912T135042
SUMMARY:Workshop on finite model theory and many-v
 alued logic, Virtual
DTSTART;TZID=Europe/Amsterdam:20221110T143000
DTEND;TZID=Europe/Amsterdam:20221112T200000
LOCATION:Virtual
DESCRIPTION:The model-theoretic study of finite st
 ructures (such as relational databases) as a syste
 matic area of research was started in the 1970s wi
 th Ronald Fagin's seminal doctoral thesis. To this
  date it has produced a plethora of significant re
 sults such as logical characterizations of complex
 ity classes and 0-1 laws. On the other hand, many-
 valued logics have been studied at least since Geo
 rge Boole to handle reasoning with uncertainty and
  imprecision. In the 1990s, research in this area 
 was boosted by the work of Petr Hájek and several 
 others. Both fields have impacted theoretical comp
 uter science, particularly in the area of database
 s. The goal of this event is to bring researchers 
 from these two worlds together to discuss problems
  in their respective areas and potential points of
  interaction.  This ia a three-day fully online wo
 rkshop organized in the context of the ARC funded 
 project DE220100544 hosted at the University of Qu
 eensland. The organizers of the event are Guillerm
 o Badia (Queensland), Carles Noguera (Siena) and L
 luis Godo (IIAI-Barcelona). Keynote speakers: Rona
 ld Fagin (IBM) and Daniele Mundici (Florence).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The model-theo
 retic study of finite structures (such as relation
 al databases) as a systematic area of research was
  started in the 1970s with Ronald Fagin's seminal 
 doctoral thesis. To this date it has produced a pl
 ethora of significant results such as logical char
 acterizations of complexity classes and 0-1 laws. 
 On the other hand, many-valued logics have been st
 udied at least since George Boole to handle reason
 ing with uncertainty and imprecision. In the 1990s
 , research in this area was boosted by the work of
  Petr Hájek and several others. Both fields have i
 mpacted theoretical computer science, particularly
  in the area of databases. The goal of this event 
 is to bring researchers from these two worlds toge
 ther to discuss problems in their respective areas
  and potential points of interaction.</p>\n  <p>Th
 is ia a three-day fully online workshop organized 
 in the context of the ARC funded project DE2201005
 44 hosted at the University of Queensland. The org
 anizers of the event are Guillermo Badia (Queensla
 nd), Carles Noguera (Siena) and Lluis Godo (IIAI-B
 arcelona). Keynote speakers: Ronald Fagin (IBM) an
 d Daniele Mundici (Florence).</p>\n
URL:https://sites.google.com/view/workshop-fmtmvlc
 i
CONTACT:g.badia at uq.edu.au
END:VEVENT
END:VCALENDAR