Dynamics, and Optimization: Formal Foundations and Automated Reasoning

Time: 9h30 Tuesday, November 10

Location: Room 302, Building A5, Institute of Mathematics, 18 Hoang Quoc Viet Speaker: Van-Giang Trinh Affiliation: Institute of Mathematics, Vietnam Academy of Science and Technology Title: Logic, Dynamics, and Optimization: Formal Foundations and Automated Reasoning

Abstract: Logic-based formalisms and discrete dynamical systems offer complementary perspectives on the representation, analysis, and computation of complex systems. My research explores the connections between these perspectives, with a particular focus on logic programming, formal argumentation, Boolean networks, and Petri nets.

In this talk, I will present an overview of my research on the formal foundations and computational aspects of these frameworks. I will highlight how semantic characterizations and structural methods provide insights into logical and dynamical properties, including fixed points, invariant structures, and system decomposition, while also supporting the development of computational techniques.

I will then discuss my recent efforts to apply automated reasoning and declarative optimization to practical problems arising in Vietnam, particularly university timetabling and patient scheduling in healthcare. These problems involve complex constraints and competing objectives, offering opportunities to combine symbolic reasoning, optimization, and simulation.

Finally, I will discuss promising directions for bridging formal models, automated reasoning, and simulation-based approaches to complex-system analysis and decision support.