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:5869@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20221124T170000 DTEND;TZID=Europe/Paris:20221124T183000 DTSTAMP:20241120T200643Z URL:https://www.i2m.univ-amu.fr/evenements/seminaire-des-doctorant%e2%8b%8 5es-de-li2m-et-du-cpt-a-luminy-cedric-de-lacroix/ SUMMARY:Cédric De Lacroix (LIS\, AMU): Quantale theory and its logic DESCRIPTION:Cédric De Lacroix: We will introduce quantales both as an int eresting algebraic structure and as a model of provability of linear logic . We will look at standard examples and and how one may construct a (unitl ess) Frobenius quantale from a C*-algebra.\n\n \;\n\n\n\nLe séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe chaque semaine l es doctorant⋅es du site autour d'un exposé plus ou moins (in)formel\, d ans un cadre convivial. Il est évidemment ouvert aux étudiant⋅es de ma ster et aux doctorant⋅es d'autres laboratoires.\n\nC'est au rez-de-chaus sée du bâtiment de « l'ancienne BU »\, dans la salle « Séminaire 2 » (au fond à gauche en sortant de l'escalier si vous venez de l'étage\, au fond à droite si vous entrez par le rez-de-chaussée). Attention : l' entrée dans le labo nécessite un badge. En cas de souci (de type : être bloqué⋅e dehors)\, appeler le 04 91 26 95 91. ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 022/10/image_seminar-arxiv.2205.04111-Unitless_Frobenius_quantales-The-pen tagon-N-5-left-and-the-diamond-M-3-right-Cedric_de_Lacroix-Luigi_Santocana le.png CATEGORIES:Séminaire,Rencontres doctorant⋅es I2M-CPT LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de Luminy\, 13009 Marseille\, France\, X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B U\, Salle Séminaire2 (RdC):geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:STANDARD DTSTART:20221030T020000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET END:STANDARD END:VTIMEZONE END:VCALENDAR