December 7, 2021

I, Science

The science magazine of Imperial College

Loading Events

« All Events

  • This event has passed.

Reactive systems: a powerful paradigm for modelling and analysis from engineering to biology

18 November, 2015 @ 6:30 pm - 7:30 pm

Free

A reactive system is a dynamic system that evolves in time by reacting to external events. Hardware components and software processes are reactive systems that interact with each other and with their physical environment. Computer science has developed powerful models, theories, algorithms, and tools for analyzing and predicting the behavior of reactive systems.

These techniques are based on mathematical logic, theory of computation, programming languages, and game theory. They were originally developed to let us build a more dependable computer infrastructure, but their utility transcends computer science. For example, both an aircraft and a living organism are complex reactive systems. Our understanding and the design of such systems can benefit greatly from reactive modeling and analysis techniques such as execution, composition, and abstraction.

Details

Date:
18 November, 2015
Time:
6:30 pm - 7:30 pm
Cost:
Free
Event Categories:
, , , ,
Event Tags:
, ,
Website:
https://royalsociety.org/events/2015/11/milner-award/

Organiser

The Royal Society
Phone:
+44 (0)20 7451 2500
Website:
https://royalsociety.org/

Venue

The Royal Society
6-9 Carlton House Terrace
London, SW1Y 5AG United Kingdom
+ Google Map
Phone:
+44 (0)20 7451 2500
Website:
https://royalsociety.org/