BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6713@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20200702T100000
DTEND;TZID=Europe/Paris:20200702T110000
DTSTAMP:20241120T201945Z
URL:https://www.i2m.univ-amu.fr/evenements/finding-resolution-in-unexpecte
 d-places-girards-formula-outside-its-usual-setting/
SUMMARY:Peter Hines (YCCSA\, York\, UK): Finding Resolution in unexpected p
 laces: Girard's formula outside its usual setting
DESCRIPTION:Peter Hines: WEBINAIRE (visio: https://greenlight.lal.cloud.mat
 h.cnrs.fr/b/lio-hdc-jef)\n\nAbstract: This is not a talk about Linear Logi
 c or the Geometry of Interaction\; these feature\, very briefly\, as histo
 rical background &amp\; motivation. Rather\, the aim is to consider a key 
 part of these topics -- Girard's "Resolution Formula'' -- in a more genera
 l context\, and examine both where it appears in other settings and why th
 is is the case.\nThese 'other settings' range across several distinct fiel
 ds of theoretical computer science and mathematics. From a Theoretical Com
 puter Science perspective\, they include automata &amp\; Turing machines\,
  domain theory\, the low-level / high-level distinction\, and the halting 
 problem for quantum computers. The mathematical tools required include cat
 egorical closure &amp\; reflexivity\, pointless topologies\, categorical c
 oherence\, and inverse semigroups &amp\; categories.\nThe talk concludes b
 y discussing possible future directions : in particular\, whether we can i
 dentify / construct problems that we may prove are not solvable by certain
  classes of machines.\nPeter Hines (YCCSA\, York\, UK)\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Peter_Hines.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20200329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR