Le 1er octobre 2018 seront remis les insignes et titres de docteur honoris causa à Michael Backes, professeur en informatique, expert en cybersécurité. Cette cérémonie sera suivie d'une conférence du professeur Backes, en anglais : Tackling the Grand Challenges of Cybersecurity Research: The Case of Security of Autonomous Systems. Vous êtes chaleureusement invités et nous vous invitons […]
Calendrier de Évènements
|
lundi
|
mardi
|
mercredi
|
jeudi
|
vendredi
|
samedi
|
dimanche
|
|---|---|---|---|---|---|---|
|
1 évènement,
-
|
1 évènement,
-
Bernadette Bensaude-Vincent, professeur d'histoire et de philosophie des sciences à l'Université Paris I Panthéon-Sorbonne, fera un exposé le mardi 2 octobre à 10h30 en salle A008. Sa présentation est intitulée Biologie de synthèse, enjeux épistémologiques, économiques et philosophiques. Résumé : Domaine de pointe dans les biotechnologies et porteur d'espoirs d'une bioéconomie florissante, la biologie de synthèse […] |
0 évènement,
|
1 évènement,
-
Jean-François Cardoso, directeur de recherche CNRS à l’Institut d’Astrophysique de Paris est l’invité du prochain colloquium du Loria. Rendez-vous le jeudi 4 octobre à 13h30 dans l’amphithéâtre pour son exposé intitulé “La plus vieille image du monde : la saisir, la faire parler.” Voici le résumé de sa présentation : “La collaboration “Planck” de l’Agence […] |
1 évènement,
-
Le prochain brunch de l'Université de Lorraine aura lieu le vendredi 5 octobre de 11h30 à 14h à la Maison Mosaïque de Saint-Dié-des Vosges, avec pour thème "GPS, géolocalisation et systèmes d'information géographique. La géomatique aujourd'hui et demain !". Gilles Simon (maître de conférences dans l'équipe Magrit), y présentera ses recherches sur la vision par […] |
0 évènement,
|
0 évènement,
|
|
1 évènement,
-
Pascal Fontaine (Mosel-Veridis) will defend his habilitation on Monday, October 8th at 3PM in room C005. His presentation is entitled "Satisfiability Modulo Theories". Abstract: Satisfiability Modulo Theories (SMT) is an automatic reasoning paradigm to check the satisfiability of logic formulas in presence of predicates and functions interpreted within a theory. Among relevant theories, one finds […] |
0 évènement,
|
0 évènement,
|
1 évènement,
-
Next SSL seminar will take place on Thursday, October 11th at 1.30 pm in the amphitheater. Bryan Ford (EPFL) will give a presentation entitled "Coins, Clubs, and Crowds: Scaling and Decentralization in Next-Generation Blockchains and Cryptocurrencies". Building secure systems from independent, mutually distrustful parties is an old topic in computer science. But despite its attendant hype and misinformation, today's “blockchain […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
-
Next Formal Methods Seminar will take place on Tuesday, October 16th at 10 in room A008. Sergueï Lenglet (Loria, UL) will give a presentation entitled "HOpi in Coq : Locally Nameless vs Nominal". Resume : I will present what I did during my sabbatical in Rennes : the formalization of a higher-order process calculus, i.e., […] |
1 évènement,
-
Next TALC Seminar will take place on Wednesday, October 17, 2018 at 2pm in room A008. Paul Magron (Tampere University of Technology) will give a presentation entitled "Probabilistic modeling of the phase for audio source separation". Abstract: Many audio source separation techniques act on a time-frequency representation of the data, such as the short-time Fourier […] |
0 évènement,
|
2 évènements,
Le groupe de travail « Robotique et Neurosciences » (GT8) du GDR Robotique organise cet automne une quatrième journée de travail ayant pour objectif de favoriser la rencontre et les échanges entre roboticiens, psychologues et neuroscientifiques. Elle se déroulera le 19 octobre en salle A008. Cette journée sera organisée autour d’un ensemble de présentations orales par des […]
-
Next Formal Methods Seminar will take place on Friday, October 19th at 2pm in room B013. Fabian Reiter (LSV, Cachan) will give a presentation entitled "Descriptive distributed complexity" Abstract: This talk connects two classical areas of theoretical computer science: descriptive complexity and distributed computing. The former is a branch of computational complexity theory that characterizes complexity […] |
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
1 évènement,
A workshop for PhD Students on Security and Privacy issues of Big Data will take place at CISPA, Saarland, from October 24 to October 26th. The development of ICT has tremendously changed people’s way of living during the past decade. The resulting big data, on one hand, can help to build appealing industrial products, on […] |
1 évènement,
|
1 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
-
Hayat Nasser will defend her thesis on Tuesday, October 30th at 2pm in room C005. Her presentation is entitled "Tools for the analysis of noisy discrete curves". Dissertation committee: Isabelle DEBLED-RENNESSON Professeure des Universités Université de Lorraine Directrice de thèse Fabien FESCHET Professeur des Universités Université Clermont Auvergne Rapporteur Eric ANDRES Professeur des Universités Université de Poitiers Rapporteur Yukiko KENMOCHI […] |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|


