Chargement Évènements
Trouver les Évènements

Navigation par l’affichage des évènements

Évènements passés

Navigation de la liste des Évènements

mai 2017

Formal Methods Seminar

mai 16 @ 11:00 - 13:00
B013,

Next Formal Methods Seminar will take place on Tuesday, May 16th at 11 am in room B013. Igor Konnov (TU Vienna), will give a talk entitled "A Short Counterexample Property for Safety and Liveness Verification of Fault-Tolerant Distributed Algorithms". Distributed algorithms have many mission-critical applications ranging from embedded systems and replicated databases to cloud computing. Due to asynchronous communication, process faults, or network failures, these algorithms are difficult to design and verify.  Many algorithms achieve fault tolerance by using threshold…

Voir les détails »

Soutenance HDR : Francis Colas

mai 17 @ 13:30 - 15:00
A008,

Francis Colas (Larsen) soutiendra son HDR le mercredi 17 mai à 13h30 en salle A008. Sa présentation est intitulée "Modélisation bayésienne et robotique". Résumé : Animaux et robots partagent les mêmes problématiques de devoir se faire une représentation d'eux-mêmes et de leur environnement à partir d'informations partielles issus de processus physiques complexes (via respectivement les sens ou les capteurs). Ils doivent en outre agir dans cet environnement en fonction de leurs objectif, situation et capacités propres. Partant du postulat que…

Voir les détails »

CELLO Workshop

mai 18 @ 08:00 - 17:00

Next CELLO Workshop will take place on Tuesdayn June 13th from 9.30 am to 5.30pm in room B013. Full program. 9:00 - 9:30  coffee break 9:30 - 10:20 speaker: Yanjing Wang, Peking University, Beijing, CHINA title: A new framework for epistemic logic abstract: Recent years witness a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why, and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general…

Voir les détails »

Department 5 Seminar

mai 18 @ 11:30 - 12:30
B013,

A D5 Seminar will take place on Thursday, May 18th at 11.30. Alexander Makarenko, Institute of Applied System Analysis (IASA), of the National Technical University of Ukraine, "Kiev Polytechnic Institute" will give a presentation entitled "Cellular automata and neural networks as the models. Some new possibilities." Abstract: Three related topics are considered: non-typical cellular automata, some new neural networks and self-organization aspects in different distributed systems. As theoretical problems as presumable applied aspects are considered. The systems with strong anticipation…

Voir les détails »

Colloquium : R. Ramanujam

mai 18 @ 13:30 - 15:00
Amphi,

Next colloquium will take place on Thursday, May 18th at 1.30pm, with R. Ramanujam (IMSc – Institute of Mathematical Sciences, Chennai, India). His presentation is entitled "Logical dynamics in large games". Abstract: How would you strategize in a game with say, 50 players? If the game were repeated many times, and you saw that your neighbour was doing well in several previous rounds, would you be tempted to imitate that neighbour in the next round? Would that be {\em rational}…

Voir les détails »
+ Exporter les évènements

En ce moment

Colloquium Loria 2017
Présentations et vidéos

Logo du CNRS
Logo Inria
Logo Université de Lorraine