Home
>
Teams
>
Pacss
>
Jobs and Internships
>
Jobs and Internships
Jobs and Internships
Jobs and internships
Masters
Models of Distributed Algorithms
Decision Procedure for Equivalence Relations
Jobs in the whole Verimag lab
News
Conferences
Feb. 24, 2020
Workshop CAPITAL
May 11-15, 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Seminars
Seminars
16 December 2019
Lélio Brun:
Verified compilation of the lustre modular reset
19 December 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 December 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
6 February 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
Latest news
Latest news items
28 December 2019
Doctorat Honoris Causa UGA pour Moshe Vardi
New publications
Recent Publications
Jobs and internships
Jobs and internships
Browsing
Sections
Verimag
Teams
Synchrone
Tempo
Pacss
Current members
Partners
Research Topics
Publications
Projects
Tools
Jobs and Internships
RSD
Contact
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.11
+
AHUNTSIC
[CC License]
info visites
1359672
English
Français