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

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

Meeting this Week
by Amanda Coles 05 Apr '16

05 Apr '16

Hi All, We will meet this week at the usual time, I'm going to trial a different format of meeting, I will talk about a problem we're currently working on but haven't solved yet, and our ideas so far, and then we can all pool ideas as to what might be a good way to solve it. If this works I think it will be an interesting meeting format, to allow us all to discuss and help each other with current research, rather than having polished finished presentations of what has been done, but we'll have to see how it goes, 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