7/11/24
“Meet to MCMPer” in Ludwig-Maximilians-University (LMU) of Munich, Munich Center for Mathematical Philosophy (MCMP) | Munich, Germany
Talk: Temporal Logic of a Sequence of Finite Linear Processes
31/06/24-7/07/24
Topology, Algebra and Categories in Logic 2024 (TACL 2024) | Barcelona, Spain
Talk: Temporal Logic of a Sequence of Finite Linear Processes
22/04/24-24/04/24
International conference of the Institute of Applied Mathematics named after Ilya Vekua (Viam 2024) | Tbilisi, Georgia
Talk: Bi-Modal Logic of Maps
2/11/23-26/01/24
Invited researcher in Ludwig-Maximilians-University (LMU) of Munich, Munich Center for Mathematical Philosophy (MCMP) | Munich, Germany
7/12/23
“Meet to MCMPer” in Ludwig-Maximilians-University (LMU) of Munich, Munich Center for Mathematical Philosophy (MCMP) | Munich, Germany
Talk: Logic of Shelves
18-22/09/2023
14th International Tbilisi Symposium on Language, Logic and Computation | Telavi, Georgia
Talk: Temporal logic of surjective bounded morphisms between finite linear processes
7-15/09/2023
17th International Tbilisi Summer school in Logic and Language and LATD 2023| Tbilisi, Georgia
26/01/23
“Meet to MCMPer” in Ludwig-Maximilians-University (LMU) of Munich, Munich Center for Mathematical Philosophy (MCMP) | Munich, Germany
Talk: Analysis of Multimodal Logics of Modal Maps
1/07/22-01/02/23
Invited researcher in Ludwig-Maximilians-University (LMU) of Munich, Munich Center for Mathematical Philosophy (MCMP) | Munich, Germany
8/08/22-19/08/22
33RD European Summer School in Logic, Language and Information | Galway, Ireland
14/06/22-18/06/22
Topology, Algebra and Categories in Logic 2022 (TACL 2022) | Praia de Mira, Portugal
30/08/2021-3/09/2021
Summer school on Algebra, Topology and Analysis: C* and A(∞) Algebras | Gonio, Georgia
Talk: Analysis of the multi-modal logics for modal maps
27/03/2021-5/04/2021
Mathematical Modelling of Epidemics (MME 2021) | TSU- Goettingen (online)
Talk: Modelling of the test-trace-isolate strategy
10/06/19-21/06/19
Topology, Algebra and Categories in Logic 2019 (TACL 2019) | Nice, France
23/05/18-31/06/18
Research visit to Institut de Recherche en Informatique de Toulouse (IRIT, CNRS), Consultant was Philippe Balbiani, Senior researcher at CNRS |Toulouse, France
18-22/09/2017
Twelfth International Tbilisi Symposium on Language, Logic and Computation (Tbillc 2017) | Lagodekhi, Georgia Talk: Bi-modal Logics of Mappings
15-26/08/2016
28th European Summer School in Logic, Language and Information | Bolzano-Bozen, Italy
19/05/2015
Young Scientists Conference | Tbilisi, Georgia Talk: Hybrid Logics of Trees and Linear Orders
22/05/2014
First Science Conference of Georgian University | Tbilisi, Georgia Talk: Modal Logics of Real Line