NSAD 2020 Contributors

Write a Blog >>

Sun 15 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (20)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Invited Talk: Abstract Domains in SMT Solving for Real Algebra
B Santiago BautistaBautista, Santiago Univ Rennes, ENS Rennes, Inria, IRISAFrance Numeric Domains Meet Algebraic Data Types
Julien BraineBraine, Julien Proving array properties using data abstraction
C Alexandre ChapoutotChapoutot, Alexandre Abstract Domains for Constraint Programming with Differential Equations
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Session Chair of Papers (part of NSAD) Rigorous Linear Programming Techniques for Numerical Abstract Domains Co-chair in Organizing Committee within the NSAD-track
D Julien Alexandre dit Sandrettodit Sandretto, Julien Alexandre Abstract Domains for Constraint Programming with Differential Equations
F Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Committee Member in Program Committee within the NSAD-track
Zhoulai FuFu, Zhoulai IT University of Copenhagen, Denmark Committee Member in Program Committee within the NSAD-track
G Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Abstract Domains for Constraint Programming with Differential Equations
Khalil GhorbalGhorbal, Khalil Inria, FranceFrance Session Chair of Invited Talk (part of NSAD) Session Chair of Papers (part of NSAD) Co-chair in Organizing Committee within the NSAD-track
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Proving array properties using data abstraction
J Thomas P. JensenJensen, Thomas P. INRIA Rennes Numeric Domains Meet Algebraic Data Types
M Benoît MontaguMontagu, Benoît InriaFrance Numeric Domains Meet Algebraic Data Types Committee Member in Program Committee within the NSAD-track
Olivier MullierMullier, Olivier Abstract Domains for Constraint Programming with Differential Equations
P Marie PelleauPelleau, Marie Université Côte d'AzurFrance Committee Member in Program Committee within the NSAD-track
T Xavier ThiriouxThirioux, Xavier Abstract Domains for Constraint Programming with Differential Equations
W Ji WangWang, Ji Rigorous Linear Programming Techniques for Numerical Abstract Domains
Tengbin WangWang, Tengbin Rigorous Linear Programming Techniques for Numerical Abstract Domains
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Committee Member in Program Committee within the NSAD-track
Ghiles ZiatZiat, Ghiles Abstract Domains for Constraint Programming with Differential Equations