Activities per year
Activities
- 3 results
Search results
-
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
-
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