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