|
| 1 | +<h1 id="flint-development-workshop-in-palaiseau">2025 FLINT development |
| 2 | +workshop in Palaiseau</h1> |
| 3 | +<h2 id="when-and-where">When and where</h2> |
| 4 | +<ul> |
| 5 | +<li>January 27 – 31, 2025</li> |
| 6 | +<li>Bâtiment Alan Turing, campus de l’École polytechnique, Palaiseau, |
| 7 | +France (<a |
| 8 | +href="https://www.openstreetmap.org/?mlat=48.71441&mlon=2.20540#map=18/48.71441/2.20540">location</a>) |
| 9 | +<ul> |
| 10 | +<li>Mon, Jan 27: Gilles Kahn room (ground floor)</li> |
| 11 | +<li>Tue, Jan 28 – Fri, Jan 31: Grace Hopper room (2nd floor, at the very |
| 12 | +back of the building)</li> |
| 13 | +</ul></li> |
| 14 | +<li>We will start around 09:00 on Monday and end around 17:00 on Friday, |
| 15 | +but feel free to arrive later or leave earlier.</li> |
| 16 | +</ul> |
| 17 | +<h2 id="program">Program</h2> |
| 18 | +<p>The workshop will focus on on coding sprints to develop FLINT and |
| 19 | +improve FLINT’s integration in other software. (Developers of other |
| 20 | +mathematical software with no direct link to FLINT are also |
| 21 | +welcome!)</p> |
| 22 | +<p>Depending on participant interest, we may arrange a small number of |
| 23 | +tutorials and technical talks. Feel free to reach out to the organizers |
| 24 | +with presentation proposals or suggestions for topics you’d like to see |
| 25 | +covered.</p> |
| 26 | +<p>Additional informal talks and public discussions will be scheduled as |
| 27 | +the need arises.</p> |
| 28 | +<table> |
| 29 | +<thead> |
| 30 | +<tr class="header"> |
| 31 | +<th style="text-align: left;">Daily schedule</th> |
| 32 | +<th></th> |
| 33 | +</tr> |
| 34 | +</thead> |
| 35 | +<tbody> |
| 36 | +<tr class="odd"> |
| 37 | +<td style="text-align: left;">09:00 - 11:45</td> |
| 38 | +<td>Coding sprints</td> |
| 39 | +</tr> |
| 40 | +<tr class="even"> |
| 41 | +<td style="text-align: left;">11:45 - 13:15</td> |
| 42 | +<td>Lunch at RIEA</td> |
| 43 | +</tr> |
| 44 | +<tr class="odd"> |
| 45 | +<td style="text-align: left;">13:15 - 17:30</td> |
| 46 | +<td>Coding sprints</td> |
| 47 | +</tr> |
| 48 | +</tbody> |
| 49 | +</table> |
| 50 | +<table> |
| 51 | +<colgroup> |
| 52 | +<col style="width: 53%" /> |
| 53 | +<col style="width: 46%" /> |
| 54 | +</colgroup> |
| 55 | +<thead> |
| 56 | +<tr class="header"> |
| 57 | +<th style="text-align: left;">Monday</th> |
| 58 | +<th></th> |
| 59 | +</tr> |
| 60 | +</thead> |
| 61 | +<tbody> |
| 62 | +<tr class="odd"> |
| 63 | +<td style="text-align: left;">09:00 - 10:00</td> |
| 64 | +<td>Welcome the participants</td> |
| 65 | +</tr> |
| 66 | +<tr class="even"> |
| 67 | +<td style="text-align: left;">10:00 - 10:30</td> |
| 68 | +<td><a href="download/flint_workshop_2025_introduction.pdf">Quick |
| 69 | +introduction to FLINT: How to compile and contribute</a>, <a |
| 70 | +href="download/test_flint.c">Example code</a></td> |
| 71 | +</tr> |
| 72 | +</tbody> |
| 73 | +</table> |
| 74 | +<table> |
| 75 | +<thead> |
| 76 | +<tr class="header"> |
| 77 | +<th style="text-align: left;">Tuesday</th> |
| 78 | +<th></th> |
| 79 | +</tr> |
| 80 | +</thead> |
| 81 | +<tbody> |
| 82 | +<tr class="odd"> |
| 83 | +<td style="text-align: left;">19:30</td> |
| 84 | +<td>Social dinner at <em>Le Living-Room</em></td> |
| 85 | +</tr> |
| 86 | +</tbody> |
| 87 | +</table> |
| 88 | +<table> |
| 89 | +<thead> |
| 90 | +<tr class="header"> |
| 91 | +<th style="text-align: left;">Wednesday</th> |
| 92 | +<th></th> |
| 93 | +</tr> |
| 94 | +</thead> |
| 95 | +<tbody> |
| 96 | +<tr class="odd"> |
| 97 | +<td style="text-align: left;"></td> |
| 98 | +<td></td> |
| 99 | +</tr> |
| 100 | +</tbody> |
| 101 | +</table> |
| 102 | +<table> |
| 103 | +<thead> |
| 104 | +<tr class="header"> |
| 105 | +<th style="text-align: left;">Thursday</th> |
| 106 | +<th></th> |
| 107 | +</tr> |
| 108 | +</thead> |
| 109 | +<tbody> |
| 110 | +<tr class="odd"> |
| 111 | +<td style="text-align: left;"></td> |
| 112 | +<td></td> |
| 113 | +</tr> |
| 114 | +</tbody> |
| 115 | +</table> |
| 116 | +<table> |
| 117 | +<colgroup> |
| 118 | +<col style="width: 53%" /> |
| 119 | +<col style="width: 46%" /> |
| 120 | +</colgroup> |
| 121 | +<thead> |
| 122 | +<tr class="header"> |
| 123 | +<th style="text-align: left;">Friday</th> |
| 124 | +<th></th> |
| 125 | +</tr> |
| 126 | +</thead> |
| 127 | +<tbody> |
| 128 | +<tr class="odd"> |
| 129 | +<td style="text-align: left;">11:00 - 11:45</td> |
| 130 | +<td>Albin Ahlbäck, <em>Fast basecases for arbitrary-size |
| 131 | +multiplication</em></td> |
| 132 | +</tr> |
| 133 | +</tbody> |
| 134 | +</table> |
| 135 | +<h2 id="discussion">Discussion</h2> |
| 136 | +<ul> |
| 137 | +<li>Zulip chat: <a |
| 138 | +href="https://sagemath.zulipchat.com/#narrow/stream/408539-flint">https://sagemath.zulipchat.com/#narrow/stream/408539-flint</a></li> |
| 139 | +<li>Wiki: <a |
| 140 | +href="https://github.com/flintlib/flint/wiki/Workshop-2025">https://github.com/flintlib/flint/wiki/Workshop-2025</a></li> |
| 141 | +</ul> |
| 142 | +<h2 id="organizers">Organizers</h2> |
| 143 | +<ul> |
| 144 | +<li>Ricardo Buring <a href=" mailto:[email protected]" |
| 145 | +class=" email" >[email protected]</a></li> |
| 146 | +<li>Fredrik Johansson <a href=" mailto:[email protected]" |
| 147 | +class=" email" >[email protected]</a></li> |
| 148 | +<li>Pierre Lairez <a href=" mailto:[email protected]" |
| 149 | +class=" email" >[email protected]</a></li> |
| 150 | +<li>Marc Mezzarobba <a href=" mailto:[email protected]" |
| 151 | +class=" email" >[email protected]</a></li> |
| 152 | +</ul> |
| 153 | +<h2 id="registration">Registration</h2> |
| 154 | +<p>Participation is free. To register for the workshop, please contact |
| 155 | +Ricardo and/or Marc.</p> |
| 156 | +<p>We expect to have funds to cover local expenses and travel for some |
| 157 | +participants. Please contact us as soon as possible if you are |
| 158 | +interested.</p> |
| 159 | +<p>Remote participation will be possible.</p> |
| 160 | +<h2 id="participants">Participants</h2> |
| 161 | +<ul> |
| 162 | +<li>M’barek Abridllil</li> |
| 163 | +<li>Albin Ahlbäck</li> |
| 164 | +<li>Oscar Benjamin</li> |
| 165 | +<li>Ricardo Buring</li> |
| 166 | +<li>Edgar Costa (remote)</li> |
| 167 | +<li>Luca De Feo</li> |
| 168 | +<li>Vincent Delecroix (remote)</li> |
| 169 | +<li>Andreas Enge (Mon-Tue)</li> |
| 170 | +<li>Claudia Fevola</li> |
| 171 | +<li>Lars Göttgens</li> |
| 172 | +<li>Alexandre Guillemot</li> |
| 173 | +<li>Tom Hubrecht</li> |
| 174 | +<li>Fredrik Johansson</li> |
| 175 | +<li>Jean Kieffer</li> |
| 176 | +<li>Pierre Lairez</li> |
| 177 | +<li>Paolo Lammens</li> |
| 178 | +<li>Marc Mezzarobba</li> |
| 179 | +<li>Arnaud Minondo</li> |
| 180 | +<li>Pascal Molin</li> |
| 181 | +<li>Vincent Neiger</li> |
| 182 | +<li>Bachar Samaoui</li> |
| 183 | +</ul> |
| 184 | +<h2 id="local-information">Local information</h2> |
| 185 | +<h3 id="access">Access</h3> |
| 186 | +<ul> |
| 187 | +<li><a |
| 188 | +href="https://www.ip-paris.fr/en/access-and-mobility-campus">Access and |
| 189 | +mobility on campus</a></li> |
| 190 | +<li><a |
| 191 | +href="https://www.paris-saclay.com/fileadmin/documents/2.Vivre_ici/Mobilite/Plan_Secteur_Orsay.pdf">Public |
| 192 | +transport map</a> (warning: a few bus line have been renumbered, |
| 193 | +including 91-10 → 5154)</li> |
| 194 | +<li><a href="https://www.iledefrance-mobilites.fr/en">Route |
| 195 | +planner</a></li> |
| 196 | +</ul> |
| 197 | +<h3 id="where-to-stay">Where to stay</h3> |
| 198 | +<ul> |
| 199 | +<li><a |
| 200 | +href="https://www.adagio-city.com/fr/hotel-a0x3-apparthotel-adagio-access-palaiseau-saclay.shtml">Aparthotel |
| 201 | +Adagio Access Palaiseau Saclay</a> is just around the corner</li> |
| 202 | +<li>Many hotels in Massy, ~20 min from Polytechnique by bus (line 91-06 |
| 203 | +or 5154 from Massy Palaiseau to Place Marguerite Perey).</li> |
| 204 | +<li><a href="https://www.orsay-hotel.com/">Hôtel d’Orsay</a> is located |
| 205 | +close to Le Guichet RER station, 30–40 min from Polytechnique by foot |
| 206 | +via Passage du Buisson aka escaliers de la Troche (300+ stairs), or ~30 |
| 207 | +min by bus (91-05 or 91-06 from Gare du Guichet to Place Marguerite |
| 208 | +Perey).</li> |
| 209 | +</ul> |
| 210 | +<h3 id="where-to-eat">Where to eat</h3> |
| 211 | +<ul> |
| 212 | +<li>In the immediate vicinity of Polytechnique: Le 19, Le Living-Room |
| 213 | +(restaurants), Food Asia Saclay 91 (Asian fast food), Panifique (bakery, |
| 214 | +closes at 20:00)</li> |
| 215 | +<li>Just a little further: Mangia, Le Julie’s.</li> |
| 216 | +<li>Massy: many restaurants and fast-food options on both sides of |
| 217 | +Massy-Palaiseau RER station, most decent, none exceptional</li> |
| 218 | +<li>A few restaurants close to Le Guichet station.</li> |
| 219 | +<li>Many more options in Palaiseau (rue de Paris) or Orsay but not as |
| 220 | +easy to reach.</li> |
| 221 | +</ul> |
| 222 | +<h2 id="funding">Funding</h2> |
| 223 | +<ul> |
| 224 | +<li>ANR NuSCAP</li> |
| 225 | +<li>ERC 10000 DIGITS</li> |
| 226 | +</ul> |
0 commit comments