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/10234/17
 ---21-June-2019-Topology-Algebra-and-Categories-in
 -Logic-2019-TACL-2019-Nice-France
DTSTAMP:20190129T140915
SUMMARY:Topology, Algebra, and Categories in Logic
  2019 (TACL 2019), Nice, France
DTSTART;VALUE=DATE:20190617
DTEND;VALUE=DATE:20190621
LOCATION:Nice, France
DESCRIPTION:Studying logic via semantics is a well
 -established and very active branch of mathematica
 l logic with many applications in computer science
  and elsewhere. The area is characterized by resul
 ts, tools and techniques stemming from various fie
 lds, including universal algebra, topology, catego
 ry theory, order, and model theory. The programme 
 of the conference TACL 2019 will focus on three in
 terconnecting mathematical themes central to the s
 emantic study of logic and their applications: top
 ological, algebraic, and categorical methods.  Con
 tributed talks are intended to be about topologica
 l, algebraic  or categorical methods used in mathe
 matical or computer science  logic. Authors can su
 bmit an Extended Abstract of 2 pages (including re
 ferences) at the EasyChair conference system.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Studying 
 logic via semantics is a well-established and very
  active branch of mathematical logic with many app
 lications in computer science and elsewhere. The a
 rea is characterized by results, tools and techniq
 ues stemming from various fields, including univer
 sal algebra, topology, category theory, order, and
  model theory. The programme of the conference TAC
 L 2019 will focus on three interconnecting mathema
 tical themes central to the semantic study of logi
 c and their applications: topological, algebraic, 
 and categorical methods.</p>\n</div><div>\n  <p>Co
 ntributed talks are intended to be about topologic
 al, algebraic<br>\n  or categorical methods used i
 n mathematical or computer science<br>\n  logic. A
 uthors can submit an Extended Abstract of 2 pages 
 (including references) at the EasyChair conference
  system.</p>\n</div>
URL:https://math.unice.fr/tacl/2019/
CONTACT:TACL team at tacl at unice.fr
END:VEVENT
END:VCALENDAR