Differences between revisions 84 and 145 (spanning 61 versions)

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.

Contents

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

Pratique

Dates

Du lundi 30 mars au vendredi 3 avril 2015.

Inscription

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

Dimanche 29 mars 19h : soirée d'accueil

Une soirée d'accueil aura lieu le dimanche soir le 29 mars à 19h à la Brasserie Sauvenière à l'adresse: 12, place Xavier Neujean 4000 Liège. Venez rencontrer les autres participant·e·s autour d'une bonne bière belge ! Vous pouvez amener votre portable si Sage n'y est pas deja installé.

Comment se rendre au Bâtiment B37? (Transportation)

La conférence a lieu à l'Institut de Mathématiques à 10km de Liège:

Institut de Mathématiques, Salle 1/55
Université of Liège,
Grande Traverse 12 (Bâtiment B37),
B-4000 Liège, Belgique,
Latitude 50°586298, Longitude 5°558474

Il faut compter 30 minutes de trajet d'autobus + jusqu'à 10 minutes pour attendre l'autobus. On peut acheter un billet au chauffeur dans l'autobus (1.90 euros). Vous pouvez acheter une carte de 8 passages pour 8.80 euros à certains guichets aux arrêts de bus principaux.

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:

Programme

Fonctionnement de la semaine

Durant toute la semaine, vous pouvez à tout moment avancer sur les thèmes qui vous intéressent, et demander de l'aide lorsque nécessaire. En particulier, les travaux pratiques sont distribués, de sorte que chacun·e puisse avancer à son rythme sur les sujets de son choix et de son niveau. Si vous ne comptez pas suivre un exposé particulier (il est fortement recommandé de ne pas tout suivre), installez-vous plutôt au fond de la salle.

Emploi du temps (très provisoire)

Cours/Tutoriel

Travaux Pratiques

Présentation

Discussion

Challenge de Programmation

	Lundi 30 Mars	Mardi 31 Mars		Mercredi 1er Avril	Jeudi 2 Avril		Vendredi 3 Avril
Salle	1/55	1/55		1/55	1/55		1/55
9h	Install café
9h30	Introduction à Sage, installation et prise en main	Cours/TP: parents, éléments, coercion		Cython	Cython avancé		Travaux Pratiques
10h00					Mathematica demo		Catch and prevent bugs in computer algebra systems
10h30		Café		Café	Café		Café
11h		Cours/TP: MILP		Travaux Pratiques	Coding theory in Sage		Travaux Pratiques	Substitutive languages
11h30
12h	Repas	Repas		Repas	Repas		Repas
13h30	Travaux Pratiques	Travaux Pratiques	Développer dans Sage (git/trac)	Automata in Sage	Linbox		Travaux Pratiques et status report
14h30	Travaux Pratiques	Travaux Pratiques		Travaux Pratiques	R
16h	Challenge de Programmation	Marie Kreush séminaire compréhensible (S42)		Challenge de Programmation	Travaux Pratiques	Asymptotic expressions
17h	Clôture	Clôture		Clôture	Clôture		Clôture

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 AM:

9h30: Mot de bienvenu et tour de table
10h: Introduction à Sage (Thierry Monteil, intro.pdf, intro.rst)
- introduction : pourquoi un logiciel libre de mathématiques ?
- prise en main (démarrer Sage, concepts de base, obtenir de l'aide, survivre)

Lundi PM:

13h30 Tutoriels thématiques (cliquer sur "Help" dans le notebook de Sage)
16h: Challenges de Programmation

Mardi:

9h30: Parent/Eléments/Coercion (Vincent Delecroix, parent_element.rst)
- 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.
11h: Mixed Integer Linear Programming (MILP) (Nathann Cohen)
- exos http://lipn.univ-paris13.fr/~monteil/hebergement/sage/sd66/lp/
- couleurs matplotlib
13h30: Nathann Cohen: Le développement dans Sage (git and trac, git and trac.pdf)

Mercredi:

Jeroen Demeyer 1: Cython
- worksheet: Cython part 1.sws
Daniel Krenn: Automata and Transducers
- (worksheet: ipynb, pdf, rst, sws)

Jeudi:

Jeroen Demeyer 2: Advanced Cython (integration of C/C++ libraries, interruptions)
- worksheet: Cython part 2.sws
David Lucas: sage coding theory project (mercredi ou jeudi)
- (worksheet: Encoders_Decoders.sws, Linear_codes.sws, Reed-Solomon.sws, Channels.sws. Slides: coding_theory_in_sage.pdf)
Eric Rowland : présentation de Mathamatica
Clément Pernet : présentation de Linbox SD66_pernet.pdf
Michelangel Bucci : visualisation en R

Vendredi:

Jakob Kröker : Catch and prevent bugs in computer algebra systems.pdf

À placer:

Štěpán Starosta (combinatoire des mots)

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.

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
représentations des nombres

Développements possibles (possible development projects)

Accès aux tickets de la semaine: tickets sd66.

Voici quelques développements possibles:

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): #18076

