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/14735/11
 ---14-June-2024-Workshop-Ramsey-Theory-in-Logic-Co
 mbinatorics-and-Complexity-RaTLoCC-2024-Pisa-Italy
DTSTAMP:20240115T140341
SUMMARY:Workshop "Ramsey Theory in Logic, Combinat
 orics and  Complexity" (RaTLoCC 2024), Pisa, Italy
DTSTART;VALUE=DATE:20240611
DTEND;VALUE=DATE:20240614
LOCATION:Pisa, Italy
DESCRIPTION:The workshop wants to offer an opportu
 nity for the communities working in proof theory o
 f arithmetic, in reverse mathematics, in finite an
 d infinite combinatorics of Ramsey theory, in proo
 f complexity, and in bounded arithmetic, to be exp
 osed to one another's recent results, methods, and
  goals.  The goals of the workshop are to stimulat
 e the interaction between researchers in the above
 -mentioned areas, to enhance the transfer of metho
 ds from one area to the other, as well as to set t
 he ground for a unifying view on the logico-combin
 atorial study of combinatorial principles, such as
  Ramsey-type statements.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The workshop w
 ants to offer an opportunity for the communities w
 orking in proof theory of arithmetic, in reverse m
 athematics, in finite and infinite combinatorics o
 f Ramsey theory, in proof complexity, and in bound
 ed arithmetic, to be exposed to one another's rece
 nt results, methods, and goals.</p>\n  <p>The goal
 s of the workshop are to stimulate the interaction
  between researchers in the above-mentioned areas,
  to enhance the transfer of methods from one area 
 to the other, as well as to set the ground for a u
 nifying view on the logico-combinatorial study of 
 combinatorial principles, such as Ramsey-type stat
 ements.</p>\n
URL:https://sites.google.com/uniroma1.it/lomec/eve
 nts/ratlocc
CONTACT:ratlocc24 at gmail.com
END:VEVENT
END:VCALENDAR