School of Electrical and Electronic Engineering

Archived Events

Newcastle Concurrency Theory Workshop

Date/Time: Monday 18 July, 9.30am - 5.00pm

Venue: Claremont Tower, Room 701

This is one of two international workshops organised by Asynchronous Systems Laboratory (ASL) which is run jointly by the School of Computing Science (Advanced Model-Based Engineering and Reasoning Research Group) and the School of Electrical and Electronic Engineering (MicroSystems Research Group).

The aim of these workshops is to provide a forum to present and discuss work on a wide range of topics related to the theory and applications of asynchronous concurrent and distributed systems.

Synthesis

9:30 – 10:00: Jordi Cortadella: 'Specification Mining of Asynchronous Behaviours'

10:00 – 10:30: Stefan Haar: 'Unfolding-based Process Discovery'

10:30 – 11:00: Wojciech Penczek: 'Generating None-Plans in order to Find Plans'

11:00 – 11:30: Coffee break

Verification 1

11:30 – 12:00: Kamila Barylska: 'On Decidability of Persistence Notions'

12:00 – 12:30: Lukasz Mikulski: 'Reversible Computation vs. Reversibility in Petri Nets'

12:30 – 14:00: Lunch

Semantics

14:00 – 14:30: Jörg Desel: 'Negotiations, Languages and Petri Nets'

14:30 – 15:00: Evgeny Erofeev: 'Space-time Viewpoints for Concurrent Processes Represented by
Relational Structures'

15:00 – 15:30: Stefan Schwoon: 'Diagnosis, Opacity, and Concurrency'

15:30 – 16:00: Coffee break

Verification 2

16:00 – 16:30: Artur Meski: 'Towards Quantitative Verification of Reaction Systems'

16:30 – 17:00: Marcin Piatkowski: 'Diverse Palindromic Factorization is NP-complete'