Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Research Meeting 23463

Coalgebra Meets Automata Learning

( Nov 15 – Nov 17, 2023 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:




We aim at combining automata learning with the generic framework of coalgebra. In recent years, automata learning was shown to be a useful tool in the verification of software components and in the discovery of implementation mistakes in black-box systems. This inspired many generalized learning algorithms in the categorical language of universal coalgebra, making it possible to apply the methods to other system types (e.g. nominal automata). The meeting serves as a platform for exchanging and combining the most recent research results of the two fields.

Copyright Thorsten Wißmann