657
Comment:
|
1195
|
Deletions are marked like this. | Additions are marked like this. |
Line 3: | Line 3: |
Feel free to add your name to the list if you plan to come. You can add a question mark after your name to indicate that your plans is not final. | Feel free to add your name to the list if you plan to come. You can add a question mark after your name to indicate that your plans are not final. |
Line 5: | Line 5: |
* Sever Achimescu * Sedat Akleylek (IAM-METU) |
|
Line 6: | Line 8: |
* Thomas Baechler (Aachen) * Stefan Boettner (Tulane) * Mohamed S. Boudellioua * Frédéric Chyzak (INRIA Rocquencourt) |
|
Line 11: | Line 17: |
* Karen Kohl (Tulane) ? | * Manuel Kauers (RISC) * Simon King (NUI Galway) * Karen Kohl (Tulane) * Anja Korporal (RISC) * Richard Kreckel * Robert Miller (UW) * Ionela Moale (JKU) |
Line 13: | Line 25: |
* Ciaran Mullan (RHUL) * Sebastian Pancratz (Oxford) |
|
Line 14: | Line 28: |
* Veronika Pillwein (RISC) | |
Line 15: | Line 30: |
* Clemens Raab (RISC) * Hamid Rahkooy (JKU) * Georg Regensburger (RICAM) |
|
Line 16: | Line 34: |
* Flaiva Stan (RISC) | * David Sevilla (RICAM) * Flavia Stan (RISC) |
Line 21: | Line 40: |
* Burkhard Zimmermann (RISC) |
(Tentative) List of Participants of Sage Days 24
Feel free to add your name to the list if you plan to come. You can add a question mark after your name to indicate that your plans are not final.
- Sever Achimescu
- Sedat Akleylek (IAM-METU)
- Martin Albrecht (RHUL)
- Thomas Baechler (Aachen)
- Stefan Boettner (Tulane)
- Mohamed S. Boudellioua
- Frédéric Chyzak (INRIA Rocquencourt)
- Diego Dominici (New Paltz)
- Alexander Dreyer (Kaiserslautern)
- Burcin Erocal (RISC)
- Ralf Hemmecke (RISC)
- Fredrik Johansson
- Manuel Kauers (RISC)
- Simon King (NUI Galway)
- Karen Kohl (Tulane)
- Anja Korporal (RISC)
- Richard Kreckel
- Robert Miller (UW)
- Ionela Moale (JKU)
- Oleksandr Motsak (Kaiserslautern)
- Ciaran Mullan (RHUL)
- Sebastian Pancratz (Oxford)
- Peter Paule (RISC)
- Veronika Pillwein (RISC)
- Alban Quadrat (INRIA Sophia Antipolis)
- Clemens Raab (RISC)
- Hamid Rahkooy (JKU)
- Georg Regensburger (RICAM)
- Harald Schilly
- David Sevilla (RICAM)
- Flavia Stan (RISC)
- Wiliam Stein (UW)
- Nico Temme (CWI)
- Felix Ulmer (IRMAR)
- Zafeirakis Zafeirakopoulos (RISC)
- Burkhard Zimmermann (RISC)