2023

Recent years have witnessed the emergence of powerful semantic tools for non-classical logics. These semantic methods draw from web of mathematical formalisms at the intersection of ordered and universal algebra, topology, and category theory, and together provide a flexible and unifying framework for the study of logic across a host of domains. LIACT serves as a broad introduction to this dynamic and quickly growing area of modern mathematical research, and places particular emphasis on this area's deep interactions with/and applications to computer science.

Differential equations are typically considered to be a subject of mathematical analysis or, more generally, "continuous mathematics". However, algebraic and discrete methods have been successfully applied to questions about differential equations such as, for example, finding symmetries or closed-form solutions. Recent years have witnessed significant development of constructive aspects of algebraic geometry and tropical algebra including deep theory and efficient algorithms.