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/2024/newsitem/14796/22
 ---23-April-2024-CIBD-Workshop-on-Theory-and-Appli
 cations-of-Craig-Interpolation-and-Beth-Definabili
 ty
DTSTAMP:20240206T204245
SUMMARY:CIBD: Workshop on Theory and Applications 
 of Craig Interpolation and Beth Definability
DTSTART;VALUE=DATE:20240422
DTEND;VALUE=DATE:20240423
LOCATION:Amsterdam, the Netherlands
DESCRIPTION:The aim of this workshop is to bring t
 ogether experts from different research communitie
 s (such as proof theory, model theory, proof compl
 exity, verification, database theory, knowledge re
 presentation, automated reasoning, automata theory
 , philosophy, linguistics) in order to discuss and
  disseminate recent and ongoing research pertainin
 g to Craig interpolation and Beth definability.  I
 nvited speakers: Michael Benedikt (University of O
 xford, tbc), Raheleh Jalali (Czech Academy of Scie
 nces), Jean Christoph Jung (TU Dortmund University
 ), George Metcalfe (University of Bern), Thomas Pl
 ace (LaBRI Bordeaux) and Philipp Ruemmer (Universi
 ty of Regensburg).  Participants will be given the
  opportunity to give short presentations, selected
  by relevance and  quality on the basis of a submi
 tted abstract, as well as availability of slots. A
 bstracts should be at most one page using the easy
 chair LaTeX style, and, if accepted for presentati
 on, will be published on the webpage of the event 
 (not as a formal proceedings).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The aim o
 f this workshop is to bring together experts from 
 different research communities (such as proof theo
 ry, model theory, proof complexity, verification, 
 database theory, knowledge representation, automat
 ed reasoning, automata theory, philosophy, linguis
 tics) in order to discuss and disseminate recent a
 nd ongoing research pertaining to Craig interpolat
 ion and Beth definability.</p>\n  <p>Invited speak
 ers: Michael Benedikt (University of Oxford, tbc),
  Raheleh Jalali (Czech Academy of Sciences), Jean 
 Christoph Jung (TU Dortmund University), George Me
 tcalfe (University of Bern), Thomas Place (LaBRI B
 ordeaux) and Philipp Ruemmer (University of Regens
 burg).</p>\n</div><div>\n  <p>Participants will be
  given the opportunity to give short presentations
 , selected by relevance and<br>\n  quality on the 
 basis of a submitted abstract, as well as availabi
 lity of slots. Abstracts should be at most one pag
 e using the easychair LaTeX style, and, if accepte
 d for presentation, will be published on the webpa
 ge of the event (not as a formal proceedings).</p>
 \n</div>
URL:https://cibd.bitbucket.io/
CONTACT:Balder ten Cate at b.d.tencate at uva.nl
END:VEVENT
END:VCALENDAR