Ken Madlener’s Research Visit

Ken is visiting Swansea for a few months to work with PLanCompS participants on formalisation of bisimulation equations and their robustness under language extensions. Today he will be giving a talk about this. The talk is part of the Proof, Complexity and Verification series at Swansea, and the Mathematical Foundations series at Bath, via a video link. We look forward to hearing all about it!

Project Meeting

We’re all just returning from an excellent project kick-off meeting, hosted at Swansea this weekend.   The programme included a thorough review of the plans outlined in the project proposal and technical presentations by the investigators and visiting researchers. login secure server .  We hope that this forms the beginning of a solid continuing development in our field.

 

 

Joining the team

The PLanCompS Team is pleased to welcome new members…

The research assistants at Swansea will be:
and at RHUL:

The PLanCompS PhD studentships have been awarded to Casper Bach Poulsen (Swansea) and Robert Walsh (RHUL).

We look forward to their work on the project.

domain information