Activities per year
Activities
- 15 results
Search results
-
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
-
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
-
Highlights of Logic, Games and Automata
Laure Daviaud (Invited speaker)
16 Sept 2024 → 20 Sept 2024Activity: Participating in or organising an event › Invited talk
-
GT Data, Automata, Algebra & Logic (DAAL)
Laure Daviaud (Invited speaker)
26 Apr 2024Activity: Participating in or organising an event › Invited talk
-
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
-
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
-
Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Laure Daviaud (Invited speaker)
18 Sept 2023 → 23 Sept 2023Activity: Participating in or organising an event › Invited talk
-
Marie Tcheng
Laure Daviaud (Host)
5 Jun 2023 → 14 Jul 2023Activity: Hosting a visitor › Hosting an academic visitor
-
34th International Conference on Concurrency Theory
Laure Daviaud (Member of programme committee)
2023Activity: 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
-
Asian-European Journal of Mathematics (Journal)
Laure Daviaud (Editorial board member)
2022 → …Activity: Editorial work › Publication editorial role
-
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