Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

QOLAPS (Quantifier elimination, Optimization, Linear Algebra and Polynomial Systems) is an Associate Team between the Symbolic Computation Group at North Carolina State University (USA), the PolSys team at LIP6, Paris 6, and the AriC team. Participants: Clément Pernet, Nathalie Revol, Gilles Villard.

Inria International Partners

Declared Inria International Partners

We contributed to the creation in 2008 of the IEEE 1788 working group on the standardization of interval arithmetic . and N. Revol chairs this group since its creation. More than 140 persons from over 20 countries take part in the discussions, around 2500 public messages were exchanged in 2013. The deadline granted by IEEE is December 2014. In 2013 we managed to elaborate a close-to-final draft of the standard text. This last year will be devoted to the final ballot from the working group and to a sponsor ballot, by experts designated by IEEE.

The annual in-person meeting, chaired by N. Revol, took place at the end of the IFSA-NAFIPS 2013 conference in Edmonton, Canada, the 25th of June.

V. Lefèvre participated in various discussions, either in the mailing-list or in small subgroups (he sent around 390 email messages in 2013).

Informal International Partners

Our international academic collaborators are from Courant Institute of Mathematical Sciences (USA), Hamburg University of Technology (Germany), Imperial College (UK), Macquarie University (Australia), Mc Gill University (Canada), Monash University (Australia), Nanyang Technological University (Singapore), North Carolina State University (USA), Technical University of Cluj-Napoca (Romania), University of California, Los Angeles (USA), University of Delaware (USA), University of Southern Denmark (Denmark), University of Western Ontario (Canada), University of Waterloo (Canada), Uppsala University (Sweden).

We also collaborate with Intel (Portland, USA).

Participation In other International Programs

CANTAL (Cryptography, Algorithmic Number Theory and Lattices) is a CNRS Associate Team between the cryptography group of Macquarie University (Australia), the cryptography group of Monash University (Australia) and the AriC team. Participants: Nicolas Brisebarre, Guillaume Hanrot, Fabien Laguillaumie, Adeline Langlois, Damien Stehlé.

Damien Stehlé is a Partner Investigator in the Australian Research Council Discovery Grant on Cryptography and Algorithmic Number Theory, headed by Christophe Doche (Macquarie U.), Igor Shparlinski (U. of New South Wales), and Ron Steinfeld (U. of Monash), and in a Singaporean Ministry of Education grant of Code-based and Lattice-based cryptography, headed by San Ling (Nanyang Technological U.) and Huaxiong Wang (Nanyang Technological U.).