All conferences / Cities / Georgia / Tbilisi
Tbilisi 🇬🇪
თბილისი
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2023 | DaLí Workshop on Dynamic Logic - New trends and applications | 15–16 Sep 2023 | 1 Jan 2023 |
| 2022 | ICTAC International Colloquium on Theoretical Aspects of Computing | 27–29 Sep 2022 | 28 May 2022 |
| 2022 | LOPSTR International Symposium on Logic-Based Program Synthesis and Transformation | 21–23 Sep 2022 | 9 May 2022 |
| 2022 | RV International Conference on Runtime Verification | 28–30 Sep 2022 | 19 May 2022 |
| 2022 | VECoS International Conference on Verification and Evaluation of Computer and Communication Systems | 28–30 Sep 2022 | 13 Jun 2022 |