Dagstuhl Seminar on Logic and Random Discrete Structures

Dagstuhl Seminar on Logic and Random Discrete Structures aim is to understand the typical structure of objects from a given class by studying the behavior of a randomly chosen object from that class. Logic provides a useful and powerful formalism for classifying discrete structures and for expressing properties of discrete structures, for this reason, the lens of logic has also been used in the study of random discrete structures.