Events
December 2019 Monday Tuesday Wednesday Thursday Friday Saturday Sunday November 25, 2019 November 26, 2019 November 27, 2019 November 28, 2019
Back from Supercomputing by Bruno Raffin (Datamove)
Back from Supercomputing by Bruno Raffin (Datamove)November 28, 2019 –
Bâtiment IMAG (406)Saint-Martin-d'Hères, 38400FranceBruno will present his report from the new trends he saw this year at supercomputing as well as explain some technical talks he liked presented at the conference.
November 29, 2019 November 30, 2019 December 1, 2019 December 2, 2019 December 3, 2019 December 4, 2019 December 5, 2019
Keynote: FlandrinKeynote: FlandrinDecember 5, 2019 –
December 6, 2019 December 7, 2019 December 8, 2019 December 9, 2019 December 10, 2019 December 11, 2019
Phd Defense: Autonomic Resilience of Distributed IoT Applications in the Fog, by Umar Ozeer (Polaris)Phd Defense: Autonomic Resilience of Distributed IoT Applications in the Fog, by Umar Ozeer (Polaris)December 11, 2019 –
Bâtiment IMAGSaint-Martin-d'Hères, 38400FranceAbstract:
Recent computing trends have been advocating for more distributed paradigms, namely Fog computing, which extends the capacities of the Cloud at the edge of the network, that is close to end devices and end users in the physical world. The Fog is a key enabler of the Internet of Things (IoT) applications as it resolves some of the needs that the Cloud fails to provide such as low network latencies, privacy, QoS, and geographical requirements. For this reason, the Fog has become increasingly popular and finds application in many fields such as smart homes and cities, agriculture, healthcare, transportation, etc.The Fog, however, is unstable because it is constituted of billions of heterogeneous devices in a dynamic ecosystem. IoT devices may regularly fail because of bulk production and cheap design. Moreover, the Fog-IoT ecosystem is cyber-physical and thus devices are subjected to external physical world conditions which increase the occurrence of failures. When failures occur in such an ecosystem, the resulting inconsistencies in the application affect the physical world by inducing hazardous and costly situations.
In this Thesis, we propose an end-to-end autonomic failure management approach for IoT applications deployed in the Fog. The proposed approach recovers from failures in a cyber-physical consistent way. Cyber-physical consistency aims at maintaining a consistent behavior of the application with respect to the physical world, as well as avoiding dangerous and costly circumstances.
The approach was validated using model checking techniques to verify important correctness properties. It was then implemented as a framework called F3ARIoT. This framework was evaluated on a smart home application. The results showed the feasibility of deploying F3ARIoT on real Fog-IoT applications as well as its good performances in regards to end user experience.
December 12, 2019 December 13, 2019 December 14, 2019 December 15, 2019 December 16, 2019 December 17, 2019 December 18, 2019 December 19, 2019
Tropical approach to semidefinite programming and mean payoff games, by Mateusz Skomra (ENS Lyon)Tropical approach to semidefinite programming and mean payoff games, by Mateusz Skomra (ENS Lyon)December 19, 2019 –
Bâtiment IMAG (406)Saint-Martin-d'Hères, 38400FranceSemidefinite programming (SDP) is a fundamental tool in convex and polynomial optimization. It consists in minimizing linear functions over spectrahedra (sets defined by linear matrix inequalities). In particular, SDP is a generalization of linear programming. In this talk, we discuss the nonarchimedean analogue of SDP, replacing the field of real numbers by the field of Puiseux series. Our methods rely on tropical geometry and, in particular, on the study of tropicalization of spectrahedra. We show that, under genericity conditions, tropical spectrahedra encode Shapley operators associated with stochastic mean payoff games. As a result, a large class of semidefinite feasibility problems defined over Puiseux series can be solved efficiently using combinatorial algorithms designed for stochastic games. Conversely, we use tropical spectrahedra to introduce a condition number for stochastic mean payoff games. We show that this conditioning controls the number of value iterations needed to decide whether a mean payoff game is winning. In particular, we obtain a pseudopolynomial bound for the complexity of value iteration provided that the number of random positions is fixed.
The talk is based on joint works with X. Allamigeon, S. Gaubert, and R. Katz.December 20, 2019
HDR defense of Panayotis Mertikopoulos (Polaris)HDR defense of Panayotis Mertikopoulos (Polaris)December 20, 2019 –
Bâtiment IMAG (amphitheater)Saint-Martin-d'Hères, 38400FranceOnline optimization and learning in games: Theory and applications
HDR Jury:
- M. Jérôme Bolte (TSE / Univ. Toulouse 1 Capitole, rapporteur)
- M. Nicolò Cesa-Bianchi (Univ. Milan, rapporteur)
- M. Sylvain Sorin (Sorbonne Université, rapporteur)
- M. Eric Gaussier (Univ. Grenoble Alpes, examinateur)
- M. Josef Hofbauer (Univ. Vienne, examinateur)
- M. Anatoli Juditsky (Univ. Grenoble Alpes, examinateur)
- M. Jérôme Renault (TSE / Univ. Toulouse 1 Capitole, examinateur)
- M. Nicolas Vieille (HEC Paris, examinateur)The traditional "pot de soutenance" will take place right after the defense at the ground floor of the IMAG building.
December 21, 2019 December 22, 2019 December 23, 2019 December 24, 2019 December 25, 2019 December 26, 2019 December 27, 2019 December 28, 2019 December 29, 2019 December 30, 2019 December 31, 2019 January 1, 2020 January 2, 2020 January 3, 2020 January 4, 2020 January 5, 2020
