Skip to content

Commit d399cdc

Browse files
committed
add CAV news
1 parent e85ba5a commit d399cdc

1 file changed

Lines changed: 14 additions & 0 deletions

File tree

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
---
2+
layout: post
3+
title: "LearnLib @ CAV 2025"
4+
date: "2025-07-22"
5+
navbar-group: "News"
6+
author: "Markus Frohme"
7+
categories:
8+
- "pages"
9+
- "news"
10+
---
11+
12+
We are happy to announce that our tool paper *LearnLib: 10 years later* has been accepted at [CAV 2025](https://conferences.i-cav.org/2025/) and will be part of the open-access [conference proceedings](https://link.springer.com/book/10.1007/978-3-031-98685-7).
13+
14+
We are excited to meet you at CAV and are looking forward to plenty of interesting talks.

0 commit comments

Comments
 (0)