= Sage Days 72 (May 21-22): satellite event of Numeration 2016 (May 23-27) =

<<TableOfContents>>

[[http://km.fjfi.cvut.cz/jn16|Numeration 2016 website]]

'''Organizers''': Daniel Krenn, Štěpán Starosta

Location: Prague, Czech Republic

Venue: same as the conference ([[http://km.fjfi.cvut.cz/jn16/?loc=local]])

Room: 301 for the sessions, 214 for coffee breaks

== Focus & Topics ==

=== Introduction and Tutorial for Beginners ===

=== Automata and Digit Expansions ===

Automata and transducers are available in !SageMath via its [[http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/finite_state_machine.html|finite state machines module]]. The introduction of this package will focus on examples related to digit expansions.

=== Using SageMath in number system research ===


=== Experimenting with SageMath ===

The presentation will cover some experience collected while using SageMath as a tool to help in research and teaching. We will also shortly present the Julia language and compare it with SageMath.

== Schedule (and Downloads) ==

There will be time during most of the lectures (or just after) to try out SageMath by yourselves.

Saturday:
 * 9:30: * coffee break *
 * 10:00: welcoming session and introductions (+ installation)
 * 11:00: Introduction to SageMath (and Python) [Štěpán Starosta]
	* [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=Introduction_to_SageMath_2016.pdf|introduction (pdf)]]
        * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/introduction%20to%20SageMath/1.%20Introduction.sagews| Introduction (SageMath, Python, etc.) (cloud) worksheet]]

 * 12:00: lunch
 * 14:00: number theory in SageMath [Štěpán Starosta or Tomáš Vávra]
    * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/number%20theory/2.%20Number%20theory.sagews|Number theory (cloud)  worksheet]]
    * few other tutorials [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/other%20tutorials/4.%20Graph%20theory.sagews|Graph theory  (cloud) worksheet]], [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/other%20tutorials/3.%20Linear%20algebra.sagews|Linear algebra (cloud) worksheet]]
 * 15:00: * coffee break *
 * 15:30--16:30: automata in SageMath [Clemens Heuberger]
    * [[http://wwwu.aau.at/cheuberg/presentations/2016-05-21_Praha_SageDays72_Automata.ipynb|Jupyter Notebook]] and [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/automata/2016-05-21_Praha_SageDays72_Automata.html|copy of the (ipython) notebook in SageMathCloud]]
    * a paper on Automata package exists "Automata in SageMath---Combinatorics meet Theoretical Computer Science": [[https://dmtcs.episciences.org/1475|DMTCS link]], [[http://arxiv.org/abs/1404.7458| arxiv link]]
    * [[http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/finite_state_machine.html|SageMath documentation of the package]]
 * 16:30--17:00: Multiplying apples and oranges by SageMath's coercion framework [Daniel Krenn]
    * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/coercion%20model%20(multiplying%20apples%20with%20oranges)/The%20Coercion%20Framework%20of%20SageMath.ipynb|coercion framework (ipython) worksheet in SageMathCloud]]
 * discussion, coding, etc.

Sunday:
 * 9:30: * coffee break *
 * 10:00--10:30: development for SageMath [Daniel Krenn]
   * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/contributing%20to%20SageMath/Contributing%20to%20SageMath.html|(ipython) worksheet in SageMathCloud]]
 * 10.30 experiencing SageMath, coding, discussions, etc.
 * 11:00: [[https://julialang.org|Julia]] vs. SageMath [Tomáš Kalvoda]
   * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/CythonJulia/|notebooks]]
 * 12:00: lunch
 * 14:00--15:00: Using Sage in number system research (part 1) [Attila Kovács]
   * [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=NumerationSystems.pdf|presentaion (pdf)]]
   * [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=NumerationSystems.sagews|notebook (.sagews)]]
   * [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=NumerationClass.sage|SageMath class (.sage)]]
 * 15:00:  * coffee break *
 * 15:30--16:30: Using Sage in number system research (part 2) [Attila Kovács]
 * discussion, coding, etc.


== Participants ==

The following people will most likely be able to attend.


 * Karam Aloui
 * Petr Ambrož
 * Hamdi Ammar
 * Myriam Amri
 * Hamdi Aouinti
 * Horst Brunotte
 * Amara Chandoul
 * Clemens Heuberger
 * Jonas Jankauskas
 * Tomáš Kalvoda
 * Kamil Keprt
 * Karel Klouda
 * Ondřej Kolouch
 * Attila Kovács
 * Daniel Krenn
 * DoYong Kwon
 * Vladimir Lotoreichik
 * Faiza Mahjoub
 * Merkhi Malika
 * Mohamed Mkaouar
 * Hbaib Mohamed
 * Lukáš Novotný
 * Marco Pedicini
 * Rob Rubalcaba (subject to funding)
 * Driss Sana
 * Zhang Shuqin
 * Bernd Sing
 * Lukas Spiegelhofer
 * Štěpán Starosta
 * Milena Svobodová
 * Jan Šustek
 * Tomas Vavra
 * Walid Wannes
 * Mario Weitzer
 * Zdeněk Čulík