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/2023/newsitem/14190/7-
 --11-August-2023-ESSLLI-2023-Workshop-on-First-ord
 er-Modal-and-Temporal-Logics-State-of-the-art-and-
 perspectives
DTSTAMP:20230327T135102
SUMMARY:ESSLLI 2023 Workshop on First-order Modal 
 and Temporal Logics: State of the art and perspect
 ives
DTSTART;TZID=Europe/Amsterdam:20230807T090000
DTEND;TZID=Europe/Amsterdam:20230811T140000
LOCATION:Ljubljana
DESCRIPTION:The workshop will comprise five 90-min
  sessions, one per day, with invited and contribut
 ed talks. It is intended to bring together active 
 researchers in the areas of first-order modal and 
 temporal logics and graduate students interested i
 n these areas, to discuss the state of the art and
  the most important directions and perspectives fo
 r future developments in the areas.Topics of inter
 est include, but are not limited to the following 
 for first-order modal and temporal logics:- langua
 ges, models, and semantics;- proof theory, deducti
 ve systems, and completeness/incompleteness result
 s;- decidability, undecidability, complexity;- pro
 blems and applications in philosophy, mathematics,
  computer science and artificial intelligence.  We
  invite submissions of extended abstracts (2 to 4 
 pages long) on recent or ongoing research in the s
 cope of the workshop. The submissions should be in
  PDF format, preferably prepared with LaTeX, and m
 ust be done via EasyChair: https://easychair.org/c
 onferences/?conf=fomtl2023  Important dates:  Dead
 line for submission of abstracts: April 16  Final 
 decision and notification: May 16  Deadline for re
 gistration at the workshop: June 30  Workshop: Aug
 ust 7-11  See further details in Call for submissi
 ons on the Workshop webpage.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The works
 hop will comprise five 90-min sessions, one per da
 y, with invited and contributed talks. It is inten
 ded to bring together active researchers in the ar
 eas of first-order modal and temporal logics and g
 raduate students interested in these areas, to dis
 cuss the state of the art and the most important d
 irections and perspectives for future developments
  in the areas.Topics of interest include, but are 
 not limited to the following for first-order modal
  and temporal logics:- languages, models, and sema
 ntics;- proof theory, deductive systems, and compl
 eteness/incompleteness results;- decidability, und
 ecidability, complexity;- problems and application
 s in philosophy, mathematics, computer science and
  artificial intelligence.</p>\n</div><div>\n  <p>W
 e invite submissions of extended abstracts (2 to 4
  pages long) on recent or ongoing research in the 
 scope of the workshop. The submissions should be i
 n PDF format, preferably prepared with LaTeX, and 
 must be done via EasyChair: <a href="https://easyc
 hair.org/conferences/?conf=fomtl2023" target="_bla
 nk">https://easychair.org/conferences/?conf=fomtl2
 023</a></p>\n  <p>Important dates:<br>\n  Deadline
  for submission of abstracts: April 16<br>\n  Fina
 l decision and notification: May 16<br>\n  Deadlin
 e for registration at the workshop: June 30<br>\n 
  Workshop: August 7-11</p>\n  <p>See further detai
 ls in Call for submissions on the Workshop webpage
 .</p>\n</div>
URL:https://dshkatov.github.io/fomtl2023/
CONTACT:Dmitry Shkatov at Dmitry.Shkatov at wits.a
 c.za
END:VEVENT
END:VCALENDAR