Orateur(ice?)s confirmés

Thierry Monteil (LIPN, Paris 13)
Vincent Delecroix (Labri, Bordeaux)
Jeroen Demeyer (Université de Gent)
Nathann Cohen (LRI, Paris 11)
Štěpán Starosta (Pragues)
Daniel Krenn (Graz)

Participant·e·s

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

Julien Leroy (U. Luxembourg)
Mehdi Ayadi
Jordan Emme (Marseille)
Marie Kreusch (U. Liège)
Thomas Kleyntssens (U. Liège)
Brandon Dravie (U. Lorraine)
Johan Nielsen (Paris Saclay)
David Lucas
Michel Rigo (U. Liège)
Jacob Kroeker (U. Hannovre)
Manon Stipulanti (U. Liège)
Clément Pernet (Lyon)
Rukiye Cavus (U. Liège)
VanChien BUI (LIPN, U. Paris 13)
Daniel Augot (INRIA, LIX)
Émilie Charlier (U. Liège)
Elise Vandomme (U. Liège)
Štěpán Starosta (Pragues)
Tomáš Kalvoda (Pragues)
Julien Raskin (U. Liège)
Eric Rowland (U. Liège)
Michelangelo Bucci (U. Liège)
Vincent Delecroix (Labri, Bordeaux)
Thierry Monteil (LIPN, Paris 13)
Jeroen Demeyer (Université de Gent)
Nathann Cohen (LRI, Paris 11)
Sébastien Labbé (U. Liège)
Daniel Krenn (TU Graz)

Organisateur

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

Logements

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

-  ⇤ ← Revision 84 as of 2015-03-27 11:38:57 → 
  Size: 9428
  Editor: slabbe
  Comment: ajout soirée dimanche 29 mars
+   ← Revision 145 as of 2015-04-13 08:51:42 → ⇥
  Size: 11850
  Editor: cpernet
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 7:
-'''Quand? (When?)''' du lundi 30 mars au vendredi 3 avril 2015.

== Comment se rendre au Bâtiment B37? (Transportation) ==
+<<TableOfContents>>

== Pratique ==

=== Dates ===

Du lundi 30 mars au vendredi 3 avril 2015.

=== Inscription ===

