We are glad to announce that Professor Jan A Bergstra, formerly Director of Informatics, University of Amsterdam, and chair of Informatics Section of Academia Europaea will be visiting Swansea University next week.
Monthly Archives: January 2020
2nd World Logic Day
Today as a part of the 2nd World Logic Day our Theory group commemorated the work of Erik Palmgren (1963-2019), who sadly passed away last year.
Anton Setzer presented Erik’s most influential papers, which had a big impact on Anton’s own research.
Paul Shafer is coming to Swansea
36th British Colloquium for Theoretical Computer Science
Wordpress is loading infos from ac
Please wait for API server guteurls.de to collect data fromcs.swansea.ac.uk/bctcs2020/
Swansea University is looking forward to host BCTCS2020 this April.
Meeting to commemorate the logician Erik Palmgren (1963-2019) on the occasion of the World Logic Day
We meet to remember the great logician Erik Palmgren who sadly passed away in November 2019 .
To honor Erik Palmgren’s work, Anton Setzer will give a talk with the title:
Palmgren’s interpretation of inductive definitions in type theory and development of higher type universes in type theory.
The meeting also marks the 2nd World Logic Day.
Venue: Theory Lab (CoFo 209)
Time: 14th of January 2020, 2-3 pm