Software Tools for Mathematics


1 - 5 September 2025
Ljubljana, Slovenia

General information


The workshop is aimed at students and researchers who want to improve the computing skills they need for their studies and research. The program is still to be determined, but the activities might include:

  • Introductory training on basic software tools in the style of a Software Carpentry workshop, covering the Unix shell, version control with Git, and programming with Python).
  • Mini courses on specific software packages such as:
    • GAP
    • SageMath
    • Lean
    • LaTeX
  • Contributed talks on diverse topics on the use of software in Mathematics

Registration


You can register using the registration form below.

The registration is free of charge, but we ask you to register in advance so that we can plan the workshop accordingly.

Schedule


The final schedule is yet to be confirmed. A preliminary schedule is shown below.

The workshop will be held at the classroom P02 of the Faculty of Mathematics and Physics, University of Ljubljana. (See here.)

Monday Tuesday Wednesday Thursday Friday
8:00-9:15 registration
9:15-9:30 opening remarks
9:30-11:00 Git Bash GAP Lean Python/SageMath
coffee break
11:30-13:00 Git Bash GAP Lean Python/SageMath
lunch break
14:30-16:00 Git Bash free afternoon Lean Python/SageMath
coffee break
16:30 Talk: Russ Woodroofe Talk: Nino Bašić Talk: Olexandr Konovalov concluding remarks

Instructors and speakers


Nino Bašić: Bash

UP FAMNIT, Koper, Slovenia

Olexandr Konovalov: GAP

University of St Andrews, UK

David E. Narváez: Lean

UL FMF, Lubljana, Slovenia

Janoš Vidali: Python, Sage

UL FMF, Ljubljana, Slovenia

Gašper Domen Romih: Git

UL FMF,Ljubljana Slovenija

Nejc Zajc: Git

UL FMF, Ljubljana Slovenia

Jure Taslak: Git

UL FMF, Ljubljana, Slovenia

Russ Woodroofe

UP FAMNIT, Koper, Slovenia

Organisers


Katja Berčič

UL-FMF, Ljubljana, Slovenia

Rhys Evans

IMFM, Ljubljana, Slovenia

Antonio Montero

UL-FMF, Ljubljana, Slovenia