BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour 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:20170326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20171029T010000
END:STANDARD
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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181016T100000
DTEND;TZID=Europe/Paris:20181016T113000
DTSTAMP:20181009T140555Z
CREATED:20181009T140555Z
LAST-MODIFIED:20181009T140555Z
UID:6092-1539684000-1539689400@www.loria.fr
SUMMARY:Formal Methods Seminar : Sergueï Lenglet
DESCRIPTION:Next Formal Methods Seminar will take place on Tuesday\, October 16th at 10 in room A008. \nSergueï Lenglet (Loria\, UL) will give a presentation entitled « HOpi in Coq : Locally Nameless vs Nominal ». \nResume : I will present what I did during my sabbatical in Rennes : the formalization of a higher-order process calculus\, i.e.\, a process algebra where messages contain executable processes. I will discuss in particular the problem of representing binders\, and compare existing techniques (locally nameless and nominal) in that setting.
URL:https://www.loria.fr/event/formal-methods-seminar-serguei-lenglet/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181011T133000
DTEND;TZID=Europe/Paris:20181011T150000
DTSTAMP:20180917T112243Z
CREATED:20180917T112243Z
LAST-MODIFIED:20180917T112243Z
UID:5955-1539264600-1539270000@www.loria.fr
SUMMARY:Séminaire Sécurité Loria : Bryan Ford
DESCRIPTION:Next SSL seminar will take place on Thursday\, October 11th at 1.30 pm in the amphitheater. \nBryan Ford (EPFL) will give a presentation entitled « Coins\, Clubs\, and Crowds: Scaling and Decentralization in\nNext-Generation Blockchains and Cryptocurrencies ». \n \nBuilding secure systems from independent\, mutually distrustful parties is an old topic in computer science. But despite its attendant hype and misinformation\, today’s “blockchain bandwagon” has successfully brought the gospel of decentralization – both a realization of its possibility and an appreciation for its value – to mainstream society.\nCurrently-deployed blockchains\, however\, are slow\, unscalable\, weakly consistent\, profligate in energy use\, and have effectively re-centralized due to market pressures. We will explore ongoing challenges and progress in rethinking blockchain architecture to improve scalability\, efficiency\, functionality\, privacy\, and decentralization.\nWe will explore how decentralized building blocks such as collective signatures and scalable distributed randomness enable architecturally modular solutions to challenges such as scalable Byzantine consensus\, horizontal sharding\, proof-of-stake\,  and blockchain-managed secrets.\nFinally\, we explore challenges in fairness and democratization in decentralized systems\, how “proof-of-personhood” blockchains could enable information forums and anonymous reputation systems resistant to propaganda campaigns\, and how democratic cryptocurrencies could offer a permissionless analog of universal basic income. \nBio: Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) research laboratory at the Swiss Federal Institute of Technology in Lausanne (EPFL). Ford focuses broadly on building secure decentralized systems\, touching on topics including private and anonymous communication\, scalable decentralized systems\, blockchain technology\, Internet architecture\, and operating systems. Ford earned his B.S. at the University of Utah and his Ph.D. at MIT\, then joined the faculty of Yale University where his work received the Jay Lepreau Best Paper Award and grants from NSF\, DARPA\, and ONR\, including the NSF CAREER award. His continuing work receives support from EPFL\, the AXA Research Fund\, and numerous industry partners. He has served on numerous prestigious advisory boards including on the DARPA Information Science and Technology (ISAT) study group\, the Swiss FinTech Innovations (SFTI) advisory board\, and the Swiss Blockchain Taskforce.
URL:https://www.loria.fr/event/seminaire-securite-loria-bryan-ford/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181008T150000
DTEND;TZID=Europe/Paris:20181008T160000
DTSTAMP:20181008T064028Z
CREATED:20181008T064027Z
LAST-MODIFIED:20181008T064028Z
UID:6084-1539010800-1539014400@www.loria.fr
SUMMARY:HDR : Pascal Fontaine
DESCRIPTION:Pascal Fontaine (Mosel-Veridis) will defend his habilitation on Monday\, October 8th at 3PM in room C005. \nHis presentation is entitled « Satisfiability Modulo Theories ». \nAbstract: 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 the empty theory (uninterpreted symbols)\, various arithmetic theories\, and theories for data-types\, sets\,… SMT solvers generally also implement some kind of combination of theories\, so that they can handle formulas containing interpreted symbols from several of those theories at the same time.  My previous contributions as well as my project revolve around SMT\, mainly on decision procedures\, combination of theories and quantifier handling for SMT.  My main directions for future research are to extend SMT to handle higher-order formulas\, and to further improve efficiency\, quantifier handling\, and proof production for SMT.  A last aspect of my work involves applying SMT techniques for verification\, more particularly for TLA+ and the B method. \nCommittee:\nSylvain Conchon\, Université Paris-Sud 11\, France\nStephan Merz\, Université de Lorraine\, CNRS\, Inria\, Loria\, France\nRenate Schmidt\, University of Manchester\, UK\nRoberto Sebastiani\, Università di Trento\, Italy\nJeanine Souquières\, Université de Lorraine\, CNRS\, Loria\, France\nViorica Sofronie-Stokkermans\, Universität Koblenz-Landau\, Germany\nCesare Tinelli\, The University of Iowa\, USA
URL:https://www.loria.fr/event/hdr-pascal-fontaine/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181004T133000
DTEND;TZID=Europe/Paris:20181004T150000
DTSTAMP:20180924T090553Z
CREATED:20180924T090553Z
LAST-MODIFIED:20180924T090553Z
UID:5983-1538659800-1538665200@www.loria.fr
SUMMARY:Colloquium Loria : Jean-François Cardoso
DESCRIPTION:Jean-François Cardoso\, directeur de recherche CNRS à l’Institut d’Astrophysique de Paris est l’invité du prochain colloquium du Loria. \nRendez-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.” \nVoici le résumé de sa présentation : \n“La collaboration “Planck” de l’Agence Spatiale Européenne a récemment publié une carte plein-ciel du rayonnement fossile cosmologique.\nCette image\, qui a fait la Une des quotidiens du monde entier\, est presque littéralement une “photo instantanée” de notre Univers aux premiers temps de sa formation\, la plus vieille image du monde.\nElle confirme avec éclat et approfondit la théorie du Big Bang\, notre meilleur scénario pour l’origine et la formation de l’Univers. \nDans ce séminaire\, je rappellerai les grandes lignes de la théorie du Big Bang\, je décrirai le satellite Planck et le traitement des données qui ont permis de construire une carte du rayonnement fossile avec une merveilleuse précision. Finalement\, j’expliquerai comment “des données\, on extrait la Science”: comment on fait parler l’image par la statistique pour déterminer\, l’âge de l’Univers\, son contenu en masse et énergie\, et bien d’autres choses…” \nLes personnes extérieures au laboratoire doivent s’inscrire par e-mail auprès de Marie Baron (marie.baron @ loria.fr) avant le mardi 2 octobre.
URL:https://www.loria.fr/event/colloquium-loria-jean-francois-cardoso/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181002T103000
DTEND;TZID=Europe/Paris:20181002T120000
DTSTAMP:20180925T070058Z
CREATED:20180921T124352Z
LAST-MODIFIED:20180925T070058Z
UID:5970-1538476200-1538481600@www.loria.fr
SUMMARY:Exposé de Bernadette Bensaude-Vincent
DESCRIPTION: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. \nSa présentation est intitulée Biologie de synthèse\, enjeux épistémologiques\, économiques et philosophiques. \n \nRésumé : Domaine de pointe dans les biotechnologies et porteur d’espoirs d’une bioéconomie florissante\, la biologie de synthèse propose de fabriquer des micro-organismes à façon pour remplir des tâches de production ou de réparation. On  caractérisera cette discipline nouvelle comme une technoscience exemplaire qui introduit un nouveau type de pratique de science qui soulève d’importants problèmes éthiques et philosophiques.
URL:https://www.loria.fr/event/expose-de-bernadette-bensaude-vincent/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180928T140000
DTEND;TZID=Europe/Paris:20180928T150000
DTSTAMP:20180924T070623Z
CREATED:20180924T070623Z
LAST-MODIFIED:20180924T070623Z
UID:5973-1538143200-1538146800@www.loria.fr
SUMMARY:Seminar : Sandra Strohback and Yang Zhang (CISPA)
DESCRIPTION:Our colleagues from CISPA Saarland\, Sandra Strohback and Yang Zhang will visit us\non friday september\, 28 to give the following talks in room A008 :\n\n\n2pm – 2pm15 :  Sandra Strohback will give a presentation on the next Workshop CISPA-LORIA on Security and Privacy Issues of Big Data:\n\n2pm15 – 3pm: Yang Zhang will give a talk entitled  » ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models ».\n\n \nAbstract: \nMachine learning (ML) has become a core component of many real-world applications and training data is a key factor that drives current progress. This huge success has led Internet companies to deploy machine learning as a service (MLaaS). Recently\, the first membership inference attack has shown that extraction of information on the training set is possible in such MLaaS settings\, which has severe security and privacy implications. \nHowever\, the early demonstrations of the feasibility of such attacks have many assumptions on the adversary\, such as using multiple so-called shadow models\, knowledge of the target model structure\, and having a dataset from the same distribution as the target model’s training data.\nIn this talk\, I will present our newest results on relaxing all these key assumptions\, thereby showing that such attacks are very broadly applicable at low cost and thereby pose a more severe risk than previously thought. We present the most comprehensive study so far on\nthis emerging and developing threat using eight diverse datasets which show the viability of the proposed attacks across domains. \nIn addition\, we propose the first effective defense mechanisms against such broader class of membership inference attacks that maintain a high level of utility of the ML model.
URL:https://www.loria.fr/event/seminar-sandra-strohback-and-yang-zhang-cispa/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180927T133000
DTEND;TZID=Europe/Paris:20180927T150000
DTSTAMP:20180917T111633Z
CREATED:20180917T111633Z
LAST-MODIFIED:20180917T111633Z
UID:5953-1538055000-1538060400@www.loria.fr
SUMMARY:Séminaire Sécurité Loria : Clémentine Maurice
DESCRIPTION:Next SSL seminar will take place on Thursday\, September 27th at 1.30 pm in room A008. \nClémentine Maurice (CNRS\, IRISA) will give a presentation entitled « Evolution of microarchitectural attacks ». \n \nHardware is often considered as an abstract layer that behaves correctly\, just executing instructions and outputing a result. However\, the internal state of the hardware leaks information about the programs that are executing\, paving the way for covert or side-channel attacks. \nIn this presentation\, we will cover the evolution of microarchitectural attacks. We will first have a look at a historical recap of past attacks and how the field evolved in the last years. We will focus on two recent trends\, that are practical attacks (by demonstrating robust covert channels in the cloud) and the increase of the attack surface. We will conclude with the different challenges and open questions that the field is facing.
URL:https://www.loria.fr/event/seminaire-securite-loria-clementine-maurice/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180920T203000
DTEND;TZID=Europe/Paris:20180920T220000
DTSTAMP:20180822T134438Z
CREATED:20180822T134356Z
LAST-MODIFIED:20180822T134438Z
UID:5887-1537475400-1537480800@www.loria.fr
SUMMARY:Conférence "Sciences et Société" sur l'IA avec Malik Ghalab
DESCRIPTION:Nos machines peuvent-elles dorénavant prendre des décisions ? \nMalika Ghalab\, directeur de recherche CNRS émérite au LAAS interviendra à la prochaine conférence « Sciences et Société » pour tenter de répondre à cette question. Il vous donne rendez-vous le jeudi 20 septembre dès 20h30 à l’amphi Botté de l’IUT Charlemagne. \nL’Intelligence Artificielle (IA) est un domaine de recherche multi-disciplinaire\, à l’interface de l’informatique\, des mathématiques appliquées et des sciences cognitives. L’objet de l’IA est la mécanisation de tâches qui requièrent des connaissances et des capacités de perception\, de raisonnement et de prise de décision. Ce domaine\, encore jeune bien que sexagénaire\, a fait beaucoup de progrès dont il est fréquemment question dans les médias\, parfois avec exagération sur ses possibilités et dangers. \nNos machines peuvent-elles dorénavant prendre des décisions ? La question mérite être analysée pour les deux sens de « pouvoir décider » :\nBien entendu\, avoir le droit requière en théorie d’avoir la capacité de prendre des décisions\, mais ceci est loin d’être suffisant. Sur le premier volet\, l’exposé résumera l’état de l’art en IA. On illustrera les tâches pour lesquels les capacités des machines à trouver de bonnes décisions sont désormais effectives\, en distinguant la décision autonome de l’aide à la prise de décision humaine. On insistera sur les limites des capacités actuelles\, qui restent spécifiques à des tâches particulières et qui ne se généralisent que difficilement à un large spectre de tâches. Le deuxième volet soulève des risques sociaux et éthiques\, mais également des problèmes scientifiques largement ouverts\, qui aggravent ces risques. \nCette conférence faisant partie du cycle « Sciences et société »  est organisée par l’IUT Charlemagne\, l’Institut Elie Cartan de Lorraine et la Fédération Charles Hermite \n 
URL:https://www.loria.fr/event/conference-sciences-et-societe-sur-lia-avec-malik-ghalab/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180705T110000
DTEND;TZID=Europe/Paris:20180705T120000
DTSTAMP:20180704T090146Z
CREATED:20180704T090143Z
LAST-MODIFIED:20180704T090146Z
UID:5829-1530788400-1530792000@www.loria.fr
SUMMARY:Talk Sergei Grudinin on structural bioinformatics
DESCRIPTION:There will be a presentation on structural bioinformatics on Thursday 5th of July at 11h00 in Room B013. \nSergei Grudinin\, from Nano-D\, (Inria/CNRS) in Grenoble will give a talk entitled « Novel computational approaches for structural bioinformatics ». \nAbstract : \nIn my talk I will briefly present our recent developments in using polynomial expansions\, collective motions\, Fourier analysis\, machine learning\, and symmetry information for several problems in structural bioinformatics. I will first present our approach of computing nonlinear large-amplitude motions in the Cartesian space using a nonlinear extrapolation of the instantaneous eigen-motions of large biological objects. Then\, I will show how to compute collective motions in the Fourier space and how to extend the Fourier correlation theorem for flexible objects. I will also present novel methods of using polynomial expansions for small-angle X-ray and neutron scattering of rigid and flexible objects. Finally\, I will show how machine learning and 3D convolutional networks can help in constructing knowledge-based scoring functions for protein quality assessment\, and what we can learn from exhaustive analysis of symmetric protein structure in the protein data bank.
URL:https://www.loria.fr/event/talk-sergei-grudinin-on-structural-bioinformatics/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180703
DTEND;VALUE=DATE:20180704
DTSTAMP:20180417T091606Z
CREATED:20180417T091606Z
LAST-MODIFIED:20180417T091606Z
UID:5352-1530576000-1530662399@www.loria.fr
SUMMARY:Journée IA et Santé au LORIA
DESCRIPTION:Dans le cadre de la Plateforme Française Intelligence Artificielle 2018 (PFIA 2018) qui se tiendra du 2 au 6 juillet 2018 à Nancy\, une journée « IA et Santé » est organisée au LORIA le mardi 3 juillet. \nL’atelier aura pour thématique principale l’exploitation des données et des connaissances numériques en santé. \nSeront abordés : \nLe traitement intelligent de données et des connaissances en santé :\n– Documents cliniques\, possiblement multimodaux\, réseaux sociaux\, publications scientifiques\n– Systèmes d’information hospitaliers / ambulatoires\, réseaux ville-hôpital\n– Données massives en santé\, données ouvertes en santé \nLes représentations et les méthodes de l’intelligence artificielle\, notamment :\n– Terminologies et ontologies médicales\n– Apprentissage et fouille de données\, extraction de connaissances et classification\n– Aide à la décision\, agents intelligents\n– Traitement automatique des langues\, recherche d’information.\n– Visualisation intelligente des données \nL’atelier s’adresse aussi bien aux jeunes chercheurs qu’aux chercheurs plus avancés\, aux industriels aussi bien qu’aux académiques. Il est ouvert à la présentation de travaux de différents stades d’avancement. Pour participer\, vous pouvez soumettre vos articles en français ou en anglais jusqu’au 22 avril.
URL:https://www.loria.fr/event/journee-ia-et-sante-au-loria/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180702T140000
DTEND;TZID=Europe/Paris:20180702T150000
DTSTAMP:20180628T055528Z
CREATED:20180628T055511Z
LAST-MODIFIED:20180628T055528Z
UID:5797-1530540000-1530543600@www.loria.fr
SUMMARY:MALOTEC seminar : Martin Trnecka
DESCRIPTION:MALOTEC is organizing a seminar with Martin Trnecka on Monday\, July 2 at 14:00 am in Room B013. \nMartin Trnecka is assistant professor of Computer Science at the Department of Computer Science\, Faculty of Science\, Palacký University Olomouc in Czech Republic. He obtained his PhD in Computer Science in 2017 from Palacký University Olomouc. His research interests are in data analysis\, particularly in Boolean matrix decomposition\, formal concept analysis and fuzzy relational equations. He published several papers in journals and conferences\, including J. of Computer and System Sciences\, Annals of Mathematics and Artifical Intelligence and IJCAI. \nTitle : Boolean Matrix Factorization from Formal Concept Analysis Perspective \nAbstract :\nBoolean matrix factorization (BMF) is becoming an established method for analysis and preprocessing of data. The existing BMF methods are based on various types of heuristics because the main computational problems involved are known to be provably hard. The heuristics employed\, however\, use only a limited theoretical insight regarding BMF. This talk attempts to show that a better understanding of the geometry of Boolean data\, provided by formal concept analysis\, results in a better understanding of BMF\, theoretically justified heuristics\, and better algorithms.
URL:https://www.loria.fr/event/malotec-seminar-martin-trnecka/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180702
DTEND;VALUE=DATE:20180707
DTSTAMP:20180517T082715Z
CREATED:20180517T082715Z
LAST-MODIFIED:20180517T082715Z
UID:5706-1530489600-1530921599@www.loria.fr
SUMMARY:PFIA2018 à Nancy
DESCRIPTION:L’édition 2018 de la Plate-forme Intelligence Artificielle (PFIA2018) se tiendra du 2 au 6 juillet à Nancy\, sur le site de la FST de Vandœuvre-lès-Nancy. \nLa plate-forme vise à réunir chercheurs\, industriels et étudiants autour de conférences et d’ateliers consacrés à l’Intelligence Artificielle. Elle constitue un point de rencontre unique et convivial pour la communauté IA francophone\, permettant de rapprocher les différentes disciplines qui la compose et d’établir des passerelles entre elles. \nCette année\, 5 conférenciers de renommée internationale animeront des exposés chaque matin. Les journées seront ensuite découpées en thématiques et en conférences jusque 17h30. Le planning provisoire est accessible à cette adresse. \nInscription obligatoire via le site de PFIA2018.\nPour les membres du Loria\, l’inscription est gratuite mais obligatoire via ce formulaire d’inscription\, à compléter avant le 8 juin.
URL:https://www.loria.fr/event/pfia2018-a-nancy/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180627T080000
DTEND;TZID=Europe/Paris:20180629T180000
DTSTAMP:20180626T063412Z
CREATED:20180626T063412Z
LAST-MODIFIED:20180626T063412Z
UID:5791-1530086400-1530295200@www.loria.fr
SUMMARY:Erasmus Mundus consortium at Loria
DESCRIPTION:Next week\, from 27 through 29 of June\, LORIA will host the Annual Meeting of the Erasmus Mundus consortium Language and Communication Technologies\, where the former UFR Mathematics and Computer Science (now Institute of Digital\, Management and Cognition – IDMC) of the University de Lorraine is a partner. \nOn this occasion\, the Malotec Team have the participation of keynote speakers :\n– Barbara Plank (University of Copenhagen) Learning across tasks and languages\n– Gerard Casanova (University of Lorraine) Soft skills for employability: main outputs of a European project\n– Aurélie Névéol (LIMSI\, CNRS) Natural Language Processing for epidemiology and public health and you are most welcome to attend their invited talks. \nMore information on the event here. \nComplete program here.
URL:https://www.loria.fr/event/erasmus-mundus-consortium-at-loria/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180626T130000
DTEND;TZID=Europe/Paris:20180626T150000
DTSTAMP:20180614T122342Z
CREATED:20180614T122342Z
LAST-MODIFIED:20180614T122342Z
UID:5773-1530018000-1530025200@www.loria.fr
SUMMARY:Séminaire SSL : Pierre Parrend
DESCRIPTION:Pierre Parrend (Plate-forme BICS\, Laboratoire ICube\, ECAM-Strasbourg-Europe) sera le prochain orateur du séminaire SSL\, mardi 26 juin à 13h en salle Bob\, B013. \nTitre :\nHealth Optimisation through 4P Ecosystems: the HOPE suite for medical data security. \nRésumé :\nHOPE (Health Optimisation through 4P Ecosystems) is a software suite for managing complex patient cohorts in a secure manner. It aims at supporting integration\, analysis\, exploitation and protection of medical data in distributed ecosystems. HOPE integrates 36 cohorts\, from massive ones like Jiva Cohort with 500.000 patients of traditional medicine from India\, to tiny cohorts of patients with extremely rare diseases\, like Genida cohorts that entail from 2 to 40 people. HOPE provides tools for connecting together patients and medical practitioners (Genida)\, statistical analysis of medical data (OptimR)\, security control (Meerkat)\, and secure distributed data safeguard (RADAR). HOPE is part of the BICS Platform: Bio-statistics\, Informatics and Complex Systems\, of ICube Laboratory at University of Strasbourg\, which aims at providing algorithmic solutions for understanding and steering natural as well as artificial complex systems.
URL:https://www.loria.fr/event/seminaire-ssl-pierre-parrend/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180626T100000
DTEND;TZID=Europe/Paris:20180626T120000
DTSTAMP:20180614T102902Z
CREATED:20180614T102902Z
LAST-MODIFIED:20180614T102902Z
UID:5768-1530007200-1530014400@www.loria.fr
SUMMARY:D4 Seminar : Edward L. Keenan (UCLA)
DESCRIPTION:Note this forthcoming D4 seminar on Tuesday\, June 26 at 10am\, room A008. \nIt will be given by Edward L. Keenan (Department of Linguistics\, UCLA). \nTitle :\nIndividuals Explained Away \nAbstract :\nAs a linguist wading into philosophical waters I begin with two semantic observations concerning some intensional common nouns and their modifiers. I provide them with a minimal semantic analysis whose justification is twofold. One\, it is linguistically enlightening: it points out some semantic generalizations about English and provides a formally explicit analysis of the relevant entailment patterns. Two\, it generalizes standard extensional model theory without adding novel entities such as possible worlds or propositions. Such entities may facilitate the semantic analysis of modal adverbs and propositional attitude verbs\, but are not needed for the intensional expressions we study here. Our analysis is explanatory in that it characterizes what we are trying to understand only using notions we already understand\, not novel ones we don’t. Our analysis may also have some consequences for Direct Reference Theory (see Almog 2012\, Bianchi 2012\, Kaplan 1989\, Napoli 1995\, Wettstein 2004). Among them is that it eliminates from our naive ontology a universe of objects we think of singular terms as denoting and unbound pronouns and individual variables in logic as ranging over. It also establishes some boundary points limiting the purview of Direct Reference Theory. And\, if nothing else\, it may serve a “bad example” function – “Just look at what happens if you do not adopt a direct reference stance”. As well\, our use of judgments of entailment is more at home in a Fregean setting than a Direct Reference one (Capuano 2012).
URL:https://www.loria.fr/event/d4-seminar-edward-l-keenan-ucla/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180620T140000
DTEND;TZID=Europe/Paris:20180620T160000
DTSTAMP:20180614T103149Z
CREATED:20180614T103149Z
LAST-MODIFIED:20180614T103149Z
UID:5770-1529503200-1529510400@www.loria.fr
SUMMARY:D4 Seminar : Maël Primet (Snips)
DESCRIPTION:Note this forthcoming D4 seminar on Wednesday\, June 20 at 2pm\, room A008. \nIt will be given by Maël Primet (Snips). \nTitle :\nPresenting Snips: a Platform for Natural Language Understanding and Speech Recognition on the edge \nAbstract :\nSnips is building a Voice AI platform running 100% on embedded devices\, comprising of a wake-word detector\, an automated speech recognizer\, and natural language understanding. As microprocessors become cheaper and more powerful\, moving computations to the edge provides many advantages: privacy-by-design\, 100% availability\, lower costs\, higher reactivity. But this also requires tradeoffs in terms of accuracy\, as larger models are not able to run on commodity chips. This talk will present some aspects of the Snips platform and tradeoffs which have been made to guarantee high accuracy while reducing model sizes.
URL:https://www.loria.fr/event/d4-seminar-mael-primet-snips/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180620T090000
DTEND;TZID=Europe/Paris:20180620T123000
DTSTAMP:20180619T131354Z
CREATED:20180531T061028Z
LAST-MODIFIED:20180619T131354Z
UID:5728-1529485200-1529497800@www.loria.fr
SUMMARY:Department 4 Day
DESCRIPTION:The D4 offers to participate at the 2018 edition of the Departement 4 Day\, June 20 at 9 am to 12.30 pm. PhD students will present the department in the Gilles Khan amphi\, with free coffee. \nHere is the program of the morning.
URL:https://www.loria.fr/event/department-4-day/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180619T133000
DTEND;TZID=Europe/Paris:20180619T150000
DTSTAMP:20180605T075426Z
CREATED:20180605T075426Z
LAST-MODIFIED:20180605T075426Z
UID:5742-1529415000-1529420400@www.loria.fr
SUMMARY:Colloquium Loria : Marc Sciamanna
DESCRIPTION:Le mardi 19 juin à 13h30 aura lieu le Colloquium du Loria avec Marc Sciamanna\, professeur associé à CentraleSupélec Metz. \nSon exposé s’intitule “Photonique ou l’intelligence de la matière”. \nRésumé : \nLe mot « photonique » a été introduit après la découverte du photon pour désigner la science et les technologies qui utilisent la lumière. Technologie clé de notre quotidien\, la photonique a permis le développement de sources alternatives d’énergie électrique\, de l’imagerie et du diagnostic médical\, de l’exploration de l’espace\, des télécommunications et du multimédia\, etc.\nLa lumière est également fascinante dans son interaction avec la matière. Cette interaction permet de modifier les propriétés optiques de la matière et d’observer des formes complexes de propagation lumière comme des patterns (structures auto-organisées de lumière)\, des structures localisées de type solitons\, des vortex\, des faisceaux de lumière accélérants\, etc. De nombreux systèmes qui génèrent et manipulent la lumière sont par ailleurs des systèmes fortement non-linéaires qui présentent pour beaucoup des dynamiques complexes\, voire chaotiques. Ces propriétés qui mettent en évidence une forme de complexité de la lumière sont considérées par beaucoup comme essentielles pour développer une nouvelle forme d’intelligence\, non pas artificielle ou logicielle\, mais matérielle. Cette intelligence permet de sécuriser l’information\, d’opérer des calculs complexes et de comprendre et simuler de nombreux phénomènes présents dans la Nature. \nLes personnes extérieures au laboratoire doivent s’inscrire par e-mail avant le jeudi 14 juin.
URL:https://www.loria.fr/event/colloquium-loria-marc-sciamanna/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180614
DTEND;VALUE=DATE:20180616
DTSTAMP:20180503T075424Z
CREATED:20180503T075424Z
LAST-MODIFIED:20180503T075424Z
UID:5552-1528934400-1529107199@www.loria.fr
SUMMARY:Journées Nationales de la Robotique Humanoïde au Loria
DESCRIPTION:Les Journées Nationales de la Robotique Humanoïde 2018 se dérouleront au LORIA les 14 et 15 juin 2018. \nCes journées ont pour objectif de réunir les communautés nationales de la recherche en robotique et de l’industrie autour du domaine de la Robotique Humanoïde. \nProgramme : \nComme pour les années précédentes\, la programmation de ces Journées seront constituées par des interventions de chercheurs invités (60 minutes) et des présentations orales sélectionnées parmi les contributions soumises (20-30 minutes). Une session de posters permanente assurera l’échange entre les participants\, les jeunes chercheurs et doctorants tout au long de la conférence. Une visite des nouvelles plateformes et espaces de travail liées à la robotique du Loria est également prévue. \n\nEn savoir plus sur le JNRH 2018.\nInscriptions obligatoire jusqu’au 15 mai via ce formulaire d’inscription.
URL:https://www.loria.fr/event/journees-nationales-de-la-robotique-humanoide-au-loria/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20180612T140000
DTEND;TZID=Europe/Paris:20180612T153000
DTSTAMP:20180611T111750Z
CREATED:20180605T133957Z
LAST-MODIFIED:20180611T111750Z
UID:5747-1528812000-1528817400@www.loria.fr
SUMMARY:Séminaire SSL : Daniel Augot
DESCRIPTION:Daniel Augot (Inria Saclay et École polytechnique) sera la prochain orateur du séminaire SSL\, mardi 12 juin à 13h30 en salle A008. \nTitre : Bitcoin\, cryptomonnaies\, blockchains: la folie\, le pourquoi de la folie\, et la science. \nRésumé : \nLe « buzz »\, « hype »\, ou tout simplement l’excitation\, autour des cryptomonnaies attend des sommets invraisemblables\, souvent ridicules. On peut se demander de quoi il retourne. Après\, en guise d’introduction\, avoir donné des exemples de cette folie Bitcoin (pour rire un peu)\, je rentrerai dans le cœur des protocoles historiques de blockchain\, la preuve de travail\, inventée dans le cadre de Bitcoin\, ce qui permet de comprendre pourquoi ces protocoles sont considérés comme « décentralisés »\, une propriété tant vantée dans le monde des cryptomonnaies. On verra ensuite les variantes intuitives qui peuvent assez naturellement se présenter\, et que la recherche scientifique a pris le train très en retard\, sur un sujet qui semble nouveau\, à la rencontre de l’algorithmique distribuée et de la cryptographie. Enfin\, je présenterai les questions de recherche qui se posent\, avec toutefois une orientation plus cryptographique que distribuée.
URL:https://www.loria.fr/event/seminaire-ssl-daniel-augot/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR