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/2024/newsitem/14651/25
 -June---5-July-2024-Topology-Algebra-and-Categorie
 s-in-Logic-TACL-2024-Barcelona-Spain
DTSTAMP:20240229T174742
SUMMARY:Topology, Algebra, and Categories in Logic
   (TACL 2024), Barcelona, Spain
DTSTART;VALUE=DATE:20240625
DTEND;VALUE=DATE:20240705
LOCATION:Barcelona, Spain
DESCRIPTION:Studying logics via semantics is a wel
 l-established and very active branch of mathematic
 al logic, with many applications in computer scien
 ce and elsewhere. The area is characterized by res
 ults, tools and techniques stemming from various f
 ields, including universal algebra, topology, cate
 gory theory, order and model theory. The programme
  of the conference TACL 2024 will focus on three i
 nterconnecting mathematical themes central to the 
 semantical study of logics and their applications:
  algebraic, categorical and topological methods.  
 Programme:  School: June 25-28, 2024 (Barcelona)  
 Conference: July 1-5, 2024 (Barcelona)  We welcome
  contributed talks on any topic involving the use 
 of algebraic, categorical or topological methods i
 n either logic or computer science.  Abstracts of 
 proposed contributions must be submitted through E
 asychair and may be at most 2 pages, including ref
 erences (using Easychair style). Contributed prese
 ntations will be 30 minutes long.
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. The
  area is characterized by results, tools and techn
 iques stemming from various fields, including univ
 ersal algebra, topology, category theory, order an
 d model theory. The programme of the conference TA
 CL 2024 will focus on three interconnecting mathem
 atical themes central to the semantical study of l
 ogics and their applications: algebraic, categoric
 al and topological methods.</p>\n  <p>Programme:<b
 r>\n  School: June 25-28, 2024 (Barcelona)<br>\n  
 Conference: July 1-5, 2024 (Barcelona)</p>\n</div>
 <div>\n  <p>We welcome contributed talks on any to
 pic involving the use of algebraic, categorical or
  topological methods in either logic or computer s
 cience.<br>\n  Abstracts of proposed contributions
  must be submitted through <a href="https://easych
 air.org/conferences/?conf=tacl2024" target="_blank
 " rel="noopener">Easychair</a> and may be at most 
 2 pages, including references (using <a href="http
 ://www.easychair.org/publications/for_authors" tar
 get="_blank" rel="noopener">Easychair style</a>). 
 Contributed presentations will be 30 minutes long.
 </p>\n</div>
URL:https://iiia.csic.es/tacl2024/
CONTACT:Sara Ugolini at 2024TACL at gmail.com
END:VEVENT
END:VCALENDAR