Réservation de salles - Toutes les ressources
Du lundi 29 mai au dimanche 04 juin

Ressources lundi 29 mai mardi 30 mai mercredi 31 mai jeudi 01 juin vendredi 02 juin samedi 03 juin dimanche 04 juin
Salle 001
(23 personnes max.)
10:30 à 11:00
Réunion de projet de thése
14:00 à 15:00
Team Meeting RobotVision
10:00 à 11:30
Répétition
16:00 à 19:00
RV bio-info IPMC
Salle 007
(70 personnes max.)
12:30 à 17:30
Ecole Doctorale
12:30 à 14:00
Team meeting Bioinfo
15:00 à 18:00
Réunion Maquettes M1 - DS4H
C. Di Giusto, E. Formenti, A. Tettamanzi
10:00 à 11:00
Logical Analysis of Distributed Systems: The Importance of Being Constructive
Dans le cadre de l'appel AAPI2 - AIDE A LA MOBILITE LONGUE, le prof Michael Mendler, University of Bamberg (E-Mail: michael.mendler@uni-bamberg.de WWW: https://www.uni-bamberg.de/gdi/team/michael-mendler/), visitera l'I3S. A partir de jeudi 26 mai, le prof. Mendler sera ravi de rencontrer et échanger des chercheurs du Labo à leur convenance. En outre, le 2nd juin (vendredi) à 10h AM il donnera l'exposé : Titre Logical Analysis of Distributed Systems: The Importance of Being Constructive Abstract. The design and analysis of complex distributed systems proceeds along numerous levels of abstractions. One key abstraction step is the passage from analog transistor electronics to synchronously clocked sequential circuits. This significantly reduces the modelling complexity from continuous differential equations over the real numbers to discrete Mealy automata over two-valued Boolean algebra. Although typically taken for granted, this step is magic. How do we obtain clock synchronization from asynchronous communication of continuous values? How do we decide on the discrete meaning of continuous signals without a synchronization clock? From a logical perspective, the possibility of synchronization is paradoxical and appears “out of thin air.” This talk revisits the logical justification of the synchronous abstraction claiming that correctness arguments must intrinsically depend on reasoning in classical logic. The well-known result that some synchronization elements cannot be implemented in delay-insensitive circuits is related to “Berry’s Thesis” according to which digital circuits are delay-insensitive if and only if they are provably correct in constructive logic. More technically, the talk will show how non-inertial delays give rise to a constructive modal logic while inertial delays are inherently non-constructive. This gives a logical explanation for why inertial delays can be used to build arbiters, memory-cells and other synchronization elements, while non-inertial delays are not powerful enough. These results indicate the importance of logical constructiveness for metastable-free discrete abstractions of physical behavior. Local Contacts: L. Liquori and R. De Simone
13:30 à 15:30
Répétition exposé projet SIS
Salle du conseil
(40 personnes max.)
14:00 à 16:00
seminar with Prof. Liliane Machado and prof. Ronei M. de Moraes, UFPA, Brésil
Keynote Prof. Liliane dos Santos Machado / Departament of Informatics) Title: Serious Games and Virtual Reality Environments for Learning, Training and Diagnosis Abstract: VR environments and games can be widely used to promote learning, training and diagnosis. Safety, reuse and availabity are characteristics that promote their use for several areas. In this talk, some projects developed by at the Laboratory of Technologies for Virtual Teaching and Statistics (LabTEVE) of the Federal University of Paraíba, in Brazil, dedicated to improving motivation to learn, promoting awareness, allowing the training of risky tasks and providing rehabilitation and playful diagnosis will be presented. Keynote: Prof. Ronei (Ronei Marcos de Moraes / Departament of Statistics) Títle: Developments in Machine Learning with Fuzzy Sets and its Aplications in Health Sciences Abstract: The team of Laboratory of Applied Statistics in Image Processing and Geoprocessing of Federal University of Paraiba (Brazil) has achieve some theorectical developments in Bayesian Netwoks using Fuzzy Probabilities (BNFP) and their ensembles for Machine Learning. I will present some recents developments and its implementation in an R Package named FUZZYCLASS, as well as, some applications of those BNFP for Assessment Training based on Virtual Reality and Phonoaudiology.
salle IHM
(16 personnes max.)
Templiers 1 - Salle 446
(6 personnes max.)
15:00 à 17:00
reunion Smaranda Muresan
15:00 à 17:00
reunion Smaranda Muresan
15:00 à 17:00
reunion Smaranda Muresan
15:00 à 17:00
reunion Smaranda Muresan
Visio Conférence Templier
Ubiquarium des Templiers
Salle 308
(10 personnes max.) Réservations à venir
salle 005/bureau 1
(1 personne max.)
salle 005/bureau 2
(1 personne max.)
salle 005/bureau 3
(1 personne max.)
<==============>
Stage Carlo SANTAMBROGIO - EPC Morpheme - Luca CALATRONI
Stage 6 mois, projet ANR TASKABILE
<==============>
Stage Carlo SANTAMBROGIO - EPC Morpheme - Luca CALATRONI
Stage 6 mois, projet ANR TASKABILE
<==============>
Stage Carlo SANTAMBROGIO - EPC Morpheme - Luca CALATRONI
Stage 6 mois, projet ANR TASKABILE
<==============>
Stage Carlo SANTAMBROGIO - EPC Morpheme - Luca CALATRONI
Stage 6 mois, projet ANR TASKABILE
<==============>
Stage Carlo SANTAMBROGIO - EPC Morpheme - Luca CALATRONI
Stage 6 mois, projet ANR TASKABILE
<==============>
Stage Carlo SANTAMBROGIO - EPC Morpheme - Luca CALATRONI
Stage 6 mois, projet ANR TASKABILE
<==============>
Stage Carlo SANTAMBROGIO - EPC Morpheme - Luca CALATRONI
Stage 6 mois, projet ANR TASKABILE
salle 005/bureau 4
(1 personne max.)
salle 005/bureau 5
(1 personne max.)
08:00 à 19:00
Stage Hugo (SPARKS, J. Martinet)
08:00 à 19:00
Stage Hugo (SPARKS, J. Martinet)
08:00 à 19:00
Stage Hugo (SPARKS, J. Martinet)
08:00 à 19:00
Stage Hugo (SPARKS, J. Martinet)
08:00 à 19:00
Stage Hugo (SPARKS, J. Martinet)
08:00 à 19:00
Stage Hugo (SPARKS, J. Martinet)
08:00 à 19:00
Stage Hugo (SPARKS, J. Martinet)
^ Haut de la page