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/2017/newsitem/7494/20-
 --30-June-2017-The-Eighth-International-Conference
 -on-Topology-Algebra-and-Categories-in-Logic-TACL-
 2017-Olomouc-Prague-Czech-Republic-
DTSTAMP:20170301T130916
SUMMARY:The Eighth International Conference on Top
 ology, Algebra and Categories in Logic (TACL 2017)
 , Olomouc / Prague (Czech Republic)
DTSTART;VALUE=DATE:20170620
DTEND;VALUE=DATE:20170630
LOCATION:Olomouc / Prague (Czech Republic)
DESCRIPTION:Studying logics via semantics is a wel
 l-established and very active branch of mathematic
 al logic, with many applications, in computer scie
 nce and elsewhere. The area is characterized by re
 sults, tools and techniques stemming from various 
 fields, including universal algebra, topology, cat
 egory theory, order, and model theory. The program
 me of the conference TACL 2017 will focus on three
  interconnecting mathematical themes central to th
 e semantical study of logics and their application
 s: algebraic, categorical, and topological methods
 . This is the eighth conference in the series Topo
 logy, Algebra and Categories in Logic (TACL, forme
 rly TANCL).  Starting from 2013, the conference is
  preceded by a summer school. The summer school as
 sociated to the TACL2017 conference will be held i
 n the Faculty of Science of the Palacky University
  of Olomouc.  The Programme Committee cordially in
 vites all researchers to submit their papers for p
 resentation. Contributed talks can be on with any 
 topic involving the use of algebraic, categorical 
 or topological methods in either logic or computer
  science. Extended deadline: 10/03/2017.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Studying 
 logics via semantics is a well-established and ver
 y active branch of mathematical logic, with many a
 pplications, in computer science and elsewhere. Th
 e area is characterized by results, tools and tech
 niques stemming from various fields, including uni
 versal algebra, topology, category theory, order, 
 and model theory. The programme of the conference 
 TACL 2017 will focus on three interconnecting math
 ematical themes central to the semantical study of
  logics and their applications: algebraic, categor
 ical, and topological methods. This is the eighth 
 conference in the series Topology, Algebra and Cat
 egories in Logic (TACL, formerly TANCL).</p>\n\n  
 <p>Starting from 2013, the conference is preceded 
 by a summer school. The summer school associated t
 o the TACL2017 conference will be held in the Facu
 lty of Science of the Palacky University of Olomou
 c.</p>\n</div><div>\n  <p>The Programme Committee 
 cordially invites all researchers to submit their 
 papers for presentation. Contributed talks can be 
 on with any topic involving the use of algebraic, 
 categorical or topological methods in either logic
  or computer science. Extended deadline: 10/03/201
 7.</p>\n</div>
URL:http://www.cs.cas.cz/tacl2017
END:VEVENT
END:VCALENDAR