The 2023 FLINT development workshop is taking place from October 9-13 at RPTU Kaiserslautern-Landau.
The workshop will focus on on coding sprints to develop FLINT and improve FLINT’s integration in other software. Depending on the number of participants, we may arrange a small number of tutorials and technical talks (O(1) / day).
All further information regarding registration and organization can be found here.