Kings College: Online
17:00 - 18:00 BST 11:00 - 12:00 CDMX Join us for a Postgraduate Information Session highlighting: King's Masters programmes entry requirements for Mexican students how to apply student life at King's There will also be opportunity for Q A and to hear from King's Mexican Alumni about their experience of studying at King's.
Kings College: Online
Abstract We consider systems in which dynamic behaviour is spatially distributed and also stochastic. In particular, the agents within the system have a location, and the ability of agents to interact may depend on agents being co-located or within a given range of each other. Such systems are typically studied by simulations. Current simulation-based approaches provide summary information about the satisfaction of properties over the spatial domain, providing estimated values that include intrinsic uncertainty. In this work we seek to take this uncertainty into account and to enrich the summary information through the use of a novel logic, the Three-Valued Spatio-Temporal Logic (TSTL), which allows us to reason, not only about the behaviour of the system, but also about the evolution of the satisfaction of properties expressed in a spatio-temporal logic. This provides additional insight into the dynamic behaviour of the system under study. For example, in the analysis of the efficacy of a control measure for fire spread, we can verify whether the spread in a specific area will happen with probability under a given threshold over time. We can also identify the locations that are at highest risk, because they are surrounded by locations with high probability of burning. We use a three-valued logic, with the third value unknown indicating when there is insufficient evidence to make a judgement about a property. This can be taken as an indication of when more simulation trajectories are needed to evaluate propositions more precisely. Joint research with Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi and Glenn Marion. Biography Professor Jane Hillston is a Professor of Quantitative Modelling and Head of School in the School of Informatics within the College of Science and Engineering, and Deputy Vice Principal for Research at the University of Edinburgh. Jane is a Fellow of the Royal Society of Edinburgh and a Member of Academia Europaea. She currently chairs the Executive Committee of the UKCRC (UK Computing Research Committee). She is a member of the Informatics Europe working group on Women in Informatics Research and Education, and is a member of the LFCS (Laboratory for Foundations of Computer Science) in the School of Informatics. In 2004, Jane was the recipient of the first Roger Needham award. In 2018, she received a Suffrage Science Award. Jane’s research is concerned with modelling and reasoning about the dynamic behaviour of systems, using quantified formal methods. Applications have ranged from cellular processes to transport systems. How to join The seminar can be joined through Microsoft Teams - either through the Teams app or your web browser.
Kings College: Strand Campus, London
The Rt Rev and Rt Hon The Lord Williams of Oystermouth presents A Russian Orthodox theologian of solidarity: Mother Maria Skobtsova. The 2021 Gunton Lecture will be given by Dr Rowan Williams who is Master of Magdalene College, Cambridge, and served as Archbishop of Canterbury between 2002 and 2012. Among his recent publications is a revised version of his Hulsean Lectures, Christ the Heart of Creation (London: Bloomsbury, 2018). Having learnt Russian to study Dostoevsky, Dr Williams has published not only on Dostoevsky but also on Sergii Bulgakov. Location: King’s Chapel (if possible) and online. Please register now, and you will be contacted nearer the time about whether you would prefer to attend in person or remotely.
Kings College: King's Building, Strand Campus, London
The King’s College London Centre for Team-Based Practice Learning in Health Care and the KCLSU society The King's Players present 'How Harm Happens' a play examining the clinical-technical and emotive factors in interprofessional care. The play will be performed on the opening night of King’s CAIPE Conference 2021: Reduction of Harm Through Interprofessional Education and Collaborative Practice. The conference will take place over three days, 17-19 June 2021, at the College’s Strand Campus, London. A limited number of tickets are available, with conference attendees guaranteed admission. -- Photo by Daan Stevens on Unsplash.