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: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: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: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: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: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:20181017T140000
DTEND;TZID=Europe/Paris:20181017T160000
DTSTAMP:20181003T065748Z
CREATED:20181003T065748Z
LAST-MODIFIED:20181003T065748Z
UID:6037-1539784800-1539792000@www.loria.fr
SUMMARY:TALC Seminar : Paul Magron
DESCRIPTION:Next TALC Seminar will take place on Wednesday\, October 17\, 2018 at 2pm in room A008. \nPaul Magron (Tampere University of Technology) will give a presentation entitled « Probabilistic modeling of the phase for audio source separation ». \nAbstract:\nMany audio source separation techniques act on a time-frequency representation of the data\, such as the short-time Fourier transform (STFT)\, since it reveals the underlying structure of sounds. These methods usually discard the phase information and process spectrogram-like quantities only. The sources are finally retrieved by means of a Wiener-like filter\, which assigns the phase of the original mixture to each isolated source. However\, this introduces interference and artifacts in the estimates\, which highlights the need for more sophisticated phase recovery techniques. In this talk\, we will present our recent work on phase-aware probabilistic models for audio source separation. Firstly\, we will model the phase as a non-uniform random variable based on the von Mises distribution. This allows us to incorporate some prior knowledge about the phase\, e.g.\, that arise from a signal model (sums of sinusoids). In particular\, we will show that the traditional uniform model and the von Mises model are not contradictory\, but rather rely on different assumptions about the phase. Secondly\, we will present mixture models based on the anisotropic Gaussian distribution\, from which we can derive phase-aware estimators of the sources in the STFT domain. This results in an anisotropic Wiener filter\, which preserves some of the interesting statistical properties of the Wiener filter\, while enabling one to account for a phase model.\nFinally\, we will propose techniques for jointly inferring the magnitude and the phase based on this framework. Indeed\, by structuring the variance parameters of these models through e.g.\, nonnegative matrix factorization or deep neural networks\, we can derive complete and phase-aware source separation systems.
URL:https://www.loria.fr/event/talc-seminar-paul-magron/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20181019T140000
DTEND;TZID=Europe/Paris:20181019T153000
DTSTAMP:20181009T141122Z
CREATED:20181009T141122Z
LAST-MODIFIED:20181009T141122Z
UID:6096-1539957600-1539963000@www.loria.fr
SUMMARY:Formal Methods Seminar : Fabian Reiter
DESCRIPTION:Next Formal Methods Seminar will take place on Friday\, October 19th at 2pm in room B013. \nFabian Reiter (LSV\, Cachan) will give a presentation entitled « Descriptive distributed complexity » \nAbstract: This talk connects two classical areas of theoretical computer science: descriptive complexity and distributed computing. The former is a branch of computational complexity theory that characterizes complexity classes in terms of equivalent logical formalisms. The latter studies algorithms that run in networks of interconnected processors. \nAlthough an active field of research since the late 1970s\, distributed computing is still lacking the analogue of a complexity theory. One reason for this may be the large number of distinct models of distributed computation\, which make it rather difficult to develop a unified formal framework. In my talk\, I will outline how the descriptive approach\, i.e.\, connections to logic\, could be helpful in this regard.
URL:https://www.loria.fr/event/formal-methods-seminar-fabian-reiter/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20181024
DTEND;VALUE=DATE:20181027
DTSTAMP:20180913T111655Z
CREATED:20180913T111655Z
LAST-MODIFIED:20180913T111655Z
UID:5944-1540339200-1540598399@www.loria.fr
SUMMARY:Workshop on Security and Privacy Issues of Big Data
DESCRIPTION:A workshop for PhD Students on Security and Privacy issues of Big Data will take place at CISPA\, Saarland\, from October 24 to October 26th. \n \nThe development of ICT has tremendously changed people’s way of living during the past decade. The resulting big data\, on one hand\, can help to build appealing industrial products\, on the other hand\, raises serious concerns about people‘s security and privacy. \nThis workshop aims to bring together PhD students from CISPA and LORIA to address the security and privacy issues of big data. Participants are expected to present their current research projects\, engage in scientific discussion\, and establish potential collaborations. The workshop will also invite leading researchers in the field to share their newest results and research experiences. \nThe workshop is free of charge\, it will take place at the Landhotel Saarschleife in Saarland\, Germany from October 24 to October 26\, 2018. \nApplication: \nThe number of participants is limited to 20: 10 PhD students from CISPA and 10 PhD students from LORIA. \nPlease apply electronically by sending an email to yang.zhang@cispa.saarland with: \n\na one-page CV\nan application letter describing your current PhD project\, your motivation for participating in the workshop\, and your desired outcome.\n\nThe workshop’s program committee will select the applicants. The application deadline is September 8\, 2018. \nProgram Committee: \nMichael Backes (CISPA)\nSven Bugiel (CISPA)\nJannik Dreier (LORIA)\nAbdelkader Lahmadi (LORIA)\nMarine Minier (LORIA)\nJilles Vreeken (CISPA)
URL:https://www.loria.fr/event/workshop-on-security-and-privacy-issues-of-big-data/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR