BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.3.6//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:9130@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260115T170000
DTEND;TZID=Europe/Paris:20260115T180000
DTSTAMP:20260625T174118Z
URL:https://www.i2m.univ-amu.fr/evenements/a-guided-tour-in-good-old-logic
 /
SUMMARY:Félix Castro (I2M): A guided tour in good old logic
DESCRIPTION:Félix Castro: Abstract: Starting from a question that seems q
 uite naive\, I will introduce some tools to try and see that its answer is
  not so straightforward.During this journey\, we will revisit standard not
 ions of (first-order) logic such as  Godel theorems\, Kleene realizabil
 ity\, forcing\, constructibility and constructivism (which is very diffe
 rent from constructibility\;)...\nThis talk will focus much more on intuit
 ion than on technical details (which will be kept to the bare minimum if m
 ore details are not requested).\n\nNo prior knowledge in mathematics\, log
 ic\, computer science (nor any other esoteric science) is needed\, it will
  be pure popularization :)\nAt the end and depending on time\, I may give 
 a short opening on one of my current research topic.\n
CATEGORIES:Séminaire,Rencontres doctorant⋅es I2M-CPT
LOCATION:Luminy - salle 500-504b\, Aix-marseille université-faculté des s
 ciences\, campus Luminy\, Marseille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Aix-marseille université-f
 aculté des sciences\, campus Luminy\, Marseille\, France;X-APPLE-RADIUS=1
 00;X-TITLE=Luminy - salle 500-504b:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR