BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Events for LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20181028T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20190701
DTEND;VALUE=DATE:20190706
DTSTAMP:20260514T195327
CREATED:20190607T115125Z
LAST-MODIFIED:20190722T063641Z
UID:7440-1561939200-1562371199@www.loria.fr
SUMMARY:École d'été Master Erasmus Mundus+ DEPEND
DESCRIPTION:Une Ecole d’été pour réunir des étudiants ERASMUS et des spécialistes internationaux en informatique et méthodes formelles pour des logiciels sûrs. \nDu 1er juillet au 5 juillet 2019\, l’Université de Lorraine accueille l’École d’été du Master Erasmus Mundus DEPEND (Advanced Systems Dependability). Ce Master International\, mis en place depuis septembre 2018\, concerne trois universités partenaires : l’Université de St Andrews (Écosse)\, l’Université de Maynooth (Irlande) et l’Université de Lorraine (France) au travers du Master Informatique.de Lorraine et de son parcours international “Méthodes Formelles pour les Logiciels Sûrs” (MFLS). Cette École d’été a lieu au Loria (Laboratoire lorrain de recherche en informatique et ses applications) et est organisée par Didier Galmiche\, professeur d’Informatique à l’Université de Lorraine\, chercheur au Loria et directeur du programme Erasmus+ DEPEND. \nLe Master DEPEND propose une formation solide et avancée aux concepts et techniques essentiels pour la conception et la construction de logiciels sûrs\, permettant ainsi aux diplômés d’entamer une carrière d’ingénieur ou de chercheur en entreprise ou laboratoire privé ou public. Les étudiants sélectionnés au niveau international\, suivent sur deux ans deux Masters (un par an) dans deux des trois universités mentionnées\, et obtiennent à la fin les deux diplômes de Master Informatique des sites concernés.\nLes étudiants qui étudient une année au sein de cette formation à l’Université de Lorraine bénéficient de la qualité de la formation du Master Informatique\, notamment sur le thème ”Méthodes Formelles pour les Logiciels Sûrs (MFLS)” au travers des interventions de spécialistes reconnus\, enseignants-chercheurs et chercheurs du Loria (CNRS\, Inria et Université de Lorraine). \nCette École d’été annuelle est donc l’occasion de réunir\, sur un des trois sites partenaires\, les étudiants Erasmus\, issus de différents pays\, les coordinateurs du programme Erasmus+ DEPEND et des spécialistes invités pour suivre diverses activités : présentation de travaux et posters par les étudiants\, exposés et ateliers présentés par des spécialistes internationaux issus de laboratoires ou d’entreprises\, échanges avec les étudiants locaux de Master et/ou de thèse et les enseignants-chercheurs.\nCette année\, des exposés porteront sur des thèmes comme la sécurité des véhicules connectés\, la vérification formelle de systèmes dans l’industrie\, la modélisation de services\, l’apprentissage automatique\, la sécurité des données médicales et des données bancaires\, la programmation sûre\, et aussi le calcul quantique et la logique épistémique dynamique et leurs applications. \nCette École d’été permet aussi aux participants de découvrir la Lorraine et en particulier Nancy et de ses environs ainsi que son environnement scientifique et culturel. Elle doit aussi conduire à renforcer les relations en formation et recherche entre les trois universités et leurs entreprises partenaires. \n  \n\nPlus d’infos sur le Master Erasmus+ DEPEND\nProgramme de l’Ecole d’été Erasmus Mundus DEPEND\n\n  \n  \n 
URL:https://www.loria.fr/event/ecole-dete-master-erasmus-mundus-depend/
CATEGORIES:school
END:VEVENT
END:VCALENDAR