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/13669/26
 ---29-September-2022-The-5th-workshop-Formal-Reaso
 ning-and-Semantics-FORMALS-2022-Dubrovnik-Croatia-
 Virtual
DTSTAMP:20220515T233832
SUMMARY:The 5th workshop Formal Reasoning and Sema
 ntics  (FORMALS 2022), Dubrovnik (Croatia) & Virtu
 al
DTSTART;VALUE=DATE:20220926
DTEND;VALUE=DATE:20220929
LOCATION:Dubrovnik (Croatia) & Virtual
DESCRIPTION:The 5th workshop Formal Reasoning and 
 Semantics will be held at the Inter-University Cen
 ter Dubrovnik (IUC), as a part of the 11th confere
 nce Logic and Applications (LAP 2022). Virtual par
 ticipation is also possible.  The workshop is orga
 nized within the research project Formal Reasoning
  and Semantics (FORMALS). The emphasis of the proj
 ect is on applications of logic in computer scienc
 e, and vice versa, the application of computationa
 l tools in logical and mathematical research. Anot
 her goal is to apply logic to specific problems of
  linguistics or, more generally, cognitive and inf
 ormation sciences, as well as interdisciplinary ar
 eas in which economics and mathematics overlap (ga
 me theory, social choice theory).  We have several
  30 min slots available for contributed talks. All
  contributions which broadly fit the main goal of 
 the project - mutual enrichment of pure and applie
 d logic - are welcome. Authors should submit an ab
 stract in LaTeX format, not exceeding three pages.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The 5th w
 orkshop Formal Reasoning and Semantics will be hel
 d at the Inter-University Center Dubrovnik (IUC), 
 as a part of the <a href="http://imft.ftn.uns.ac.r
 s/math/cms/LAP2022" target="_blank">11th conferenc
 e Logic and Applications (LAP 2022</a>). Virtual p
 articipation is also possible.</p>\n  <p>The works
 hop is organized within the research project Forma
 l Reasoning and Semantics (FORMALS). The emphasis 
 of the project is on applications of logic in comp
 uter science, and vice versa, the application of c
 omputational tools in logical and mathematical res
 earch. Another goal is to apply logic to specific 
 problems of linguistics or, more generally, cognit
 ive and information sciences, as well as interdisc
 iplinary areas in which economics and mathematics 
 overlap (game theory, social choice theory).</p>\n
 </div><div>\n  <p>We have several 30 min slots ava
 ilable for contributed talks. All contributions wh
 ich broadly fit the main goal of the project - mut
 ual enrichment of pure and applied logic - are wel
 come. Authors should submit an abstract in LaTeX f
 ormat, not exceeding three pages.</p>\n</div>
URL:http://formals.ufzg.hr/index.php/workshop/
END:VEVENT
END:VCALENDAR