Tag Archives: logic

Jan Bergstra visiting Swansea

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.

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

Visits and talks this week

This week we are glad to welcome two visitors here at Swansea, namely Hideki Tsuiki from Kyoto University and Kristijonas Čyra from the Imperial College of London.

Hideki will give a talk on “Infinite Adequacy Theorem through Coinductive Definitions” today at 14:00 as a part of our Theory seminar series and Kristijonas will speak on “Argumentation-enabled Explainable AI Applications” this Thursday at 15:00 at the CoFo.

MLA’2019


GUTE-URLS

Wordpress is loading infos from loria

Please wait for API server guteurls.de to collect data from
mla2019.loria.fr/

Ulrich Berger is currently attending the 3rd Workshop on Mathematical Logic and its Applications, Nancy, France, where he will present a talk on Extracting the Fan Functional.

Logic and Computational Complexity 2019

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: