INSTITUTION

TIMA Lab., FR

The people and conference roles recorded under this affiliation.

0 indexed profiles1 conferences3 service records

Historical source listings, not a staff directory or a claim about current employment. Aliases are grouped under this institution, and joint affiliations contribute once to each identified institution. Original affiliation wording is shown below; missing affiliations are not inferred.

People & conference service

Newest editions first

Sourced committee appointments listed under TIMA Lab., FR
Person	Conference	Committee & role	Affiliation as listed	Evidence
Laurence PierreIdentity not yet linked	DATE 2026	Topic MemberD3 Formal methods and verification	Univ. Grenoble Alpes, TIMA Lab., FR	Conference website ↗Checked 2026-09-13
Laurence PierreIdentity not yet linked	DATE 2024	Topic MemberD1 System Specification and Modelling	Univ. Grenoble Alpes, TIMA Lab., FR	Conference website ↗Checked 2026-09-13
Laurence PierreIdentity not yet linked	DATE 2023	Topic MemberD1 System Specification and Modelling	Univ. Grenoble Alpes, TIMA Lab., FR	Conference website ↗Checked 2026-09-13