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.
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.
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
Workshop on Proof Theory and its Application
The Proof Theory Summer School will be followed by the Workshop on September 11-13, 2019. For more information click below:
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.
Hideki Tsuiki
Professor (Course of Mathematical Science, Graduate School of Human and Environmental Studies, Kyoto University). Ressearch Interests: Computation over Real numbers and Topological spaces, Domains and their topologies, Fractals and their models, Semantics of Programming Languages, Object Oriented Programming, Mathematical Logic, Lambda Calculus.
Kristijonas Čyras
Postdoctoral Researcher in AI at the Department of Computing, Imperial College London. I manage researchers, enthusiastically supervise and teach students, present my work at top tier international conferences, review and assess the works of others and give highest quality feedback, organise research events, represent and speak on behalf of my colleagues and fellow AI researchers during institutional and public engagement opportunities.
MLA’2019
Wordpress is loading infos from loria
Please wait for API server guteurls.de to collect data frommla2019.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:
