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 Python/SageMath Lean
coffee break
11:30-13:00 Git Bash GAP Python/SageMath Lean
lunch break
14:30-16:00 Git Bash free afternoon Python/SageMath Lean
coffee break
16:30-18:00 Contributed talks/ Discussion Contributed talks/ Discussion Contributed talks/ Discussion Contributed talks/ Discussion
19:00-21:00

Confirmed instructors


Nino Bašić: Python, LaTeX and TikZ

UP FAMNIT, Koper, Slovenia

Olexandr Konovalov: Git, GAP

University of St Andrews, UK

David E. Narváez: Lean

UL FMF, Lubljana, Slovenia

Janoš Vidali: Python, Sage

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