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/9290/21-
 --26-June-2018-Workshop-on-Logical-Correctness-at-
 UNILOG-2018-Vichy-France-
DTSTAMP:20170914T171004
SUMMARY:Workshop on Logical Correctness at UNILOG 
 2018, Vichy (France)
DTSTART;VALUE=DATE:20180621
DTEND;VALUE=DATE:20180626
LOCATION:Vichy (France)
DESCRIPTION:Typically, logical correctness is take
 n to concern whether or not an argument or proof f
 ollows a logical path from premises to conclusions
 . In recent years, however, such a view has been c
 omplicated by the proliferation of logics, approac
 hes to logic, and uses of logic. In this workshop,
  we intend to discuss the philosophical and logica
 l consequences of these changes with regard to how
 , or if, there is any sort of criteria by which a 
 logical structure could be deemed correct, and whe
 ther or not those criteria are context-relevant in
  some specifiable manner.  Keynote speaker: Ole HJ
 ORTLAND (University of Bergen, Norway).  We invite
  abstracts for papers dealing with any of the work
 shop topics (though not necessarily limited to the
 m).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Typically
 , logical correctness is taken to concern whether 
 or not an argument or proof follows a logical path
  from premises to conclusions. In recent years, ho
 wever, such a view has been complicated by the pro
 liferation of logics, approaches to logic, and use
 s of logic. In this workshop, we intend to discuss
  the philosophical and logical consequences of the
 se changes with regard to how, or if, there is any
  sort of criteria by which a logical structure cou
 ld be deemed correct, and whether or not those cri
 teria are context-relevant in some specifiable man
 ner.</p>\n\n  <p>Keynote speaker: Ole HJORTLAND (U
 niversity of Bergen, Norway).</p>\n</div><div>\n  
 <p>We invite abstracts for papers dealing with any
  of the workshop topics (though not necessarily li
 mited to them).</p>\n</div>
URL:http://www.uni-log.org/wk6-logical-correctness
 .html
CONTACT:schangfabien at gmail.com
END:VEVENT
END:VCALENDAR
