L'école d'été sur la technologie, les systèmes et les applications de vérification aura lieu à Nancy du 27 au 31 août 2018. Nous croyons que les trois aspects de la technologie de vérification, les systèmes et les applications dépendent fortement les uns des autres et que les progrès dans le domaine de l'analyse formelle et de […]
Calendrier de Évènements
|
lundi
|
mardi
|
mercredi
|
jeudi
|
vendredi
|
samedi
|
dimanche
|
|---|---|---|---|---|---|---|
|
1 évènement,
|
1 évènement,
|
1 évènement,
|
1 évènement,
|
1 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
-
Simon Abelard will defend his thesis on Friday, September 7th at 2.30pm in room C005. His presentation is entitled "Point-counting on hyperelliptic curves defined over finite fields of large characteristic: algorithms and complexities". Referees: Christophe Ritzenthaler, Professor, Université Rennes 1 Fréderik Vercauteren, Associate Professor, KU Leuven Examiners: Magali Bardet, Associate Professor, Université de Rouen Elisa Gorla, Professor, […] |
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
La 6ème édition de la grande rencontre business et numérique du Grand Est, GEN se déroulera le jeudi 13 et vendredi 14 septembre au tout nouveau Centre des Congrès de Metz, situé juste derrière la Gare, dans le quartier de l'Amphithéâtre. Il portera sur le thème Business & Tech. À cette occasion, nos chercheurs et nos […] |
1 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
1 évènement,
-
Les meetups Intelligence Artificielle Nancy sont des moments de rencontre pour démystifier et comprendre l’Intelligence Artificielle. L’objectif de ce groupe est de réunir régulièrement un réseau de chercheurs, étudiants et entreprises qui vous présenteront leurs travaux et partageront leurs connaissances. Passionnés par l’intelligence artificielle ou simples curieux, ces rencontres sont ouvertes à tous et suivies […] |
2 évènements,
-
Le jeudi 20 septembre, le Loria accueillera la sixième édition d'Académie Digitale initiée par Nancy Numérique. En quelques années, l’Académie Digitale est devenue un des rendez–vous phares de Nancy Numérique, l'association nancéienne regroupant toutes les structures autour du numérique. Académie Digitale est un un événement qui permet le temps d’un après-midi de faire des rencontres, d’échanger […]
-
Nos machines peuvent-elles dorénavant prendre des décisions ? Malika Ghalab, directeur de recherche CNRS émérite au LAAS interviendra à la prochaine conférence "Sciences et Société" pour tenter de répondre à cette question. Il vous donne rendez-vous le jeudi 20 septembre dès 20h30 à l'amphi Botté de l'IUT Charlemagne. L'Intelligence Artificielle (IA) est un domaine de […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
-
Baldwin Dumortier (Multispeech) will defend his thesis on Tuesday, September 25th at 1.15pm in room C005. His thesis is entitled "Acoustic control of wind farms". « Contrôle acoustique d'un parc éolien » Rapporteurs : Christophe Gonzales, Professeur, Université Pierre et Marie Curie, Paris. Patrick Danès, Professeur, Université Paul Sabatier, Toulouse. Examinateurs : Mathieu Lagrange, Chargé […] |
0 évènement,
|
1 évènement,
-
Next SSL seminar will take place on Thursday, September 27th at 1.30 pm in room A008. Clémentine Maurice (CNRS, IRISA) will give a presentation entitled "Evolution of microarchitectural attacks". Hardware is often considered as an abstract layer that behaves correctly, just executing instructions and outputing a result. However, the internal state of the hardware leaks information about […] |
1 évènement,
-
Our colleagues from CISPA Saarland, Sandra Strohback and Yang Zhang will visit us on friday september, 28 to give the following talks in room A008 : 2pm - 2pm15 : Sandra Strohback will give a presentation on the next Workshop CISPA-LORIA on Security and Privacy Issues of Big Data: 2pm15 - 3pm: Yang Zhang will give […] |
0 évènement,
|
0 évènement,
|


