• Séminaire Sécurité Loria : Bryan Ford

    Next SSL seminar will take place on Thursday, October 11th at 1.30 pm in the amphitheater. Bryan Ford (EPFL) will give a presentation entitled "Coins, Clubs, and Crowds: Scaling and Decentralization in Next-Generation Blockchains and Cryptocurrencies". Building secure systems from independent, mutually distrustful parties is an old topic in computer science. But despite its attendant hype and misinformation, today's “blockchain […]

  • Formal Methods Seminar : Sergueï Lenglet

    Next Formal Methods Seminar will take place on Tuesday, October 16th at 10 in room A008. Sergueï Lenglet (Loria, UL) will give a presentation entitled "HOpi in Coq : Locally Nameless vs Nominal". Resume : I will present what I did during my sabbatical in Rennes : the formalization of a higher-order process calculus, i.e., […]

  • TALC Seminar : Paul Magron

    Next TALC Seminar will take place on Wednesday, October 17, 2018 at 2pm in room A008. Paul Magron (Tampere University of Technology) will give a presentation entitled "Probabilistic modeling of the phase for audio source separation". Abstract: Many audio source separation techniques act on a time-frequency representation of the data, such as the short-time Fourier […]

  • Journée d’automne du Groupe de travail « Robotique et neurosciences »

    Le groupe de travail « Robotique et Neurosciences » (GT8) du GDR Robotique organise cet automne une quatrième journée de travail ayant pour objectif de favoriser la rencontre et les échanges entre roboticiens, psychologues et neuroscientifiques. Elle se déroulera le 19 octobre en salle A008. Cette journée sera organisée autour d’un ensemble de présentations orales par des […]

  • Formal Methods Seminar : Fabian Reiter

    Next Formal Methods Seminar will take place on Friday, October 19th at 2pm in room B013. Fabian Reiter (LSV, Cachan) will give a presentation entitled "Descriptive distributed complexity" Abstract: 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 […]