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/2018/newsitem/9653/24-
 --28-September-2018-1st-workshop-of-Formal-Reasoni
 ng-and-Semantics-FORMALS-2018-Dubrovnik-Croatia
DTSTAMP:20180628T161225
SUMMARY:1st workshop of Formal Reasoning and Seman
 tics (FORMALS 2018), Dubrovnik, Croatia
DTSTART;VALUE=DATE:20180924
DTEND;VALUE=DATE:20180928
LOCATION:Dubrovnik, Croatia
DESCRIPTION:The 1st workshop of Formal Reasoning a
 nd Semantics will be held at the Inter-University 
 Center Dubrovnik (IUC) as a part of the 7th confer
 ence Logic and Applications (LAP 2018). The worksh
 op is organized within the research project Formal
  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).  Invi
 ted speakers: Vivek Nigam.  We have several 30 min
  slots available for contributed talks. All contri
 butions which broadly fit the main goal of the pro
 ject - mutual enrichment of pure and applied logic
  - are welcome.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The 1st w
 orkshop of Formal Reasoning and Semantics will be 
 held at the Inter-University Center Dubrovnik (IUC
 ) as a part of the 7th conference Logic and Applic
 ations (LAP 2018). The workshop is organized withi
 n the research project Formal Reasoning and Semant
 ics (FORMALS).</p>\n\n  <p>The emphasis of the pro
 ject is on applications of logic in computer scien
 ce, and vice versa, the application of computation
 al tools in logical and mathematical research. Ano
 ther goal is to apply logic to specific problems o
 f linguistics or, more generally, cognitive and in
 formation sciences, as well as interdisciplinary a
 reas in which economics and mathematics overlap (g
 ame theory, social choice theory).</p>\n\n  <p>Inv
 ited speakers: Vivek Nigam.</p>\n</div><div>\n  <p
 >We have several 30 min slots available for contri
 buted talks. All contributions which broadly fit t
 he main goal of the project - mutual enrichment of
  pure and applied logic - are welcome.</p>\n</div>
URL:http://formals.ufzg.hr/
CONTACT:tin.perkov at ufzg.hr
END:VEVENT
END:VCALENDAR