BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//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:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200205T110000
DTEND;TZID=Europe/Paris:20200205T123000
DTSTAMP:20260606T184753
CREATED:20200203T122640Z
LAST-MODIFIED:20200203T123846Z
UID:8956-1580900400-1580905800@www.loria.fr
SUMMARY:Séminaire du D2 par Luigi Liquori
DESCRIPTION:Title : « Why reductions have to be synchronised in intersection (and union) typed lambda-calculi ? »\nLuigi Liquori\, Inria Sophia-Antipolis\n \n\n\nAbstract:\n\nWe present the ∆-calculus\, an explicitly typed λ-calculus with strong pairs\, projections and explicit type coercions. The calculus can be parametrized with different intersection type theories\, as described in the Barendregt-Dekker-Statman book on λ-calculi with types\, producing a family of ∆-calculi with related intersection typed systems. We show why annotating pure λ-calculus with intersection types is not easy: a classical example is the difficulty to decorate the bound variable of the explicitly typed polymorphic identity λx: ?.x such that the type of the identity is (σ → σ) ∩ (τ → τ ): previous attempts showed that the full power of the intersection type discipline can be easily lost. We show why intersection typed systems need a kind of synchronised reduction to fix the subject reduction theorem. The same problematics also appear when decorating λ-calculus with union-types. Finally\, we show how the ∆-calculus can be raised to a ∆-framework by adding dependent-types as in the Edinburgh Logical Framework.
URL:https://www.loria.fr/event/seminaire-du-d2-par-luigi-liquori/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200206T133000
DTEND;TZID=Europe/Paris:20200206T153000
DTSTAMP:20260606T184753
CREATED:20200115T091902Z
LAST-MODIFIED:20200115T091902Z
UID:8873-1580995800-1581003000@www.loria.fr
SUMMARY:Séminaire SSL par Adi Shamir
DESCRIPTION:Le prochain séminaire sera un peu particulier puisqu’il s’agira de la projection de l’exposé invité donné en septembre par Adi Shamir dans le cadre de la conférence Esorics 2019. \nThe European Symposium on Research in Computer Security \nLa projection aura lieu le jeudi 6 février\, à 13h30\, dans l’amphithéâtre du Loria. \nTitre : The Insecurity of Machine Learning: Problems and Solutions \nAbstract : The development of deep neural networks in the last decade had revolutionized machine learning and led to major improvements in the precision with which we can perform many computational tasks. However\, the discovery five years ago of adversarial examples in which tiny changes in the input can fool well trained neural networks makes it difficult to trust such results when the input can be manipulated by an adversary. \nThis problem has many applications and implications in object recognition\, autonomous driving\, cyber security\, etc\, but it is still far from being understood. In particular\, there had been no convincing explanations why such adversarial examples exist\, and which parameters determine the number of input coordinates one has to change in order to mislead the network. \nIn this talk I will describe a simple mathematical framework which enables us to think about this problem from a fresh perspective\, turning the existence of adversarial examples in deep neural networks from a baffling phenomenon into an unavoidable consequence of the geometry of R^n under the Hamming distance\, which can be quantitatively analyzed.
URL:https://www.loria.fr/event/seminaire-ssl-par-adi-shamir/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200206T180000
DTEND;TZID=Europe/Paris:20200206T203000
DTSTAMP:20260606T184753
CREATED:20200205T144611Z
LAST-MODIFIED:20200205T144611Z
UID:8982-1581012000-1581021000@www.loria.fr
SUMMARY:Rendez-vous Nancy Numérique : Regards croisés autour de la cybersécurité
DESCRIPTION:Nancy Numérique organise le 6 février de 18h30 à 20h un rendez-vous à l’Atelier Numérique Google autour de la cybersécurité. \nAu cours de ce rendez-vous\, Jean-Yves Marion (Loria)\, Clément Joliot (Soteria Lab) et Philippe Antoine (Catena Cyber) s’attaqueront aux aspects non techniques de la cybersécurité. L’intention est de proposer une entrée pour ceux qui veulent être acteurs de leur sécurité numérique sans être experts afin d’aborder l’aspect économique et la création de start-up\, la recherche\, le logiciel libre… S’en suivra un temps d’échanges pour autour discuter des questions de chacun\, et creuser certains domaines comme les codes malveillants. \nPour plus d’informations et inscriptions\, cliquez ici
URL:https://www.loria.fr/event/rendez-vous-nancy-numerique-regards-croises-autour-de-la-cybersecurite/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20200207
DTEND;VALUE=DATE:20200209
DTSTAMP:20260606T184753
CREATED:20200205T143018Z
LAST-MODIFIED:20200205T143018Z
UID:8979-1581033600-1581206399@www.loria.fr
SUMMARY:IA Now
DESCRIPTION:Le Loria sera présent à l’événement IA_Now les 7 et 8 février à la Maison de l’entreprise du Technopôle de Metz. \n \n\nLe 7 février\, retrouvez Régis Lhoste\, project manager du projet DigiTrust de 14h30 à 14h55 pour un cercle d’échanges ; puis Jérôme François\, chargé de recherche Inria dans l’équipe Resist\, pour un cercle d’échanges de 16h30 à 16h55.\nLe 8 février\, Aurore Coince\, project manager du projet OLKI\, présentera l’IA du langage lors d’une conférence grand public de 10h à 10h25.\n\nPlus d’informations sur l’événement et billetterie : ai-now.org
URL:https://www.loria.fr/event/ia-now/
LOCATION:Metz Technopôle
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200211T090000
DTEND;TZID=Europe/Paris:20200211T113000
DTSTAMP:20260606T184753
CREATED:20200207T124006Z
LAST-MODIFIED:20200207T124248Z
UID:8987-1581411600-1581420600@www.loria.fr
SUMMARY:Matinée "Carrières scientifiques et femmes"
DESCRIPTION:À l’occasion de la journée internationale des femmes et filles de science déclarée par l’UNESCO\, le CNRS organise une matinée « Carrières scientifiques et femmes » le mardi 11 février 2020 au Loria en présence d’Alain Schuhl\, directeur général délégué à la science (DGDS) du CNRS et des lycéen.ne.s. \nDans le but de sensibiliser sur les métiers de la science et notamment sur leur accessibilité à toutes et tous\, 80 élèves seront accueillis durant une matinée pour échanger avec des scientifiques sur ces sujets. \n  \nAu programme\, projection en amphithéâtre de la vidéo « Les femmes sont-elles faites pour les sciences ? »\, de la chaine YouTube L’antisèche. \n » C’est vrai qu’on peut se poser la question quand on voit le peu de femmes scientifiques. Mais pourquoi est-ce qu’elles ne s’orientent pas plus vers les filières scientifiques ? On tente d’y répondre. Vidéo réalisée en partenariat avec le Ministère de l’Enseignement supérieur et de la Recherche. «  \nLa vidéo sera suivie d’un quizz sur les femmes scientifiques à l’origine de grandes découvertes\, puis de différents témoignages de chercheuses et chercheurs. Les élèves visiteront le Creativ’Lab et participeront à des ateliers débranchés. \nLes lycéens pourront également découvrir l’exposition « Les découvreuses anonymes » dans le hall du Loria. Le principe de ces panneaux est simple : un message accompagné d’une illustration\, comme un indice sur ce qu’a fait ou découvert la scientifique\, avec des éléments d’explication et une présentation de la femme concernée. Ces femmes ont été choisies pour illustrer la grande variété des disciplines scientifiques dans lesquelles elles ont apporté une contribution. \n  \nÉvénement exclusivement réservé aux lycéens et à leurs accompagnants. \n 
URL:https://www.loria.fr/event/matinee-carrieres-scientifiques-et-femmes/
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20200219T183000
DTEND;TZID=Europe/Paris:20200219T203000
DTSTAMP:20260606T184753
CREATED:20200203T150822Z
LAST-MODIFIED:20200203T151540Z
UID:8965-1582137000-1582144200@www.loria.fr
SUMMARY:Meetup IA Nancy #6
DESCRIPTION:Le prochain meetup abordera le thème de la cybersécurité : « L’intelligence artificielle\, un atout ou une menace pour la cybersécurité ? » \nJean-Yves Marion\, directeur du Loria et professeur à l’université de Lorraine\, ainsi que Laurent Werner\, directeur général de Cyber Detect\, interviendront sur le sujet. \nInscription obligatoire sur www.meetup.com.\nUne pièce d’identité vous sera demandée à l’entrée du Loria.
URL:https://www.loria.fr/event/meetup-ia-nancy-6/
LOCATION:C005
CATEGORIES:Manifestation
END:VEVENT
END:VCALENDAR