- Planning-inf - mailman.kcl.ac.uk

Planning & AIS social
by Daub, Tanja 03 Jun '16

03 Jun '16

Hi all, Let's have a joint social for the AIS and Planning groups some time next week. The idea is to meet up somewhere at uni (possibly S6.06) from 4 or 5. There'll be board games and card games, and/or you can just come along to socialise if you like. If you're interested in coming, please fill in this doodle poll so that we can find out what day works best for everyone. http://doodle.com/poll/gs7twv26gn679qdc I'll send another e-mail with more details once we've finalised a date. If you can't make it next week at all, I'm sure we'll have more of these in the future. Thanks, Tanja

1 3

Bedtime reading
by Andrew Coles 01 Jun '16

01 Jun '16

Hi all, If anyone has a spare hour, the ICAPS printed programme is going to press in the morning and is available to proof read. The PDF is available at: https://www.dropbox.com/s/s08utvjysyjg1vt/leaflet-sans.pdf?dl=0 Comments before 8am tomorrow gratefully received. Comments after that time, please let me be happily ignorant! Thanks, Andrew -- Dr Andrew Coles Lecturer Department of Informatics, King's College London Room: S6.14, Tel: +44 (0) 20 7848 1511

1 0

Outstanding ICAPS tasks
by Andrew Coles 29 May '16

29 May '16

Hi all, I've assembled a list of outstanding tasks for ICAPS. Assistance would be great for the 'bulk' jobs (putting name badges into name badge holders, unboxing the rucksacks, ...) and for a few design tasks (the summer school printed programme, certificates). The list is at: https://docs.google.com/document/d/1sfUpuSVp319z6-gEv9zAVZxAVc3C_xHchIbKiWT… If I've missed something or you want to volunteer for a task, leave a comment. Thanks, Andrew -- Dr Andrew Coles Lecturer Department of Informatics, King's College London Room: S6.14, Tel: +44 (0) 20 7848 1511

1 0

No Planning Meeting Today - Invited talk next week
by Daniele Magazzeni 11 May '16

11 May '16

Hi all, As many of us are away or busy with revision lectures, let's skip the meeting today. Next week, I suggest we move the planning meeting on Wednesday as there is Matthijs Spaan visiting, and I've asked him to give a talk to the group. The meeting will be on Wednesday (May 11th) at 2pm (I'll circulate the details later). Best, Dan -- Dr Daniele Magazzeni Lecturer Department of Informatics King's College London Office S6.19 Tel: +44 (0)20 7848 1587 Twitter: @danmagazzeni http://www.inf.kcl.ac.uk/staff/danmag

1 2

ICAPS late reg deadline
by Andrew Coles 03 May '16

03 May '16

Hi all, If you're planning to come to ICAPS and haven't yet registered, please note the the late reg deadline is May the 5th (Thursday). After that, the on-site registration rate kicks in. Andrew -- Dr Andrew Coles Lecturer Department of Informatics, King's College London Room: S6.14, Tel: +44 (0) 20 7848 1511

1 0

Planning meeting today
by Daniele Magazzeni 28 Apr '16

28 Apr '16

Hi all, Even if some of us are away, let's meet at usual time today for a catch-up. 1pm in S6.06. Best, Dan -- Dr Daniele Magazzeni Lecturer Department of Informatics King's College London Office S6.19 Tel: +44 (0)20 7848 1587 Twitter: @danmagazzeni http://www.inf.kcl.ac.uk/staff/danmag

1 0

No planning group meeting tomorrow
by Daniele Magazzeni 20 Apr '16

20 Apr '16

Hi all, As some of us are not around tomorrow, we are not having the planning group meeting. We'll meet again on Monday at 12.00 for the seminar by Alessandro Abate. Note that the room is S6.06. Best, Dan -- Dr Daniele Magazzeni Lecturer Department of Informatics King's College London Office S6.19 Tel: +44 (0)20 7848 1587 Twitter: @danmagazzeni http://www.inf.kcl.ac.uk/staff/danmag

1 0

Seminar from prof. Alessandro Abate (University of Oxford) on Hybrid Systems - Monday April 25
by Daniele Magazzeni 19 Apr '16

19 Apr '16

Hi all, Next Monday (April 25th) professor Alessandro Abate, from University of Oxford, is visiting, and he's agreed to give a talk. He is a very strong researcher on Hybrid Systems, and I strongly encourage you to attend. Below the details (I'll confirm the room shortly). Best, Dan Monday, April 25th, at 12:00. Room TBD. Title: "Formal verification of complex dynamical systems" Abstract: This talk looks at the development of abstraction techniques based on quantitative approximations, in order to formally verify complex systems and to provide computable approaches for the correct-by-design synthesis of control architectures. The approach employs techniques and concepts from the formal verification area, such as that of bisimulation, over models and problems from the field of dynamical systems and control theory. While emphasising the generality of the approach over a diverse set of model classes, this talk zooms in on stochastic hybrid systems, which are probabilistic models with heterogeneous dynamics (continuous/discrete, i.e. hybrid, as well as nonlinear). A case study in energy networks, dealing with the problem of demand response, is employed to clarify concepts and techniques. Theory is complemented by algorithms, all packaged in software tools (called FAUST^2 for stochastic hybrid systems) that are freely available to users. Bio: Alessandro Abate is an Associate Professor in the Department of Computer Science at the University of Oxford. His research interests are in the analysis, verification, and control of probabilistic and hybrid systems, and in their general application over a number of domains, particularly in energy and in systems biology. -- Dr Daniele Magazzeni Lecturer Department of Informatics King's College London Office S6.19 Tel: +44 (0)20 7848 1587 Twitter: @danmagazzeni http://www.inf.kcl.ac.uk/staff/danmag

1 0

No planning group meeting this week
by Andrew Coles 15 Apr '16

15 Apr '16

Hi all, As it's the ECAI paper deadline this Friday, and some of us are busy working towards that, there won't be a planning group meeting this Thursday. Happy writing, Andrew -- Dr Andrew Coles Lecturer Department of Informatics, King's College London Room: S6.14, Tel: +44 (0) 20 7848 1511

8 7

Planning Meeting today Change of Location
by Amanda Coles 07 Apr '16

07 Apr '16

Hi All, S6.06 isn't available this week and next for the planning meeting so we will be in S1.12 both weeks at the usual time, Amanda -- Dr Amanda Coles Lecturer Department of Informatics King's College London Room: S6.17 http://www.inf.kcl.ac.uk/staff/amanda/

1 0