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):
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.