|
Size: 6078
Comment:
|
Size: 9600
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 9: | Line 9: |
| '''Où? (Where?)''': [[http://www.cant.ulg.ac.be/automatha/use.html|instructions détaillées (detailed instructions on how to get there)]]<<BR>> Institut de Mathématiques,<<BR>> Université of Liège,<<BR>> Grande Traverse 12 (B37),<<BR>> B-4000 Liège, Belgique,<<BR>> Latitude 50°586298, Longitude 5°558474 |
|
| Line 20: | Line 13: |
| == Emploi du temps == | == Dimanche 29 mars 19h : soirée d'accueil == |
| Line 22: | Line 15: |
| En préparation... | 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é. |
| Line 24: | Line 17: |
| Lundi, mardi: introduction à Sage et quelques exposés de recherches. Les étudiants et professeurs de Liège sont tous bienvenus. Les développeurs Sage également! | == Comment se rendre au Bâtiment B37? (Transportation) == |
| Line 26: | Line 19: |
| 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! | La conférence a lieu à l'Institut de Mathématiques à 10km de Liège: |
| Line 28: | Line 21: |
| Vendredi. On sera là, mais on ne sait pas encore pourquoi. | Institut de Mathématiques, Salle 1/55<<BR>> Université of Liège,<<BR>> Grande Traverse 12 (Bâtiment B37),<<BR>> B-4000 Liège, Belgique,<<BR>> Latitude 50°586298, Longitude 5°558474 |
| Line 30: | Line 27: |
| ||<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 a determiner (debutants) ||<#AFEFEF:> Cython ||<#AFEFEF:> Cython avancé (interfacer une bibliothèque, gestion des signaux) ||<#E8FFE8|2> travaux pratiques (pour ceux qui ne sont pas partis)|| ||<#FFEACC> 11h ||<#AFEFEF:> Cours a determiner (debutants) ||<#AFEFEF:> Dévlopper 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|2> travaux pratiques ||<#D0FFD0|2> travaux pratiques ||<#E8FFE8|2> travaux pratiques (pour ceux qui ne sont pas partis)|| ||<#FFEACC> 16h ||<#FFAAAA:> Challenge de Programmation ||<#FFAAAA:> Challenge de Programmation || ||<#FFEACC> 17h ||<:> Cloture ||<:> Cloture ||<:> Cloture ||<:> Cloture ||<:> Cloture || |
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. |
| Line 39: | Line 29: |
| Les lignes d'autobus: * Bus TEC [[http://www2.ulg.ac.be/acces/plans/bus/bus48.html|Ligne 48]]. Descendre à l'arrêt "Ateliers". L'arrêt qui précède est "Croix de fer". * Bus TEC [[http://www2.ulg.ac.be/acces/plans/bus/bus58.html|Ligne 58]]. Descendre à l'arrêt "Science Park". Liens: * [[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)]] == 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 ||<#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 ||||<:> Café install ||<:> Café ||<:> Café ||<:> Café ||<:> Café || ||<#FFFFAA> 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 || ||<#FFFFAA> 11h ||<#AFEFEF:> Cours/TP (débutant·e·s): MILP ||<#FFE0E0:> Automata in Sage ||<#FFE0E0:> Coding theory in Sage || ||<#FFFFAA> 12h ||||<:> repas ||<:> repas ||<:> repas ||<:> repas ||<:> repas || ||<#FFFFAA> 13h ||<#D0FFD0:> Travaux Pratiques (débutant·e·s) ||<#AFEFEF:> Développer dans Sage (git/trac) ||<#D0FFD0:> Travaux Pratiques ||<#D0FFD0:> Travaux Pratiques ||<#D0FFD0|2> Travaux Pratiques ||<#D0FFD0|2> Travaux Pratiques et status report || ||<#FFFFAA> 16h ||||<#AAEEAA:> Challenge de Programmation ||<#FFE0E0:> Marie Kreush séminaire compréhensible (S42) ||<#AAEEAA:> Challenge de Programmation || ||<#FFFFAA> 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 |
|
| Line 42: | Line 71: |
| * Thierry Monteil/Vincent Delecroix/Sébastien Labbé | * Thierry Monteil/Vincent Delecroix/Sébastien Labbé/Štěpán Starosta |
| Line 47: | Line 76: |
| * | |
| Line 48: | Line 78: |
| * Nathann Cohen: Le développement dans Sage ([[http://git-scm.com/|git]] and [[http://trac.edgewall.org/|trac]], mercredi) | * Nathann Cohen: Le développement dans Sage ([[http://git-scm.com/|git]] and [[http://trac.edgewall.org/|trac]], lundi) |
| Line 50: | Line 80: |
| * Johan Nielsen or David Lucas: [[https://bitbucket.org/lucasdavid/sage_coding_project|sage coding theory project]] (mercredi ou jeudi) | * 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: |
| Line 54: | Line 100: |
| 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 tous les participants. 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. | 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. |
| Line 58: | Line 104: |
| * more word combinatorics and languages | |
| Line 59: | Line 106: |
| * [[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) * more word combinatorics and languages |
|
| Line 65: | Line 109: |
| * [[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) |
|
| Line 66: | Line 113: |
| == Orateurs confirmés == | == Orateur(ice?)s confirmés == |
| Line 72: | Line 119: |
| * [[https://users.fit.cvut.cz/~staroste/|Štěpán Starosta]] (Pragues) | |
| Line 73: | Line 121: |
| == Participants == | == Participant·e·s == |
| Line 77: | Line 125: |
| * Š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) * É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) |
| Line 79: | Line 145: |
| * Émilie Charlier (U. Liège) * Michel Rigo (U. Liège) * Eric Rowland (U. Liège) * Elise Vandomme (U. Liège) |
* Julien Raskin (U. Liège) * [[http://thales.math.uqam.ca/~rowland/|Eric Rowland]] (U. Liège) |
| Line 84: | Line 148: |
| * [[http://www.labri.fr/perso/vdelecro/|Vincent Delecroix]] (Labri, Bordeaux) | |
| Line 85: | Line 150: |
| * 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) |
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.
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:
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 |
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 |
Café install |
Café |
Café |
Café |
Café |
|
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 |
Automata in Sage |
Coding theory in Sage |
|||
12h |
repas |
repas |
repas |
repas |
repas |
|
13h |
Travaux Pratiques (débutant·e·s) |
Développer dans Sage (git/trac) |
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, lundi)
- 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)
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
Thierry Monteil (LIPN, Paris 13)
Vincent Delecroix (Labri, Bordeaux)
Jeroen Demeyer (Université de Gent)
Nathann Cohen (LRI, Paris 11)
Štěpán Starosta (Pragues)
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.
