Speaker: Ionuţ Ţuţu (Royal Holloway, University of London) Abstract: We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, …