Adrian Mathias from the University of Reunion is visiting Swansea on 19 July 2016. He is mainly working in Set Theory. Here is the link to his talk in the PCV seminar.

Adrian Mathias from the University of Reunion is visiting Swansea on 19 July 2016. He is mainly working in Set Theory. Here is the link to his talk in the PCV seminar.

Grant Malcom from the University of Liverpool is visiting Swansea on the 29th of April 2016. He gave a talk in the PCV Seminar entitled *Structures of Transition Systems.*

Olaf Beyersdorff from the University of Leeds is visiting Swansea on the 12th of April 2016.

He will give a talk in the Theory Seminar about Proof Complexity of Quantified Boolean Formulas

Nao Hirokawa from the Japan Advanced Institute of Science and Technology (JAIST) is visiting Swansea from 15 to 17 March. Nao is an expert in Term rewriting theory.

The abstract of his seminar talk about Basic Normalization on Thursday, 15 March can be found here.

Achim Jung from the University of Birmingham is visiting Swansea on Wednesday, 20 January 2016. He will give a talk in the PCV seminar series.

Title: On the sobriety of domains

Abstract: There are two ways in which a domain (in the sense of Dana

Scott) may arise from countable data: The classic way is via

order-theoretic approximation inside the domain, and leads to the

notion of algebraic and continuous domains. Alternatively, one can

view a domain as arising from the lattice of predicates that may be

formulated for a data type. This latter approach was pioneered and

developed by Samson Abramsky in his Domain Theory in Logical Form.

I will explain these two approaches and then present an example that

illustrates some of the subtlety that we may observe with the latter.

Time: 4-5 pm

Venue: Robert Recorde Room (Faraday Building 205)

The talk will be preceded by a talk by Margarita Korovina.

Margarita Korovina from IIS (A.P. Ershov Institute of Informatics Systems, Novosibirsk), is visiting Swansea as part of the EU project COMPUTAL.

She will give four talks in the PCV seminar:

Tuesday, 19/1, 2-3 pm and Thursday 21/ 2, 2-3 pm: What are decidable/undecidable in reachability verification of hybrid systems?

Wednesday, 20/1, 3-4 pm: Complexity for Partial Computable Functions over Computable Perfect Polish Spaces.

The talks will be in the Robert Recorde Room Robert (Faraday Building, Room 205)

Prof. Nobert Preining from JAIST is visiting Arnold Beckmann to continue work on their Royal Society Grant *Hypersequents and Communication.*

Prof Prof. Magne Haveraaen from University of Bergen visits the department and gives a talk “Specifying software the Magnolia way” on 10th, Dec 2015.

On November 12th and 13th Markus Roggenbach, Xu Wang and Phillip James went to the 3rd meeting of the ETWG-RC in Amsterdam. The session was chaired by Markus and Swansea presented recent work towards modelling ERTMS in Real-Time Maude (presented at FTSCS 2015).

Talks from other participants included:

- Jan Peleska (Bremen):
*Complete Bounded Model Checking and Testing of Interlocking Systems.* - Alessandro Fantechi (Firence):
*Certification challenges of innovative signalling systems.* - Marielle Stoelinga (Twente):
*Railway Maintenance Engineering (in co-operation with ProRail) .* - Jan Pelseka (Bremen):
*Overview on OpenETCS.* - Jaco van de Pol (Twente) / Anne Haxthausen (Lyngby): Introduce/discussion about the Rascal working group on Verification Technology.

A good time was had by all with many fruitful discussions and ideas being exchanged. The Swansea Railway Verification Group dearly missed Monika who heroically stayed in Swansea in order to help organise the yearly departmental colloquium to be held next week in Gregynog, but we thank her for all her hard work towards our presentation slides. Faron will also be doubly sorry for unfortunately having to miss the trip, not only for missing the Science but also the tasty meals and refreshing beverages!

The London Mathematical Society is this year celebrating its 150th anniversary, and hosted a full-day colloquium 17 September on Algorithms and Cryptography.

This event was organised by Faron Moller, and featured Keynote Lectures by Mike Paterson, Jon Kleinberg, Lance Fortnow, Nigel Smart, Shafi Goldwasser and Adi Shamir.

More information can be found here.

Translate »