In the last twenty years there is a growing interest in the connection between these two fields analogous to the one found in the 1970s by Furstenberg for the Szemeredi theorem but now with the roles reversed. The course will start with the basic Model theory of Fraisse structures and their limits and then continue with study of Logic actions of these limits. The goal is to reach a level where structural Ramsey theory could be used to study these actions.

This should be accessible to students familiar with basic concepts in mathematics who will surely profit from just being exposed to the constructions of Fraisse limits such as, for example, the Urysohn metric space or the Gurarij Banach space.