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/2022/newsitem/13703/4-
 July-2022-ICALP-Workshop-Trends-in-Arithmetic-Theo
 ries-Paris-France
DTSTAMP:20220523T144226
SUMMARY:ICALP Workshop "Trends in Arithmetic Theor
 ies", Paris, France
DTSTART;VALUE=DATE:20220704
DTEND;VALUE=DATE:20220704
LOCATION:Paris, France
DESCRIPTION:Logical theories of arithmetic such as
  Presburger arithmetic play an important role in a
  variety of different areas of computer science an
 d have been studied since the early days of the fi
 eld. The recent years have seen a lot of progress 
 on all aspects of such theories, ranging from new 
 foundational results, algorithmic advances, more p
 erformant decision procedures to novel application
  domains. This progress has largely been obtained 
 independently without much interaction between res
 earchers working on different aspects of this fiel
 d. The goal of this workshop is to bring together 
 researchers working in the field to exchange lates
 t trends, understand currently existing challenges
  and to initiate new collaborations.  Speakers: Ém
 ilie Charlier (Université de Liège, Belgium), Phil
 ipp Hieronymi (University of Bonn, Germany), Rober
 to Sebastiani (Università di Trento, Italy), Thoma
 s Sturm (Loria Nancy, France & MPI for Informatics
 , Germany) and Sven Verdoolaege (Cerebras Systems,
  Belgium). In addition to invited talks, we plan t
 o include an introductions-type session in the pro
 gramme to give all attendees an opportunity to get
  to know each other.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Logical theori
 es of arithmetic such as Presburger arithmetic pla
 y an important role in a variety of different area
 s of computer science and have been studied since 
 the early days of the field. The recent years have
  seen a lot of progress on all aspects of such the
 ories, ranging from new foundational results, algo
 rithmic advances, more performant decision procedu
 res to novel application domains. This progress ha
 s largely been obtained independently without much
  interaction between researchers working on differ
 ent aspects of this field. The goal of this worksh
 op is to bring together researchers working in the
  field to exchange latest trends, understand curre
 ntly existing challenges and to initiate new colla
 borations.</p>\n  <p>Speakers: Émilie Charlier (Un
 iversité de Liège, Belgium), Philipp Hieronymi (Un
 iversity of Bonn, Germany), Roberto Sebastiani (Un
 iversità di Trento, Italy), Thomas Sturm (Loria Na
 ncy, France & MPI for Informatics, Germany) and Sv
 en Verdoolaege (Cerebras Systems, Belgium). In add
 ition to invited talks, we plan to include an intr
 oductions-type session in the programme to give al
 l attendees an opportunity to get to know each oth
 er.</p>\n
URL:http://www.cs.ox.ac.uk/people/christoph.haase/
 home/trends-in-arithmetic-theories/
END:VEVENT
END:VCALENDAR