|
lundi
|
mardi
|
mercredi
|
jeudi
|
vendredi
|
samedi
|
dimanche
|
|---|---|---|---|---|---|---|
|
0 évènement,
|
1 évènement,
-
L'invité du séminaire sera Alexei GRINBAUM, philosophe et physicien. Chercheur au laboratoire Larsim du CEA-Saclay, il est spécialiste de l’information quantique. Depuis 2003, il s'intéresse aux questions éthiques liées aux nouvelles technologies, notamment aux nanotechnologies, à l’intelligence artificielle et à la robotique. Il a été coordinateur pour la France de l’Observatoire européen des nanotechnologies et […] |
0 évènement,
|
1 évènement,
-
Titre : La revanche du calcul analogique L'exposé sera en anglais. N’hésitez pas à partager l’information autour de vous ainsi qu’à vos étudiants ! Les personnes extérieures au laboratoire doivent s’inscrire auprès de annabelle.arenaloria.fr avant le mercredi 29 janvier. Plus Title : Analog computations are back Share this information around you ! People who are […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
1 évènement,
-
Title : "Why reductions have to be synchronised in intersection (and union) typed lambda-calculi ?" Luigi Liquori, Inria Sophia-Antipolis Abstract: We 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 […] |
2 évènements,
-
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. The European Symposium on Research in Computer Security La projection aura lieu le jeudi 6 février, à 13h30, dans l'amphithéâtre du Loria. Titre : The Insecurity […]
-
Nancy Numérique organise le 6 février de 18h30 à 20h un rendez-vous à l'Atelier Numérique Google autour de la cybersécurité. Au 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 […] |
1 évènement,
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. Le 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 […] |
1 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
-
À 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. Dans le but de sensibiliser sur […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
1 évènement,
-
Le prochain meetup abordera le thème de la cybersécurité : "L'intelligence artificielle, un atout ou une menace pour la cybersécurité ?" Jean-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. Inscription obligatoire sur www.meetup.com. Une pièce d'identité vous sera demandée […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
