## Speaker:

## Organisers:

## Time:

## Venue:

## Webpage:

The standard hard-core model on a locally finite graph describes a family of Gibbs specifications, parameterized by the so-called activity parameter. An important problem is to determine when the model has a unique Gibbs measure and when it exhib