Hi all,

I’ve asked Andrea to give us a lecture on SMT, and he kindly agreed.

It will be tomorrow at 3pm. I’ll let you know the room later.

You are all welcome.

Dan

Dr Daniele Magazzeni

Lecturer in Artificial Intelligence, King's College London

Head, AI Planning Group

Editor-in-Chief, AI Communications