Chalmers University of Technology

Gothenburg CHAIR Workshop 2026

A research workshop in Gothenburg within the CHAIR-funded theme Cognition, Reasoning and AI in Collaboration, bringing together researchers in automated reasoning, formal mathematics, AI, and related areas.

Overview

This workshop is part of the 2026 CHAIR Research Themes program at Chalmers. The underlying theme, Cognition, Reasoning and AI in Collaboration, supports research activities spanning formalisation of mathematics, neuro-symbolic methods, reinforcement learning with feedback from provers, and cognitive aspects of reasoning AI.

The workshop aims to strengthen ties between Chalmers and related international research groups working in AI, reasoning, and formal mathematics.

Host institution Chalmers University of Technology, Gothenburg, Sweden
Funding CHAIR Research Themes 2026
Theme leader Moa Johansson
Workshop format Networking workshop and research exchange

Dates and program

The workshop will officially run from Tuesday 26 May 2026 to Friday 29 May 2026 in Gothenburg.

  • Tuesday afternoon, 26 May: Optional opening session, including a colloquium with local mathematicians. Thierry Coquand, Devdatt Dubhashi, and Josef Urban will give short talks.
  • Wednesday morning, 27 May: Official start of the core workshop program.
  • Thursday afternoon, 28 May: Planned hike or excursion.
  • Friday, 29 May: Closing day of the workshop.
Participants are welcome to stay longer over the weekend, although the weekend is not officially part of the workshop program.

Travel and administration

Chalmers strongly prefers to book travel tickets directly for invited participants. Attendees who plan to come are asked to send their preferred flight options as soon as possible to Andrea Brodén.

Accommodation arrangements will be coordinated after the participant list is finalized.

Funding context

The proposal Cognition, Reasoning and AI in Collaboration was accepted into the CHAIR Research Themes 2026 program.