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/2021/newsitem/12775/20
 ---24-September-2021-4th-workshop-Formal-Reasoning
 -and-Semantics-FORMALS-2021-Dubrovnik-Croatia-and-
 Virtual
DTSTAMP:20210520T142556
SUMMARY:4th workshop Formal Reasoning and Semantic
 s (FORMALS 2021), Dubrovnik (Croatia) and Virtual
DTSTART;VALUE=DATE:20210920
DTEND;VALUE=DATE:20210924
LOCATION:Dubrovnik (Croatia) and Virtual
DESCRIPTION:The 4th workshop Formal Reasoning and 
 Semantics will be held at the Inter-University Cen
 ter Dubrovnik (IUC), as a part of the 10th confere
 nce Logic and Applications (LAP 2021) 20-24 Septem
 ber 2021. Virtual participation is also possible. 
  The workshop is organized within the research pro
 ject Formal Reasoning and Semantics (FORMALS). The
  emphasis of the project is on applications of log
 ic in computer science, and vice versa, the applic
 ation of computational tools in logical and mathem
 atical research. Another goal is to apply logic to
  specific problems of linguistics or, more general
 ly, cognitive and information sciences, as well as
  interdisciplinary areas in which economics and ma
 thematics overlap (game theory, social choice theo
 ry).  We have several 30 min slots available for c
 ontributed talks. All contributions which broadly 
 fit the main goal of the project - mutual enrichme
 nt of pure and applied logic - are welcome. Author
 s should submit an abstract in LaTeX format, not e
 xceeding three pages.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The 4th w
 orkshop Formal Reasoning and Semantics will be hel
 d at the <a href="https://iuc.hr/" target="_blank"
 >Inter-University Center Dubrovnik (IUC)</a>, as a
  part of the <a href="http://imft.ftn.uns.ac.rs/ma
 th/cms/LAP2021" target="_blank">10th conference Lo
 gic and Applications (LAP 2021)</a> 20-24 Septembe
 r 2021. Virtual participation is also possible.</p
 >\n\n  <p>The workshop is organized within the res
 earch project Formal Reasoning and Semantics (FORM
 ALS). The emphasis of the project is on applicatio
 ns of logic in computer science, and vice versa, t
 he application of computational tools in logical a
 nd mathematical research. Another goal is to apply
  logic to specific problems of linguistics or, mor
 e generally, cognitive and information sciences, a
 s well as interdisciplinary areas in which economi
 cs and mathematics overlap (game theory, social ch
 oice theory).</p>\n</div><div>\n  <p>We have sever
 al 30 min slots available for contributed talks. A
 ll contributions which broadly fit the main goal o
 f the project - mutual enrichment of pure and appl
 ied logic - are welcome. Authors should submit an 
 abstract in LaTeX format, not exceeding three page
 s.</p>\n</div>
URL:http://formals.ufzg.hr/
CONTACT:Tin Perkov at tin.perkov at ufzg.hr
END:VEVENT
END:VCALENDAR