Pour vous inscrire et pour nous aider à organiser au mieux ces journées Sage: [[http://goo.gl/forms/hzxgNxA100|quelques questions]]

=== Dimanche 29 mars 19h : soirée d'accueil ===

Une soirée d'accueil aura lieu le dimanche soir le 29 mars à 19h à la [[http://www.grignoux.be/sauveniere_index|Brasserie Sauvenière]] à l'adresse: [[http://www.grignoux.be/en-pratique-nous-trouver/#brasserie|12, place Xavier Neujean 4000 Liège]]. Venez rencontrer les autres participant·e·s autour d'une bonne bière belge ! Vous pouvez amener votre portable si Sage n'y est pas deja installé.

=== Comment se rendre au Bâtiment B37? (Transportation) ===
-Line 32:
+Line 47:
-== Inscription ==

Pour vous inscrire et pour nous aider à organiser au mieux ces journées Sage: [[http://goo.gl/forms/hzxgNxA100|quelques questions]]

== Dimanche 29 mars 19h : soirée d'accueil ==

Une soirée d'accueil aura lieu le dimanche soir le 29 mars à 19h à la [[http://www.grignoux.be/sauveniere_index|Brasserie Sauvenière]]. Venez rencontrer les autres participants et commencer l'installation du logiciel de votre ordinateur:

[[12, place Xavier Neujean 4000 Liège|http://www.grignoux.be/en-pratique-nous-trouver/#brasserie]]

== 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.

||<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 ||<:> 1/55  ||<:> 1/55 ||<:> 1/55 ||<:> 1/55 ||<:> 1/55 ||
||<#FFEACC> 9h ||<:> Café  ||<:> Café ||<:> Café ||<:> Café ||<:> Café ||
||<#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     ||

Sujets pour les travaux pratiques
+== Programme ==

=== Fonctionnement de la semaine ===

Durant toute la semaine, vous pouvez à tout moment avancer sur les thèmes qui vous intéressent, et demander de l'aide lorsque nécessaire. En particulier, les travaux pratiques sont distribués, de sorte que chacun·e puisse avancer à son rythme sur les sujets de son choix et de son niveau. Si vous ne comptez pas suivre un exposé particulier (il est fortement recommandé de ne pas tout suivre), installez-vous plutôt au fond de la salle.


=== Emploi du temps (très provisoire) ===

||<#AFEFEF:> Cours/Tutoriel ||<#D0FFD0:> Travaux Pratiques ||<#FFE0E0>Présentation ||<#FFED80> Discussion ||<#AAEEAA:> Challenge de Programmation ||

||<5%>   ||<15% #FFFFAA:> Lundi 30 Mars ||||<15%  #FFFFAA:> Mardi 31 Mars ||<15%  #FFFFAA:> Mercredi 1er Avril ||||<15%  #FFFFAA:> Jeudi 2 Avril ||||<15%  #FFFFAA:> Vendredi 3 Avril ||
||Salle ||<:> 1/55  ||||<:> 1/55 ||<:> 1/55 ||||<:> 1/55 ||||<:> 1/55 ||
||<#FFFFAA> 9h ||<:> Install café  ||||||||||||||||
||<#FFFFAA> 9h30  ||<#AFEFEF|5> Introduction à Sage, installation et prise en main ||||<#AFEFEF|2> Cours/TP: parents, éléments, coercion ||<#AFEFEF:|2> Cython ||||<#AFEFEF:> Cython avancé ||||<#D0FFD0:> Travaux Pratiques ||
||<#FFFFAA> 10h00 ||||<#FFE0E0> Mathematica demo ||||<#FFE0E0:> Catch and prevent bugs in computer algebra systems ||
||<#FFFFAA> 10h30 ||||<:> Café ||<:> Café ||||<:> Café ||||<:>Café||
||<#FFFFAA> 11h                                                                     ||||<#AFEFEF|2> Cours/TP: MILP   ||<#D0FFD0:|2> Travaux Pratiques ||||<#FFE0E0:|2> Coding theory in Sage ||<#D0FFD0|2> Travaux Pratiques ||<#FFED80:> Substitutive languages ||
||<#FFFFAA> 11h30 || ||
||<#FFFFAA> 12h   ||<:> Repas              ||||<:> Repas              ||<:> Repas             ||||<:> Repas ||||<:> Repas ||
||<#FFFFAA> 13h30 ||<#D0FFD0:> Travaux Pratiques ||<#D0FFD0:> Travaux Pratiques||<#AFEFEF:> Développer dans Sage (git/trac)||<#FFE0E0:> Automata in Sage ||||<#FFE0E0:> Linbox ||||<#D0FFD0|3> Travaux Pratiques et status report ||
||<#FFFFAA> 14h30 ||<#D0FFD0:> Travaux Pratiques ||||<#D0FFD0:> Travaux Pratiques ||<#D0FFD0:> Travaux Pratiques ||||<#FFE0E0:> R ||
||<#FFFFAA> 16h   ||<#AAEEAA:> Challenge de Programmation  ||||<#FFE0E0:> Marie Kreush séminaire compréhensible (S42) ||<#AAEEAA:> Challenge de Programmation  ||<#D0FFD0:>Travaux Pratiques||<#FFED80:> Asymptotic expressions ||
||<#FFFFAA> 17h   ||<:> Clôture ||||<:> Clôture ||<:> Clôture ||||<:> Clôture ||||<:> Clôture  ||




=== 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 AM:

 * 9h30: Mot de bienvenu et tour de table
 * 10h: Introduction à Sage (Thierry Monteil, [[attachment:intro.pdf]], [[attachment:intro.rst]])
   * introduction : pourquoi un logiciel libre de mathématiques ?
   * prise en main (démarrer Sage, concepts de base, obtenir de l'aide, survivre)

Lundi PM:

 * 13h30 Tutoriels thématiques (cliquer sur "Help" dans le notebook de Sage)
 * 16h: Challenges de Programmation

Mardi:

 * 9h30: Parent/Eléments/Coercion (Vincent Delecroix, [[attachment:parent_element.rst]])
    * 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.
 * 11h: Mixed Integer Linear Programming (MILP) (Nathann Cohen)
  * exos http://lipn.univ-paris13.fr/~monteil/hebergement/sage/sd66/lp/
  * [[http://matplotlib.org/examples/color/named_colors.html|couleurs matplotlib]]
 * 13h30: Nathann Cohen: Le développement dans Sage ([[http://git-scm.com/|git]] and [[http://trac.edgewall.org/|trac]], [[attachment:git and trac.pdf]])

Mercredi:

 * Jeroen Demeyer 1: [[http://cython.org/|Cython]]
       worksheet: [[attachment:Cython part 1.sws]]
 * Daniel Krenn: [[http://www.sagemath.org/doc/reference/combinat/sage/combinat/finite_state_machine.html|Automata and Transducers]]
   (worksheet: [[attachment:Automata and Transducers in SageMath.ipynb|ipynb]], [[attachment:Automata and Transducers in SageMath.pdf|pdf]], [[attachment:Automata and Transducers in SageMath.rst|rst]], [[attachment:Automata and Transducers in SageMath.sws|sws]])

Jeudi:

 * Jeroen Demeyer 2: Advanced Cython (integration of C/C++ libraries, interruptions)
       worksheet: [[attachment:Cython part 2.sws]]
 * David Lucas: [[https://bitbucket.org/lucasdavid/sage_coding_project|sage coding theory project]] (mercredi ou jeudi)
      (worksheet: [[attachment:Encoders_Decoders.sws]], [[attachment:Linear_codes.sws]], [[attachment:Reed-Solomon.sws]], [[attachment:Channels.sws]]. Slides: [[attachment:coding_theory_in_sage.pdf]])
 * Eric Rowland : présentation de Mathamatica
 * Clément Pernet : présentation de Linbox [[attachment:SD66_pernet.pdf]]
 * Michelangel Bucci : visualisation en R


Vendredi:

 * Jakob Kröker :  [[attachment:Catch and prevent bugs in computer algebra systems.pdf]]



À placer:

 * Štěpán Starosta (combinatoire des mots)



=== 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.

=== Sujets pour les travaux pratiques ===
-Line 69:
+Line 143:
-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) ==
+ * représentations des nombres

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

Accès aux tickets de la semaine: [[http://trac.sagemath.org/query?keywords=~sd66|tickets sd66]].

Voici quelques développements possibles:
-Line 112:
+Line 158:
- * by nicer with numpy (e.g. implement comparisons of integers and floating points)
+ * by nicer with numpy (e.g. implement comparisons of integers and floating points): [[http://trac.sagemath.org/ticket/18076|#18076]]
-Line 121:
+Line 167:
+ * [[http://danielkrenn.at/|Daniel Krenn]] (Graz)
-Line 130:
+Line 177:
- * [[http://math.univ-lyon1.fr/homes-www/kreusch/|Marie Kreusch]] (U. Liège)
+ * [[http://mkreusch.wordpress.com|Marie Kreusch]] (U. Liège)
-Line 136:
+Line 183:
- * Jacob Kroeker (U. Hannovre)
+ * [[http://scholar.google.com/citations?user=i9dWhqMAAAAJ&hl=de |Jacob Kroeker]] (U. Hannovre)
-Line 142:
+Line 189:
+ * Émilie Charlier (U. Liège)
 * [[http://www.discmath.ulg.ac.be/vandomme/|Elise Vandomme]] (U. Liège)
 * [[https://users.fit.cvut.cz/~staroste/|Štěpán Starosta]] (Pragues)
 * Tomáš Kalvoda (Pragues)
 * Julien Raskin (U. Liège)
 * [[http://thales.math.uqam.ca/~rowland/|Eric Rowland]] (U. Liège)
-Line 143:
+Line 196:
- * Émilie Charlier (U. Liège)
 * Tomáš Kalvoda (Pragues)
 * [[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)

Diff for "days66"