Hi all,
There will be a FLINT development meeting in Kaiserslautern, Germany, the week October 9-13, 2023.
The workshop will focus on coding sprints to improve FLINT and its integration in other software. If you want to participate, please send me an email as soon as possible.
Fredrik