We are glad to announce that The Russell Club, a new fortnightly workshop series organized by Faron Moller, Markus Roggenbach and John Tucker, are starting next Monday (6pm-7pm).
The Russell Club is an informal Workshop Series where gems from the Foundations of Computer Science are explored. It is open and accessible to all students, be they first-years or postgraduate, from any discipline. All that is required is an inquisitive mind.
Join The Russell Club
Today Swansea is hosting the first virtual WADT, and you are gently invited to participate.
The virtual WADT is part of the 25th International Workshop on Algebraic Development Techniques 2020, which hopefully will still happen as a physical meeting in autumn this year. The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems).
The workshop takes place under the auspices of IFIP WG 1.3.
Please see below for the programme.
25th INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES 2020
We are looking forward to welcome Paul Schafer, who will be visiting Swansea University on 18 to 23 January.
When people who are logicians ask me about what I do, I tell them that I study computability theory.
The Proof Theory Summer School will be followed by the Workshop on September 11-13, 2019. For more information click below:
Monika Seisenberger (Swansea University) and Lauri Hella (Tampere University, Finland) is chairing the Twenteeth International Workshop on Logic and Computational Complexity (LLC’19), which will be held in Patras, Greece, on July 8, 2019, as part of ICALP.
More information is here:
Logic and Computational Complexity
The Twenteeth International Workshop on Logic and Computational Complexity will be held in Patras, Greece, on July 8, 2019, as part of ICALP.