Differences between revisions 81 and 94 (spanning 13 versions)
Revision 81 as of 2019-07-19 12:42:21
Size: 6975
Editor: vdelecroix
Comment:
Revision 94 as of 2019-07-22 10:01:19
Size: 8963
Editor: vdelecroix
Comment:
Deletions are marked like this. Additions are marked like this.
Line 27: Line 27:
Line 30: Line 29:
 * [[https://hackmd.io/C11DpDKwTaaB5RkoyuosUw|Euler challenge organization pad]]
Line 32: Line 32:
Line 39: Line 38:
  * 10:30 - 11:30 Participant presentations and schedule organization   * 10:30 - 12:30 Participant presentations + schedule organization + get started with Sage
  * lunch and afternoon: as all other days
Line 41: Line 41:
For all other days (Tuesday 23rd - Friday 26th) For all other days (Tuesday 22nd afternoon - Friday 26th afternoon)
Line 47: Line 47:
||<#EEEEEE> Monday ||<#AADAFF> welcome ||<#DAAAFF> get started with SageMath || ||<#EEEEEE> Monday ||<#AADAFF> welcome ||<#DAAAFF> get started + packaging ||
Line 54: Line 54:
 * git + create a SageMath/Python module + automated testing  * git
Line 60: Line 60:
== Broad mathematical thematics ==

Combinatorics, geometry and dynamics on real surfaces (complex curves). Here is a non-exhaustive list

 * moduli space of curves, differentials, spin structures
 * enumerative geometry, integral points in polytopes and (quasi-)modular forms
 * geometry and dynamics of flat and hyperbolic surfaces
 * braid groups, mapping class groups

== Relevant Sage packages ==
== Sage packages ==
Line 87: Line 78:
  * [[attachment:Computing modular group cohomology.ipynb]]: Computation of modular cohomology rings of finite groups with Sage
  * [[attachment:How_to_implement_new_algebraic_structures.ipynb]]: A tutorial on parents, elements, categories and coercion
  * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=intro.en.ipynb|introduction to Sage]]
  * step-by-step programming (more Pythonic)
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap1-first_steps.ipynb|chap1-first_steps.ipynb]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap2-list_and_for.ipynb|chap2-list_and_for.ipynb]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap3-if.ipynb|chap3-if.ipynb]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap4-functions.ipynb|chap4-functions.ipynb]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap5-while.ipynb|chap5-while.ipynb]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=chap6-advanced_exercises.ipynb|chap6-advanced_exercises.ipynb]]
  * Some math oriented worksheets
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=CollatzConjecture.ipynb|Collatz conjecture]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=Dictionaries-GraphTheory.ipynb|Graph theory and Python dictionaries]] (don't forget to also downloads [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=euler.png|euler.png]] and [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=graph0.png|graph0.png]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=Strings-BWT.ipynb|Strings and the Burrows-Wheeler-Transformation]]
    * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=introduction_polytopes.ipynb|Introduction to Polytopes in Sage]]
  * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=Computing+modular+group+cohomology.ipynb|Computing modular group cohomology.ipynb]]: Computation of modular cohomology rings of finite groups with Sage
  * [[https://wiki.sagemath.org/days100?action=AttachFile&do=get&target=How_to_implement_new_algebraic_structures.ipynb|How_to_implement_new_algebraic_structures.ipynb]]: A tutorial on parents, elements, categories and coercion
Line 120: Line 124:
== Broad mathematical thematics ==

Combinatorics, geometry and dynamics on real surfaces (complex curves). Here is a non-exhaustive list

 * moduli space of curves, differentials, spin structures
 * enumerative geometry, integral points in polytopes and (quasi-)modular forms
 * geometry and dynamics of flat and hyperbolic surfaces
 * braid groups, mapping class groups

Following a long tradition of similar workshops, the Sage days 100 workshop will take place in Bonn Germany, July 22nd - July 27th. It welcomes anyone who wishes to work with SageMath, from complete beginners to advanced developers. It will consist of tutorials, participant presentations and mostly free time to let participants work on their mathematical programming projects and get helped from more advanced users. The precise schedule of the workshop will be decided at the begining of the workshop and adapted according to the participant needs.

The afternoon of Wednesday 24th will be dedicated to a SageMath presentation at Max-Planck Institut (for students, PhD students, postdocs and professors). If you wish to be involved in this presentation, contact the organizer.

Practical information

Location

All week

Room 0.016 (ground floor, left of the main entrance)
Institut für Informatik
Endenicher Allee 19A
Bonn

Special Wednesday afternoon event

Lecture Hall (third floor)
Max-Planck Institut
Vivatsgasse 7
Bonn

Schedule

Begining of the workshop Monday 22nd

  • 9:30 - 10:00 welcome coffee
  • 10:00 - 10:30 A SageMath and sage days panorama (by V. Delecroix)

  • 10:30 - 12:30 Participant presentations + schedule organization + get started with Sage
  • lunch and afternoon: as all other days

For all other days (Tuesday 22nd afternoon - Friday 26th afternoon)

9:00 - 10:30

10:30 - 11:00

11:00 - 12:30

12:30 - 14:00

14:00 - 15:30

15:30 - 16:00

16:00 - 17:30

17:30 - 18:00

morning session

coffe break

hacking

lunch break

afternoon session

coffe break

hacking

status report

The hacking session are here to let people work on their own projects while having SageMath experts helping/answering. The tutorial sessions will consist of

Monday

welcome

get started + packaging

Tuesday

package presentations

?

Wednesday

?

(optional) Max-Planck afternoon

Thursday

?

?

Friday

?

?

Remaining tutorial sessions to be organized:

  • git
  • debugging and profiling
  • SageMath development

  • databases
  • Cython

Sage packages

  • admcycles: tautological ring on M_{g,n} (Aaron Pixton, Johannes Schmitt, Jason van Zelm)

  • snappy: 3-dim hyperbolic manifolds (Marc Culler, Nathan Dunfield, and Matthias Goerner)

  • veerer: train-tracks and veering triangulations (Vincent Delecroix)

  • surface_dynamics: translation surfaces (Vincent Delecroix)

  • flipper: mapping class group (via flips in triangulation) (Mark Bell)

  • curver: mapping class group (via curve complex) (Mark Bell)

  • sage-train-track: free group automorphisms (Thierry Coulbois)

We will have 20 min presentations of each package emphasizing:

  • What the package is useful for?
  • What should I do if I want to use the package? ie, installation and first steps tutorials
  • What is currently under active development?
  • Wishlist features / possible research experimentations (with the hope that more people get involved)

Worksheets

Organization

Participants

Broad mathematical thematics

Combinatorics, geometry and dynamics on real surfaces (complex curves). Here is a non-exhaustive list

  • moduli space of curves, differentials, spin structures
  • enumerative geometry, integral points in polytopes and (quasi-)modular forms
  • geometry and dynamics of flat and hyperbolic surfaces
  • braid groups, mapping class groups

Funding

The workshop is funded by OpenDreamKit align="middle"

With material help from the Laboratoire Bordelais de Recherche en Informatique (France) and the Computer Science Department at Bonn University (Germany).

Organizer

days100 (last edited 2019-09-04 13:12:14 by slelievre)