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/2019/newsitem/10786/17
 ---18-June-2019-2nd-workshop-Formal-Reasoning-and-
 Semantics-FORMALS-2019-Zagreb-Croatia
DTSTAMP:20190413T221154
SUMMARY:2nd workshop Formal Reasoning and Semantic
 s (FORMALS 2019), Zagreb, Croatia
DTSTART;VALUE=DATE:20190617
DTEND;VALUE=DATE:20190618
LOCATION:Zagreb, Croatia
DESCRIPTION:The 2st workshop Formal Reasoning and 
 Semantics will be held at the Faculty of Teacher E
 ducation, University of Zagreb. The workshop is or
 ganized within the research project Formal Reasoni
 ng and Semantics (FORMALS).  Invited speaker: Vive
 k Nigam (Paraiba, Brazil and Muenchen, Germany).  
 We have several 30 min slots available for contrib
 uted talks. All contributions which broadly fit th
 e main goal of the project 'mutual enrichment of p
 ure and applied logic' are welcome. The emphasis o
 f the project is on applications of logic in compu
 ter science, and vice versa, the application of co
 mputational tools in logical and mathematical rese
 arch. Another goal is to apply logic to specific p
 roblems of linguistics or, more generally, cogniti
 ve and information sciences, as well as interdisci
 plinary areas in which economics and mathematics o
 verlap (game theory, social choice theory).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The 2st w
 orkshop Formal Reasoning and Semantics will be hel
 d at the Faculty of Teacher Education, University 
 of Zagreb. The workshop is organized within the re
 search project Formal Reasoning and Semantics (FOR
 MALS).</p>\n\n  <p>Invited speaker: Vivek Nigam (P
 araiba, Brazil and Muenchen, Germany).</p>\n</div>
 <div>\n  <p>We have several 30 min slots available
  for contributed talks. All contributions which br
 oadly fit the main goal of the project 'mutual enr
 ichment of pure and applied logic' are welcome. Th
 e emphasis of the project is on applications of lo
 gic in computer science, and vice versa, the appli
 cation of computational tools in logical and mathe
 matical research. Another goal is to apply logic t
 o specific problems of linguistics or, more genera
 lly, cognitive and information sciences, as well a
 s interdisciplinary areas in which economics and m
 athematics overlap (game theory, social choice the
 ory).</p>\n</div>
URL:http://formals.ufzg.hr/index.php/workshop/
END:VEVENT
END:VCALENDAR