2023 FLINT development workshop

Summary report

When and where

October 9 - 13, 2023

RPTU Kaiserslautern, Germany

We will be in room 48-519 and hopefully also 48-419. You can find building 48 on the campus map.


We will coordinate coding projects on this wiki page:


The workshop will focus on on coding sprints to develop FLINT and improve FLINT’s integration in other software. We start 9:30 on Monday morning in room 48-519, and finish Friday afternoon.

Depending on the number of participants, we may arrange a small number of tutorials and technical talks (O(1) / day).

Here is a tentative list of topics for coding sprints (feel free to add more ideas):


List of participants

To register for the workshop, please contact the organizers. Funding is available to cover travel and accommodation for some participants; let us know as soon as possible if you need this.

Local information