Differences between revisions 27 and 77 (spanning 50 versions)
Revision 27 as of 2015-01-22 16:45:39
Size: 3649
Editor: vdelecroix
Comment:
Revision 77 as of 2015-03-26 14:24:20
Size: 8516
Editor: slabbe
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= Sage Days 66 à Liège en Belgique = = Sage Days 66 à Liège en Belgique -- 30/03/2015 - 03/04/2015 =
Line 3: Line 3:
== Quand? (When?) == [[http://sagemath.org|Sage]] est un logiciel pour faire des mathématiques.
Venez apprendre à résoudre des problèmes, explorer des conjectures.
Il y aura deux exposés chaque matin. Les après-midi seront plus libres et réservées à la programmation, les travaux pratiques, les demandes et les discussions.
Line 5: Line 7:
Du lundi 30 mars au vendredi 3 avril 2015. '''Quand? (When?)''' du lundi 30 mars au vendredi 3 avril 2015.
Line 7: Line 9:
== Où? (Where?) ==

Institut de Mathématiquess,
Université of Liège,
Grande Traverse 12 (B37),
B-4000 Liège, Belgique,
'''Où? (Where?)''': <<BR>>
Institut de Mathématiques,<<BR>>
Université of Liège,<<BR>>
Grande Traverse 12 (B37),<<BR>>
B-4000 Liège, Belgique,<<BR>>
Line 15: Line 16:
[[http://www.cant.ulg.ac.be/automatha/use.html|Comment venir (detailed instructions on how to get there)]] == Comment se rendre sur place (Transportation) ==
Line 17: Line 18:
== Quoi? (What?) == Les lignes d'autobus:
Line 19: Line 20:
Two talks per day done in the morning. Free time in the afternoon for coding, learning, testing, asking questions and discussing.  * Bus TEC Ligne 48. Descendre à l'arrêt "Ateliers". L'arrêt qui précède est "Croix de fer".
 * Bus TEC Ligne 58. Descendre à l'arrêt "Science Park".
Line 21: Line 23:
=== Lundi, mardi, mercredi: introduction à Sage (Monday, Tuesday: mostly for beginners and users) === Liens:
Line 23: Line 25:
Monday, Tuesday will be devoted to Sage users with introduction to Sage talks as well as talks on research theme that are of interest to local users. We welcome local students and professor from Liège to attend those talks. Sage developers are welcome.  * [[http://www.math.ulg.ac.be/acces.html|Accès au Département de mathématiques, U. de Liège]]
 * [[http://www2.ulg.ac.be/acces/plans/pdf/sartilman.pdf|Plan du campus (pdf)]]
 * [[http://www.cant.ulg.ac.be/automatha/use.html|Instructions détaillées avec images (detailed instructions on how to get there with pictures)]]
Line 25: Line 29:
=== jeudi, vendredi: développement avancé (Thursday-Friday: mostly for users and advanced users) === == Inscription ==
Line 27: Line 31:
Wednesday and Thursday will be devoted to users and developers and those who want to become with lot of time for development. There is a possibility that Wednesday will be reserved for solving bugs (Bug Day). Possible development projects:

 - decrease Sage doctesting time (some tests are too long)
 - Reduce the number of [[http://trac.sagemath.org/report/75|tickets that needs review]] (272 as of Jan 20th)

== Registration ==

Registration is here with some questions to help us organize the week :

   [[http://goo.gl/forms/W08LErp5mZ|Registration]]
Pour vous inscrire et pour nous aider à organiser au mieux ces journées Sage: [[http://goo.gl/forms/hzxgNxA100|quelques questions]]
Line 40: Line 35:
En préparation... Lundi, mardi: introduction à Sage et quelques exposés de recherches. Les étudiant·e·s et professeur·e·s de Liège sont tou·te·s bienvenu·e·s. Les développeur·e·s Sage également!
Line 42: Line 37:
||<5%> ||<15%> Lundi 30 Mars ||<15%> Mardi 31 Mars ||<15%> Mercredi 1er Avril ||<15%> Jeudi 2 Avril ||<15%> Vendredi 3 Avril ||
|| 9h30 || Introduction à Sage, installation et prise en main || talk (beginners) || talk (advanced) || talk (advanced) ||<|2>coding sprints (pour ceux qui ne sont pas partis)||
|| 11h || talk (beginners) || talk (beginners) || talk (advanced) || talk (advanced) ||
|| 12h || lunch || lunch|| lunch || lunch || lunch ||
|| 13h || work || work|| work || work ||<|2> coding sprints (pour ceux qui ne sont pas partis)||
|| 16h || Computing Contest || Computing Contest || work || work ||
|| 17h || Cloture || Cloture || Cloture || Cloture || Cloture ||
Mercredi et jeudi seront orientés pour le développement et la programmation. Si vous voulez en apprendre plus sur les rouages de Sage, écrire des programmes plus performants, interfacer une librairie en C++ ou développer vos propres projets venez nous voir! Vous pouvez aussi continuer ce que vous aurez commencé lundi/mardi.
Line 50: Line 39:
A ajouter: Vendredi. On sera là, mais on ne sait pas encore pourquoi.
Line 52: Line 41:
 * Jeroen 1: Cython (1h)
 * Jeroen 2: Cython advanced (interrupt) (30min)
 * combinatoire des mots (quoi?)
 * Thierry Monteil: quoi?
 * Vincent Delecroix: quoi?
||<5%> ||<15% #FFFFAA> Lundi 30 Mars ||<15% #FFFFAA> Mardi 31 Mars ||<15% #FFFFAA> Mercredi 1er Avril ||<15% #FFFFAA> Jeudi 2 Avril ||<15% #FFFFCC> Vendredi 3 Avril ||
||Salle ||<:> S.33 ||<:> matin: 0/33 après-midi: S.36 ||<:> 1/64 ||<:> 0/33 ||<:> 0/36 ||
||<#FFEACC> 9h30 ||<#AFEFEF|2> Introduction à Sage, installation et prise en main ||<#AFEFEF:> Cours/TP (débutant·e·s): parents, éléments, coercion, représentations des nombres ||<#AFEFEF:> Cython ||<#AFEFEF:> Cython avancé (interfacer une bibliothèque, gestion des signaux) ||<#D0FFD0|2> travaux pratiques||
||<#FFEACC> 11h ||<#AFEFEF:> Cours/TP (débutant·e·s): MILP ||<#AFEFEF:> Développer dans Sage (git/trac) ||<#AFEFEF:> Coding theory in Sage ||
||<#FFEACC> 12h ||<:> repas ||<:> repas ||<:> repas ||<:> repas ||<:> repas ||
||<#FFEACC> 13h ||<#D0FFD0:> travaux pratiques ||<#D0FFD0:> travaux pratiques ||<#D0FFD0:> travaux pratiques ||<#D0FFD0|2> travaux pratiques ||<#D0FFD0|2> travaux pratiques et status report||
||<#FFEACC> 16h ||<#FFAAAA:> Challenge de Programmation ||<#FEBAFA:> Marie Kreush séminaire compréhensible (S42) ||<#FFAAAA:> Challenge de Programmation ||
||<#FFEACC> 17h ||<:> Cloture ||<:> Cloture ||<:> Cloture ||<:> Cloture ||<:> Cloture ||
Line 58: Line 50:
== Math Computing Contest == Sujets pour les travaux pratiques
Line 60: Line 52:
There will be "Math Computing Contest" organized at the end of two days. There will be math quiz involving computations. There will be prices for the fastest and nicest solutions and also for participation. People may use whatever software they want. The show will be inspired from Star Academy and vote will be done by the audience. The goal will be to have fun and learn from each other.  * débuter
 * programmation avancée
 * Cython
 * combinatoire des mots
 * algèbre linéaire
 * théorie des nombres
 * théorie des graphes et programmation linéaire entière
Line 62: Line 60:
== Orateurs confirés == Orateurs (il est possible que certaines interventions soient en anglais):

 * Thierry Monteil/Vincent Delecroix/Sébastien Labbé/Štěpán Starosta
    * introduction : pourquoi un logiciel libre de mathématiques ?
    * prise en main (démarrer Sage, concepts de base, obtenir de l'aide, survivre)
    * parent, element, coercion : comment manipuler plusieurs représentations d'un même objet mathématique ? Les différentes représentations des nombres réels et complexes.
    * combinatoire des mots
 *
 * Jeroen Demeyer 1: [[http://cython.org/|Cython]]
 * Nathann Cohen: Le développement dans Sage ([[http://git-scm.com/|git]] and [[http://trac.edgewall.org/|trac]], mercredi)
 * Jeroen Demeyer 2: Advanced Cython (integration of C/C++ libraries, interruptions)
 * David Lucas: [[https://bitbucket.org/lucasdavid/sage_coding_project|sage coding theory project]] (mercredi ou jeudi)

== Références, pdf des transparents, liens vers les tutoriels ==

Dans cette section, nous mettrons les liens vers les pdfs des présentations et les tutoriels.

Lundi:

 - ...

Mardi:

Mercredi:

Jeudi:

Vendredi:

== Challenge de programmation ==

Les lundi et mardi après-midi nous organisons des challenge de programmations. Cela consiste en une série de questions pour lesquels il sera nécessaire de faire un peu de programmation. Il y aura des prix pour les plus rapides, les meilleures et les moins bonnes solutions (vote du public). Ainsi que pour tou·te·s les participant·e·s. Les règles sont simples: vous pouvez utiliser tout ce que vous voulez (pas forcément Sage). L'objectif étant de s'amuser et d'apprendre des autres.

== Développements possibles (possible development projects) ==

 * more word combinatorics and languages
 * one bug afternoon (correct bug, new features forbidden)
 * less stupid datastructure for generic sparse matrices (currently dictionnary (i,j) -> value)
 * code migration facilities with big M's (need Mathematica experts with various versions of the software)
 * [[http://trac.sagemath.org/ticket/21|ticket #21 (about sage command)]]
 * [[Days66Doctesting|decrease Sage doctesting time]] (some tests are too long)
 * one review afternoon (the [[http://trac.sagemath.org/report/75|tickets that needs review]] oscillates between 250 and 300 and [[http://trac.sagemath.org/report/92|the open tickets]] are over 3000)
 * by nicer with numpy (e.g. implement comparisons of integers and floating points)

== Orateur(ice?)s confirmés ==
Line 67: Line 109:
 * [[http://www.steinertriples.fr/ncohen/|Nathann Cohen]] (LRI, Paris 11)
 * [[https://users.fit.cvut.cz/~staroste/|Štěpán Starosta]] (Pragues)
Line 68: Line 112:
== Participants == == Participant·e·s ==
Line 70: Line 114:
Ajouter votre nom si vous venez: Ajouter votre nom si vous venez. Si vous n'avez pas de compte sur ce wiki, remplissez le formulaire d'enregistrement.
Line 72: Line 116:
 * Štěpán Starosta (Pragues)
 1. [[http://math.uni.lu/~leroy/|Julien Leroy]] (U. Luxembourg)
 * Mehdi Ayadi
 * [[https://www.i2m.univ-amu.fr/~emme.j/doku.php?id=start|Jordan Emme]] (Marseille)
 * [[http://math.univ-lyon1.fr/homes-www/kreusch/|Marie Kreusch]] (U. Liège)
 * [[http://www.math.ulg.ac.be/kleyntssens/|Thomas Kleyntssens]] (U. Liège)
 * Brandon Dravie (U. Lorraine)
 * [[http://jsrn.dk/|Johan Nielsen]] (Paris Saclay)
 * David Lucas
 * Michel Rigo (U. Liège)
 * Jacob Kroeker (U. Hannovre)
 * Manon Stipulanti (U. Liège)
 * [[http://lig-membres.imag.fr/pernet/|Clément Pernet]] (Lyon)
 * Rukiye Cavus (U. Liège)
 * [[http://lipn.univ-paris13.fr/~bui/|VanChien BUI]] (LIPN, U. Paris 13)
 * [[http://www.lix.polytechnique.fr/~augot|Daniel Augot]] (INRIA, LIX)
 * Michelangelo Bucci (U. Liège)
 * Émilie Charlier (U. Liège)
Line 74: Line 135:
 * Émilie Charlier (U. Liège)
 * Michel Rigo (U. Liège)
 * Eric Rowland (U. Liège)
 * Elise Vandomme (U. Liège)
 * Michelangelo Bucci (U. Liège)
 * [[http://thales.math.uqam.ca/~rowland/|Eric Rowland]] (U. Liège)
 * [[https://users.fit.cvut.cz/~staroste/|Štěpán Starosta]] (Pragues)
 * [[http://www.discmath.ulg.ac.be/vandomme/|Elise Vandomme]] (U. Liège)
 * Julien Raskin (U. Liège)
 * [[http://www.labri.fr/perso/vdelecro/|Vincent Delecroix]] (Labri, Bordeaux)
Line 80: Line 141:
 * Vincent Delecroix (Labri, Bordeaux)
 * Sébastien Labbé (U. Liège)
 * [[http://cage.ugent.be/~jdemeyer/|Jeroen Demeyer]] (Université de Gent)
 * [[http://www.steinertriples.fr/ncohen/|Nathann Cohen]] (LRI, Paris 11)
 * [[http://www.liafa.univ-paris-diderot.fr/~labbe/|Sébastien Labbé]] (U. Liège)
 * [[http://www.danielkrenn.at|Daniel Krenn]] (TU Graz)
Line 83: Line 146:
== Organisateurs == == Organisateur ==
Line 85: Line 148:
 * Sébastien Labbé (U. Liège)  * [[http://www.liafa.univ-paris-diderot.fr/~labbe/|Sébastien Labbé]] (U. Liège)

== Logements ==

Si vous n'habitez pas sur Liège et que vous cherchez un logement, nous vous conseillons [[http://www.lesaubergesdejeunesse.be/Liege-Presentation?lang=fr|L'auberge de jeuness Simenon]].

Sage Days 66 à Liège en Belgique -- 30/03/2015 - 03/04/2015

Sage est un logiciel pour faire des mathématiques. Venez apprendre à résoudre des problèmes, explorer des conjectures. Il y aura deux exposés chaque matin. Les après-midi seront plus libres et réservées à la programmation, les travaux pratiques, les demandes et les discussions.

Quand? (When?) du lundi 30 mars au vendredi 3 avril 2015.

Où? (Where?):
Institut de Mathématiques,
Université of Liège,
Grande Traverse 12 (B37),
B-4000 Liège, Belgique,
Latitude 50°586298, Longitude 5°558474

Comment se rendre sur place (Transportation)

Les lignes d'autobus:

  • Bus TEC Ligne 48. Descendre à l'arrêt "Ateliers". L'arrêt qui précède est "Croix de fer".
  • Bus TEC Ligne 58. Descendre à l'arrêt "Science Park".

Liens:

Inscription

Pour vous inscrire et pour nous aider à organiser au mieux ces journées Sage: quelques questions

Emploi du temps

Lundi, mardi: introduction à Sage et quelques exposés de recherches. Les étudiant·e·s et professeur·e·s de Liège sont tou·te·s bienvenu·e·s. Les développeur·e·s Sage également!

Mercredi et jeudi seront orientés pour le développement et la programmation. Si vous voulez en apprendre plus sur les rouages de Sage, écrire des programmes plus performants, interfacer une librairie en C++ ou développer vos propres projets venez nous voir! Vous pouvez aussi continuer ce que vous aurez commencé lundi/mardi.

Vendredi. On sera là, mais on ne sait pas encore pourquoi.

Lundi 30 Mars

Mardi 31 Mars

Mercredi 1er Avril

Jeudi 2 Avril

Vendredi 3 Avril

Salle

S.33

matin: 0/33 après-midi: S.36

1/64

0/33

0/36

9h30

Introduction à Sage, installation et prise en main

Cours/TP (débutant·e·s): parents, éléments, coercion, représentations des nombres

Cython

Cython avancé (interfacer une bibliothèque, gestion des signaux)

travaux pratiques

11h

Cours/TP (débutant·e·s): MILP

Développer dans Sage (git/trac)

Coding theory in Sage

12h

repas

repas

repas

repas

repas

13h

travaux pratiques

travaux pratiques

travaux pratiques

travaux pratiques

travaux pratiques et status report

16h

Challenge de Programmation

Marie Kreush séminaire compréhensible (S42)

Challenge de Programmation

17h

Cloture

Cloture

Cloture

Cloture

Cloture

Sujets pour les travaux pratiques

  • débuter
  • programmation avancée
  • Cython
  • combinatoire des mots
  • algèbre linéaire
  • théorie des nombres
  • théorie des graphes et programmation linéaire entière

Orateurs (il est possible que certaines interventions soient en anglais):

  • Thierry Monteil/Vincent Delecroix/Sébastien Labbé/Štěpán Starosta
    • introduction : pourquoi un logiciel libre de mathématiques ?
    • prise en main (démarrer Sage, concepts de base, obtenir de l'aide, survivre)
    • parent, element, coercion : comment manipuler plusieurs représentations d'un même objet mathématique ? Les différentes représentations des nombres réels et complexes.
    • combinatoire des mots
  • Jeroen Demeyer 1: Cython

  • Nathann Cohen: Le développement dans Sage (git and trac, mercredi)

  • Jeroen Demeyer 2: Advanced Cython (integration of C/C++ libraries, interruptions)
  • David Lucas: sage coding theory project (mercredi ou jeudi)

Références, pdf des transparents, liens vers les tutoriels

Dans cette section, nous mettrons les liens vers les pdfs des présentations et les tutoriels.

Lundi:

  • - ...

Mardi:

Mercredi:

Jeudi:

Vendredi:

Challenge de programmation

Les lundi et mardi après-midi nous organisons des challenge de programmations. Cela consiste en une série de questions pour lesquels il sera nécessaire de faire un peu de programmation. Il y aura des prix pour les plus rapides, les meilleures et les moins bonnes solutions (vote du public). Ainsi que pour tou·te·s les participant·e·s. Les règles sont simples: vous pouvez utiliser tout ce que vous voulez (pas forcément Sage). L'objectif étant de s'amuser et d'apprendre des autres.

Développements possibles (possible development projects)

  • more word combinatorics and languages
  • one bug afternoon (correct bug, new features forbidden)
  • less stupid datastructure for generic sparse matrices (currently dictionnary (i,j) -> value)

  • code migration facilities with big M's (need Mathematica experts with various versions of the software)
  • ticket #21 (about sage command)

  • decrease Sage doctesting time (some tests are too long)

  • one review afternoon (the tickets that needs review oscillates between 250 and 300 and the open tickets are over 3000)

  • by nicer with numpy (e.g. implement comparisons of integers and floating points)

Orateur(ice?)s confirmés

Participant·e·s

Ajouter votre nom si vous venez. Si vous n'avez pas de compte sur ce wiki, remplissez le formulaire d'enregistrement.

  1. Julien Leroy (U. Luxembourg)

  2. Mehdi Ayadi
  3. Jordan Emme (Marseille)

  4. Marie Kreusch (U. Liège)

  5. Thomas Kleyntssens (U. Liège)

  6. Brandon Dravie (U. Lorraine)
  7. Johan Nielsen (Paris Saclay)

  8. David Lucas
  9. Michel Rigo (U. Liège)
  10. Jacob Kroeker (U. Hannovre)
  11. Manon Stipulanti (U. Liège)
  12. Clément Pernet (Lyon)

  13. Rukiye Cavus (U. Liège)
  14. VanChien BUI (LIPN, U. Paris 13)

  15. Daniel Augot (INRIA, LIX)

  16. Michelangelo Bucci (U. Liège)
  17. Émilie Charlier (U. Liège)
  18. Tomáš Kalvoda (Pragues)
  19. Eric Rowland (U. Liège)

  20. Štěpán Starosta (Pragues)

  21. Elise Vandomme (U. Liège)

  22. Julien Raskin (U. Liège)
  23. Vincent Delecroix (Labri, Bordeaux)

  24. Thierry Monteil (LIPN, Paris 13)
  25. Jeroen Demeyer (Université de Gent)

  26. Nathann Cohen (LRI, Paris 11)

  27. Sébastien Labbé (U. Liège)

  28. Daniel Krenn (TU Graz)

Organisateur

Logements

Si vous n'habitez pas sur Liège et que vous cherchez un logement, nous vous conseillons L'auberge de jeuness Simenon.

days66 (last edited 2015-04-13 08:51:42 by cpernet)