Category Archives: Workshop

AISB Workshop on Explainability and Transparency in AI (XTAI 2022)

AISB Workshop on Explainability and Transparency in AI (XTAI 2022) is going to take place in Swansea University, Bay Campus, Computational Foundry (and online) on
13 October 2022.

Web site: aiqt.uk/xtai-2022

AISB and the Department of Computer Science at Swansea University are holding a hybrid one-day workshop on explainability and transparency in AI. This workshop is free to attend for AISB members but requires registration.

Topics include:

  • Explainable AI
  • Argumentation Theory
  • AI Transparency
  • Responsible, Reliable, and Resilient Design of AI Systems

he workshop will have invited and contributed talks as well as discussion sessions aimed at exploring cutting-edge research and open problems in areas related to explainable AI and transparency of automated data-driven decision making.

Programme:

10:00: Opening
10:05: Hsuan Fu – Explainability and Predictability of Machine Learning Methods in Finance Applications
10:35: Raghav Kovvuri – Investigating Global Open-Ended Funds diversification among G 11 countries through XAI
11:00: Break
11:30: Xiyui Fan – XAI with Probabilistic Structured Argumentation
12:00: Adam Wyner – Values in the Roots of Conflict in Argumentation
12:30: Lunch break

14:00: Arnold Beckmann – Hybrid AI approaches for Knowledge-Intense Manufacturing
14:30: Jay Morgan – Adaptive Neighbourhoods for the Discovery of Adversarial Examples

15:00: Coffee
15:30: Jamie Duell – Enhancing the Explainability of Electronic Health Record Predictions
16:00: Bertie Müller – PACE (Parametrised Automated Counterfactual Explanations) for Re3 (Reliable, Responsible & Resilient Design)
16:30: Panel Discussion

Organisers:

  • Monika Seisenberger (Swansea University)
  • Bertie Müller (AISB & Swansea University)

Email xtai@aiqt.uk for any other queries.

Computability in Europe 2022 is taking place in Swansea

We are happy to welcome all the participants of the CiE (Computability in Europe) conference here in Swansea today.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

CiE 2022
CiE 2022 is the 18th conference organized by CiE, a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

BCTCS 2022

Just a reminder that BCTCS 2022 is taking place in April in Swansea. The registration is open until 30 March.

BCTCS 2022 - Registration
British Colloquium for Theoretical Computer Science (BCTCS) - 2022

ABOUT THE BCTCS

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Automata Theory, Algorithms, Complexity Theory, Semantics, Formal Methods, Concurrency, Types, Languages and Logics.

SPECIAL SESSIONS AND THEMES – Explainable AI, Security, History of TCS, Teaching of TCS

There will be two Special Sessions during the meeting: one on Explainable AI, the other on Theoretical Aspects of Security.

Four of the Invited Speakers have been chosen based on their lifetime achievements in developing Theoretical Computer Science in the UK and have been invited to present personal histories of their fields of expertise.

At the end of the first day there will be a discussion event led by Barnaby Martin on the Pedagogy of Theoretical Computer Science.

BCTCS will also celebrate two important birthdays, John Tucker, 70 and Faron Moller, 60.

INVITED SPEAKERS

  • Cliff Jones (Newcastle)
  • Alexander Knapp (Augsburg)
  • Mike Paterson (Warwick)
  • Rick Thomas (Leicester)
  • Francesca Toni (Imperial)
  • John Tucker (Swansea)

SPECIAL SESSION SPEAKERS (INVITED)

  • Martin Barrere (Imperial)
  • Arnold Beckmann (Swansea)
  • Pardeep Kumar (Swansea)
  • Hoang Nga Nguyen (Coventry)
  • Hsuan Fu (Université Laval)
  • Adam Wyner (Swansea)

Special session in honour of Ulrich Berger @ CCC 2021

The University of Birmingham is hosting this year’s CCC 2021 Continuity, Computability, Constructivity: From Logic to Algorithms on 20-24 September 2021. There is a special session in honour of Ulrich Berger taking place on Tuesday as a part of this conference.

CCC 2021: Continuity, Computability, Constructivity - From Logic to Algorithms
CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles.

Join The Russell Club

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

 

CCC 2020

A number of Swansea theory group members are attending the CCC 2020 (Continuity, Computability, Constructivity – From Logic to Algorithms) conference, taking place from 31 August to 4 September via Zoom. Their work will be presented in the following talks:

CCC conference series are linked to the CID project that Swansea University actively participates in the recent years. This year the conference features talks by a number of invited speakers:

25th International Workshop on Algebraic Development Techniques 2020

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.

WADT 2020
25th INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES 2020

2nd Proof Society Workshop on Proof Theory and its Applications

Following the Summer School, we are really proud to host the 2nd Proof Society Workshop. The workshop was an opportunity to listen to a lot of interesting invited and contributed talks on proof theory and various areas of its application:

Adam Wyner: Computational Law – The Case of Autonomous Vehicles
Yong Cheng: Exploring the incompleteness phenomenon
Matthias Baaz: Towards a Proof Theory for Henkin Quantifiers
Sonia Marin: On cut-elimination for non-wellfounded proofs: the case of PDL
Gilles Dowek: Logical frameworks, reverse mathematics, and formal proofs translation
Benjamin Ralph: What is a combinatorial proof system?
William Stirton: Ordinal assignments correlated with notions of reduction
Oliver Kullmann: Practical proof theory: practical versions of Extended Resolution
Anton Setzer and Ulrich Berger on behalf of Ralph Matthes: Martin Hofmann’s case for non-strictly positive data types – reloaded
Laura Crosilla: Philosophy of mathematics and proof theory
Takako Nemoto: Recursion Theory in Constructive Mathematics
Arno Pauly: Combinatorial principles equivalent to weak induction
Antonina Kolokolova: The proof complexity of reasoning over richer domains
Joost Joosten: The reduction property revisited
Helmut Schwichtenberg: Computational content of proofs

Thanks to all the speaker and participants and we hope to see you all again soon.

Proof Society Workshop 2019

Photo by Olga Petrovska