SMS: Logic colloquium