6305
Comment:
|
6534
|
Deletions are marked like this. | Additions are marked like this. |
Line 35: | Line 35: |
* Peleg Michaeli - "Symbolic random variables" | * Peleg Michaeli - "Symbolic discrete random variables" |
Line 61: | Line 61: |
* 15:00-16:00 Contributed talks (combinatorics and algebra - Travis) | * 15:00-16:00 Contributed talks |
Line 67: | Line 67: |
* 09:00 - 11:00 Category/Parents/Coercion | * 09:00 - 11:00 Category (Travis Scrimshaw [[https://drive.google.com/open?id=1TDd6Ph2RG2WBOA09z8hR0x-v62TOWsJb|ipynb]]) |
Line 73: | Line 73: |
* 16:30 - 17:00 Contributed talk: Symbolic discrete random variables | * 16:30 - 17:00 Contributed talk: Symbolic discrete random variables (Peleg) |
Line 186: | Line 186: |
== Excursion == There will be a visit to [[https://zaragoza.es/ciudad/turismo/en/que-visitar/detalle_Monumento?id=7|Palacio de la Aljaferia]] on Sunday morning. |
Sage days 94 -- Sage development days
The Sage days 94 will take place in Zaragoza (Spain), from June 28th to July 4th, 2018, as a satellite activity of the meeting of the Spanish computer algebra network.
It will be a series of short courses on subjects related to Sage development. It is mostly oriented to young researchers that want to make the step from writing some code for their own use, to contributing that code to the Sage codebase.
Collaborative pad
Use this pad.
Subjects to cover (provisional)
- The Sage development workflow (Trac, Git, doctests...)
- The coercion model
- Implementation of parents and elements
- The category framework
- Cython
- Using external C/C++ libraries
- Communication with external packages using pexpect
Besides mini-courses on those subjects, there might be some space for short talks contributed by the participants (they can be quite informal). Please contact the organizers if you are interested in giving such a talk.
For the moment, the proposed talks include
- Rebecca Miller - "Applying and Participating in Google Summer of Code"
- Pablo Angulo - "Pytorch, a machine learning framework, and Pyro, a universal probabilistic programming language on top of Pytorch" (subtitle: do they fit in Sage?).
- Vit Tucek: - " how Sage is helping me with my research"
- Sebastian Oehms - "Cubic braid groups"
- Peleg Michaeli - "Symbolic discrete random variables"
- Thierry Monteil - "the various representations of real and complex numbers"
This Sage Days will be a satellite activity of the XVI EACA encounter.
Speakers (provisional)
- Samuel Lelièvre
- Travis Scrimshaw
- Jeroen Demeyer
- Thierry Monteil
Program (tentative)
Thursday 28th:
- 10:00-11:00 Registration
- 11:00-12:00 The Sage development workflow (Samuel)
- 12:00-13:00 Basics of git (init/add/commit/status/ - Samuel and Thierry)
- 13:30-15:00 Lunch break
- 15:00-16h30 Basics of git (clone/remote/push/pull/branch/checkout - Samuel and Thierry)
- 16h30-17:30 Trac bureaucracy (account/ssh-keygen/git-trac/develop - Samuel and Thierry)
- 15:00-16:00 Contributed talks
- 16:00-16:30 Coffee break
- 16:30-18:30 Coding sprints
Friday 29th:
09:00 - 11:00 Category (Travis Scrimshaw ipynb)
- 11:00 - 11:30 Coffee break
- 11:30 - 13:00 Category/Parents/Coercion
- 13:00 - 15:00 Lunch break
- 15:00 - 16:00 The Sage development workflow (practice)
- 16:00 - 16:30 Coffee break
- 16:30 - 17:00 Contributed talk: Symbolic discrete random variables (Peleg)
- 17:00 - 19:00 Coding sprints
Saturday 30th:
- 10:00 - 11:30 The category framework in Sage (practice)
- 11:30 - 12:00 Coffee break
- 12:00 - 13:30 The coercion model (practice)
Sunday 1st:
- Excursion
Monday 2nd:
- 09:00 - 11:00 Category/Parents/Coercion
- 11:00 - 11:30 Coffee break
- 11:30 - 13:00 Cython
- 13:00 - 15:00 Lunch break
- 15:00 - 16:00 Parents and elements (practice)
- 16:00 - 16:30 Coffee break
- 16:30 - 17:00 Contributed talks
- 17:00 - 19:00 coding sprints
Tuesday 3th:
- 09:00 - 11:00 Third-party components
- 11:00 - 11:30 Coffee break
- 11:30 - 13:00 Third party components (practice)
- 13:00 - 15:00 Lunch break
- 15:00 - 16:00 Contributed talks
- 16:00 - 16:30 Coffee break
- 16:30 - 18:30 Coding sprints
Wednsday 4th:
- 09:00 - 10:00 Final report and wrapup
- 10:30 - EACA talks
Organizers
- Miguel Marco
- Enrique Artal
- Adrien Boussicault
Participants
- Antonio Rojas
- Bianca Thompson
- Elisa Palezzato
- Francisco Castro
- Friedrich Wiemer
- Mckenzie West
- Pablo Angulo
- Peleg Michaeli
- Rebecca Miller
- Samuel Lelièvre
- Sebastian Oehms
- Tomer Bauer
- Vít Tuček
- Luis Felipe Tabera
- Akshar Nair
- Simón Isaza
developments
Add here the things you plan to work on during the week:
(Thierry) Fix oeis internet doctest issues #25471
Try to progress in the inclusion of train-tracks in Sage #20154
Polynomial division #17638
- Sage packaging.
- Crypto module.
- Linear algebra
CoCoa integration?
- #8558
You can tag the corresponding tickets with days94 keyword to that it is easy to list them.
Instructions for participants
Since this workshop is focusing in Sage development, it would be better if the participants come with their own laptop, including a Sage install that is well suited for development (don't worry if you can't manage to do so, we can dedicate the first activities of the workshop to help you with that, but it would save time if you do that in advance). Also, please ask in advance for an account in the trac server.
Lodging
We have reserved several appartments in Apartamentos Los Sitios. They are located in the city centre. The reception is open until 22:30.
Location
Talks will take place in the main campus of the Universidad de Zaragoza, in the mathematics building. It is about 25 minutes by walk from the appartments (maybe 15 minutes by public transportation).
You can see the train station, the appartments and the event location in this map
Financial support
The school will be partially funded by the OpenDreamKit project. The LaBRI (University of Bordeaux) and the CNRS co-organize the project via the OpenDreamKit Project. We expect to be able to cover the travel and lodging expenses of the participants and speakers.
Contact
If you are interested in participating, or have any questions, please send an email to mmarco <at> unizar <dot> es
Excursion
There will be a visit to Palacio de la Aljaferia on Sunday morning.