Research team seminary
Rust represents a major advancement in production programming languages because of its success in bridging the gap between high-level application programming and low-level systems programming. At the heart of its design lies a novel approach to ownership that remains highly programmable.
Place : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions
Guest(s) : Aaron Weiss (Northeastern University)
Research team seminary
Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several recent developments have been published in the past year.
Place : Inria de Paris - 2 rue Simone IFF 75012 - Batiment C- Salle Lions 2
Guest(s) : Éric Tanter (University of Chile)
The 26th ESUG conference/summer-school will be held in Cagliari, Italy 10-14 September 2018; with Camp Smalltalk 8-9 September 2018. The conference is co-organised by University of Cagliari and the Agile Group of the Faculty of computer science and the Rmod Team.
Place : University of Cagliari, Italy
The 20th International Workshop in Computer Algebra in Scientific Computing, CASC 2018, will be held in the city of Lille, France, on September 17-21, 2018.This workshop is co-organized by Institut of Mathematics, University of Kassel and University of Lille. The member of the team Gaïa are the local organiser.
Place : Lilliad, cité scientifique, Villeneuve d'Ascq
Artificial Intelligence (AI) is a multi-disciplinary research field, at the interface of computing, applied mathematics and cognitive sciences. The purpose of AI is the mechanization of tasks that require knowledge and skills in perception, reasoning and decision-making. This field, still young although in its sixties, has made a lot of progress, which is frequently mentioned in the media, sometimes with exaggeration about its possibilities and dangers.
The conference is in French
Place : IUT Charlemagne
Guest(s) : Malik Ghallab
VECoS 2018 will be held on 26-28 septembre 2018 at Université Grenoble Alpes in Grenoble, France.
The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network of researchers in computer science. Simon Bliudze member of the Spirals team is one of program co-chair.
Place : Université Grenoble Alpes
The 14th European workshop on Reinforcement Learning will be organised by SequeL Team. This workshop will be held from 1st to 3rd october at ENSAM in Lille.
Place : ENSAM, 8 boulevard Louis XIV 59800 Lille