Hi all,

Room S4.29 between 3-5pm have been booked for the tutorial today.

Hope to see you all soon there.

All the best,

Emre

From: planning-inf-bounces@kcl.ac.uk [mailto:planning-inf-bounces@kcl.ac.uk] On Behalf Of Magazzeni, Daniele
Sent: 20 April 2017 15:37
To: planning-inf Mailman List <planning-inf@mailman.kcl.ac.uk>
Cc: Andrea Micheli <amicheli@fbk.eu>
Subject: [Planning-inf] Lecture on SMT

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

http://www.inf.kcl.ac.uk/staff/danmag