Skip to main content

Institut de Recherche en Informatique et Systèmes Aléatoires

Français
English

Search form

Log in
- with my INRIA/IRISA account
- with a local account

Intranet
You are
Scientist
Scientists Area

Research

Departments/Teams

Cross-cutting axis

External structuring programs

They join us

Publications

Transfer & Research

International Relations

HCERES

Research Supports

Experimentation & Dvpt

Software

Platforms

Computer resources

IRISA

Introduction to the laboratory
Organisation

History

PhD opportunities

Careers

Internship offers

Access Map
Stay
Company
Companies Area

Research

Departments / Teams

Cross-cutting axis

External structuring programs

Transfer & Research

Technologies

Software

Platforms

International Relations

IRISA

Introduction to the laboratory

Organisation

History

Trustees

Careers

Access map
Stay
Student
Students Area

Roles in Research

Training in Research

Doing a PhD thesis at IRISA

PhD Opportunities

Careers

Access Map
Stay
Journalist
Journalists Area

IRISA

Introduction to the laboratory
Organisation

History

Trustees

Access Map

Research

Departments/Teams
Cross-cutting axis

External structuring programs

International Relations

Transfer & Research

Press releases

Demonstrations/Events

Awards & Prizes
Stay

You are here

Forum Methodes Formelles, October 10th, Inria convention centre

Learn more

vignette:

Log in to post comments

Terms & Conditions
Contact
Access map
News
Careers