BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250107T130000
DTEND;TZID=Europe/Paris:20250107T150000
DTSTAMP:20260515T052520
CREATED:20241211T134814Z
LAST-MODIFIED:20241211T134814Z
UID:27006-1736254800-1736262000@www.loria.fr
SUMMARY:Department 2 seminar: Alejandro Díaz-Caro (Mocqua team)
DESCRIPTION:Next Formal Methods Seminar (D2 seminar) will take place on January 7th at 1pm in room A008. \nAlejandro Díaz Caro (Mocqua) Will give a presentation entitled Sup\, Sum\, and Scalars: In Linear Logic and in Non-Linear Logic. \nAbstract:\nIn [1]\, we introduced a new connective\, called « sup »\, to intuitionistic\npropositional logic to model information erasure\, non-reversibility\, and\nnon-determinism\, as observed in quantum measurement\, among other\ncontexts. This connective features the introduction rule of conjunction\nand the elimination rule of disjunction\, resulting in a\nnon-deterministic cut-elimination process. To enrich its proof terms\, we\nadded a sum operator\, which allows for recovering the determinism of the\nconnective. Additionally\, since one of our goals was to express quantum\nprograms\, we introduced a scalar product. These rules may occupy the\nspace between the introduction and elimination of a given connective\,\nforcing us to include commuting cuts to establish a proper introduction\ntheorem.\nThe next step toward transforming this calculus into a quantum calculus\nwas to adopt a linear logic framework. Thus\, in [2]\, we considered the\nfull intuitionistic multiplicative-additive linear logic (IMALL). We\nproved that\, when removing the sup connective\, the system–augmented\nwith sums and scalar multiplication–is linear in the algebraic sense.\nSpecifically\, any term t applied to a linear combination a⋅r+b⋅s is\nobservationally equivalent to a⋅(tr)+b⋅(ts).\nIn [3]\, we provided an abstract characterization of the sup connective\nin IMALL\, showing that any symmetric monoidal closed category with\nbiproducts and a monomorphism from the semiring of scalars to the\nsemiring Hom(I\,I) is a suitable model. By leveraging the binary\nbiproducts\, we defined a weighted codiagonal map\, which serves as the\ncore of the sup connective.\nFinally\, in [4]\, we considered two non-linear systems: first\, with the\nsum operator alone as a parallel operator\, and second\, with the\ncombination of the sum and scalar operators as an algebraic lambda\ncalculus. We proposed two categorical models for these calculi. In\nparticular\, we explored the role of disjunction within the calculus\,\nwhich has rarely been studied in conjunction with the parallel (or sum)\nconstruct. For the parallel lambda calculus\, we employed the category\nMagSet\, whose objects are magmas and whose morphisms are functions from\nthe category Set. For the algebraic lambda calculus\, we used the\ncategory AMagSSet\, whose objects are action magmas\, with morphisms\nsimilarly drawn from Set. Our approach diverges from conventional\ninterpretations\, which typically handle disjunctions via coproducts.\nInstead\, we proposed handling them through a combination of disjoint\nunions and Cartesian products.
URL:https://www.loria.fr/event/department-2-seminar-alejandro-diaz-caro-mocqua-team/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250121T130000
DTEND;TZID=Europe/Paris:20250121T140000
DTSTAMP:20260515T052520
CREATED:20250110T112405Z
LAST-MODIFIED:20250110T112405Z
UID:27063-1737464400-1737468000@www.loria.fr
SUMMARY:SSL - Loria Security Seminar - Nils Ole Tippenhauer (CISPA)
DESCRIPTION:Next SSL – Loria Security Seminar will take place on Tuesday\, 21st January at 1pm in room A008. \nNils Ole Tippenhauer\, researcher at CISPA\, will talk about reversing and testing cyber-physical systems.  \nTitle: Reversing and Testing Cyber-Physical Systems \nAbstract: Cyber-Physical Systems such as Industrial Control Systems\, Drones\, and Autonomous Vehicles rely on digital control of a physical process. Adversarial manipulation of such systems can result in physical damage to the system\, or the environment. The underlying embedded systems run (often proprietary) firmware on bare metal\, interacting with a range of peripherals. Security assessment of such systems by their operators\, vendors\, and attackers is challenging for various reasons. In this talk\, I will go over some of those challenges\, and discuss recent ongoing work in the direction of reversing\, rehosting\, and fuzzing of such systems. \nBio: Nils is a faculty at the CISPA Helmholtz Center for Information Security\, heading the SCy-Phy research group. Prior to joining CISPA in 2018\, he was an Assistant Professor at the Singapore University of Technology and Design (SUTD). Nils earned his Dr. Sc. in Computer Science from ETH Zurich (Switzerland) in 2012.  His research is broadly on information security aspects of practical systems. In particular\, he is am currently working on security of cyber-physical systems such as drones\, vehicles\, and industrial control systems. \nAhh the information about the seminar is on the SSL website.
URL:https://www.loria.fr/event/ssl-loria-security-seminar-nils-ole-tippenhauer-cispa/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR