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<https://emea01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.inf.kcl.ac.uk%2Fstaff%2Fdanmag&data=01%7C01%7Cemre.savas%40kcl.ac.uk%7C45477bc33c4c4d7cfec008d487faa48a%7C8370cf1416f34c16b83c724071654356%7C0&sdata=SjjOxbPYqVBJxnHdkQamColmD2cncIvyPsVn8zBtjYg%3D&reserved=0>