Activities per year
Activities
Search results
-
28th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2025
Laure Daviaud (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
33nd EACSL Annual Conference on Computer Science Logic (CSL) 2025
Laure Daviaud (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
The 18th International Conference on Reachability Problems (RP) 2024
Laure Daviaud (Member of programme committee)
2024Activity: Participating in or organising an event › Participation in conference
-
44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024
Laure Daviaud (Member of programme committee)
2024Activity: Participating in or organising an event › Participation in conference
-
16th school on modelling and verification of parallel processes (MOVEP) 2024
Laure Daviaud (Member of programme committee)
2024Activity: Participating in or organising an event › Participation in conference
-
10th Indian Conference on Logic and its Applications (ICLA) 2023
Laure Daviaud (Member of programme committee)
2023Activity: Participating in or organising an event › Participation in conference
-
34th International Conference on Concurrency Theory
Laure Daviaud (Member of programme committee)
2023Activity: Participating in or organising an event › Participation in conference
-
42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2022
Laure Daviaud (Member of programme committee)
2022Activity: Participating in or organising an event › Participation in conference
-
16th Computer Science Symposium in Russia (CSR) 2021
Laure Daviaud (Member of programme committee)
2021Activity: Participating in or organising an event › Participation in conference
-
46th International Symposium on Mathematical Foundations of Computer Science (MFCS) 2021
Laure Daviaud (Member of programme committee)
2021Activity: Participating in or organising an event › Participation in conference