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/2023/newsitem/14178/20
 ---21-June-2023-Algebra-Categories-and-Logic-in-Co
 mputing-ACLiC-St-Erme-France
DTSTAMP:20230413T154543
SUMMARY:Algebra, Categories and Logic in Computing
  (ACLiC), St Erme, France
DTSTART;VALUE=DATE:20230620
DTEND;VALUE=DATE:20230621
LOCATION:St Erme, France
DESCRIPTION:Algebra, category theory and logic hav
 e traditionally played an important role in our un
 derstanding of computing. Recently, there has been
  a surge in new ways of understanding how these di
 sciplines can help in tackling challenges in the t
 heory and applications of computing. Examples are:
  combining machine learning and proof-theoretic ap
 proaches to natural language; reasoning about mult
 i-agent systems; developing programming languages 
 and compositional models; and specifying and analy
 zing systems and protocols.  The aim of this works
 hop is to bring together both leading and upcoming
  researchers who use such approaches, with the goa
 l of promoting collaborations across the different
  disciplines.  This workshop is the first event in
  a program aimed at offering Farsi-speaking mathem
 aticians — as well as any mathematician interested
  in building cross-cultural connections — opportun
 ities to build a network and receive mentoring fro
 m leading Farsi-speaking mathematicians. The works
 hop will be held in a bilingual Farsi-English sett
 ing, and participants do not need to be fluent in 
 both languages to attend.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Algebra, categ
 ory theory and logic have traditionally played an 
 important role in our understanding of computing. 
 Recently, there has been a surge in new ways of un
 derstanding how these disciplines can help in tack
 ling challenges in the theory and applications of 
 computing. Examples are: combining machine learnin
 g and proof-theoretic approaches to natural langua
 ge; reasoning about multi-agent systems; developin
 g programming languages and compositional models; 
 and specifying and analyzing systems and protocols
 .</p>\n  <p>The aim of this workshop is to bring t
 ogether both leading and upcoming researchers who 
 use such approaches, with the goal of promoting co
 llaborations across the different disciplines.</p>
 \n  <p>This workshop is the first event in a progr
 am aimed at offering Farsi-speaking mathematicians
  — as well as any mathematician interested in buil
 ding cross-cultural connections — opportunities to
  build a network and receive mentoring from leadin
 g Farsi-speaking mathematicians. The workshop will
  be held in a bilingual Farsi-English setting, and
  participants do not need to be fluent in both lan
 guages to attend.</p>\n
URL:https://www.demos-institute.org/aclic
CONTACT:Nima Motamed at n.motamed at uu.nl
END:VEVENT
END:VCALENDAR