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. Sa présentation est intitulée Biologie de synthèse, enjeux épistémologiques, économiques et philosophiques. Résumé : Domaine de pointe dans les biotechnologies et porteur d'espoirs d'une bioéconomie florissante, la biologie de synthèse […]

Jean-François Cardoso, directeur de recherche CNRS à l’Institut d’Astrophysique de Paris est l’invité du prochain colloquium du Loria. Rendez-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.” Voici le résumé de sa présentation : “La collaboration “Planck” de l’Agence […]

Pascal Fontaine (Mosel-Veridis) will defend his habilitation on Monday, October 8th at 3PM in room C005. His presentation is entitled "Satisfiability Modulo Theories". Abstract: 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 […]

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 […]

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., […]

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 […]

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 […]