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 […]
5 évènements found.
-
-
-
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 […]
-
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 […]
-
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 […]
-
Workshop on Security and Privacy Issues of Big Data
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. The development of ICT has […]
