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/current/newsitem/14735
/11---14-June-2024-Workshop-Ramsey-Theory-in-Logic
-Combinatorics-and-Complexity-RaTLoCC-2024-Pisa-It
aly
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 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.

\n 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.

URL:https://sites.google.com/uniroma1.it/lomec/eve
nts/ratlocc
CONTACT:ratlocc24 at gmail.com
END:VEVENT
END:VCALENDAR