CALF Logo

Categorical

Automata

Learning

Framework

modular design and development of automata learning algorithms, with correctness-by-construction guarantees

June 23 2019

Learning and Automata 2019 (LearnAut19) is happening!
Please consider submitting

July 24 2017

Learning Automata with Side-Effects has been accepted at YR-CONCUR
Gerco Van Heerdt will be giving the talk on September 4, 2017 at 2:30 pm

May 25 2017

Matteo Sammartino gives a seminar about CALF at SREPLS 6

May 23 2017

Gerco van Heerdt gives a PPLV seminar about CALF

May 10 2017

Matteo Sammartino gives an invited seminar about Learning Nominal Automata at IST Austria

March 01 2017

Why is Learning so Effective in Software Testing?
New blog post about automata learning by Joshua Moerman