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):
- FLINT's integration in OSCAR
- Wrappers in other programming languages
- Linear algebra in FLINT
- Generics in FLINT
- Streamlining FLINT
- Maintenance and documentation
- Fredrik Johansson ([email protected])
- Max Horn ([email protected])
- Claus Fieker ([email protected])
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.
- Albin Ahlbäck
- Oscar Benjamin (remote, tentatively)
- David Berghaus (Wednesday - Friday)
- Alex Best (Monday - Wednesday)
- Ricardo Buring
- Edgar Costa
- Joel Dahne
- Håvard Damm-Johnsen
- Vincent Delecroix (remote)
- Bernike Dieterle
- David Einstein (remote)
- Andreas Enge (Monday evening - Wednesday)
- Claus Fieker
- Max Horn
- Fredrik Johansson
- Marc Mezzarobba
- Pascal Molin (Monday - Thursday)
- Hartmut Monien (Wednesday afternoon - Friday)
- Vincent Neiger
- Kartik Venkatram