Descriptive Complexity for Distributed Computing and Neural Networks

Explore a comprehensive lecture on descriptive complexity in distributed computing and neural networks presented by Antti Kuusisto from Tampere University. Delve into logics that capture the expressive power of various distributed computing and neural network models, including graph neural networks. Examine the game-theoretic semantics for these logics and their connections to computational logic. Gain insights into both established and recent findings in this field, with a focus on the intersection of distributed systems, neural networks, and logical frameworks. Learn how these concepts contribute to the broader understanding of Games and Equilibria in System Design and Analysis.