Program
- Start: Monday 25 August 2025
- Finish: Friday 29 August 2025
Minicourses and invited talks
-
Minicourse 1: Introduction to GAP
by Lukas Schnelle and Meike Weiß
- Getting started in GAP
- Programming in GAP: Working on problems from scratch
- GAP Packages and Libraries: Using existing GAP infrastructure
-
Minicourse 2: The Digraphs package for GAP - zero to hero
by James Mitchell
- What is Digraphs? Overview + capabilities
- Some examples of using Digraphs in mathematical research
- Getting involved, make a contribution
-
Special session in honor of Leonard Soicher
List of speakers:
- Bettina Eick
- Charles Leedham-Green (online)
- Cheryl Praeger (online)
- Frank Lübeck
- Rhys Evans
- Sarah Rees
Reception
On Thursday, we will hold a social event. If you would like to participate, please sign-up using this form.
Event details:
- Day: Thursday
- Time: 18:30
- Place: Foresteria Caffe Bar (Entrance via Tito Trg or Garibaldijeva Ulica)
Detailed schedule
- Monday
- 9:00 Welcome and opening
- 9:30 Stand up and technical discussion
- 9:45 Minicourse 1: Session 1A - Getting started in GAP Slides 1
- 10:35 Coffee break
- 11:00 Minicourse 1: Session 1B - Getting started in GAP / Parallel: working session for developers Exercises 1
- 12:00 Lunch break
- 14:00 Minicourse 1: Session 2A - Programming in GAP: Working on problems from scratch Slides 2
- 14.50 Coffee break
- 15:15 Minicourse 1: Session 2B - Programming in GAP: Working on problems from scratch / Parallel: working session for developers Exercises 2
- 16:15 Discussion
- 17:00 Stand up: Results from work sessions
- 20:30 Social event: Informal pub evening “Medvedković seminar” at Rampin
- Tuesday
- 9:30 Stand up and technical discussion
- 9:45 Minicourse 1: Session 3A - GAP Packages and Libraries: Using existing GAP infrastructure Slides 3
- 10:35 Coffee break
- 11:00 Minicourse 1: Session 3B - GAP Packages and Libraries: Using existing GAP infrastructure / Parallel: working session for developers Exercises 3
- 12:00 Lunch break
- 14:00 Minicourse 2: Session 1A - What is Digraphs? Overview + capabilities Slides
- 14.50 Coffee break
- 15:15 Minicourse 2: Session 1B - Getting started with Digraphs (exercises) / Parallel: working session for developers Exercises
- 16:15 Contributed Talks
- 16:15 Talk: “Computer assisted proof of the tree module property, using GAP and Clean” (István Szöllősi)
- 16:40 Talk: “OscarAICoder: Turning Mathematical Language into Computation” (Vinay Wagh)
- 17:00 Stand up: Results from work sessions
- Wednesday
- 9:30 Stand up and technical discussion
- 9:45 Minicourse 2: Session 2A - Some examples of using Digraphs in mathematical research
- 10:35 Coffee break
- 11:00 Minicourse 2: Session 2B - Exercises / Parallel: working session for developers
- 12:00 Lunch break
- 14:00 Minicourse 2: Session 3A - Getting involved, make a contribution
- 14.50 Coffee break
- 15:15 Minicourse 2: Session 3B - Exercises / Parallel: working session for developers
- 16:15 Contributed Talks
- 16:15 Talk: “What is new, and old, in Gap.app” (Russ Woodroofe)
- 16:40 Talk: “Computing trivial source modules and their character tables using GAP” (Bernhard Böhmler) (abstract)
- 17:00 Stand up: Results from work sessions
- Thursday
- 9:30 Stand up and technical discussion
- 9:45 Extended discussion
- 10:35 Coffee break
- 11:00 Working session for developers
- 11:30 Lunch break
- 13:00 Session in honour of Leonard Soicher
- 13:00-13:30 Talk: “Some of what I’ve learned from Leonard” (Cheryl Praeger, online)
- 13:45-14:15 Talk: “Computing the intersection of matrix groups” (Charles Leedham-Green, online)
- 14:15 Break
- 14:45-15:15 Talk: “Developing a practical algorithm for GRAPE” (Sarah Rees) (abstract)
- 15:30-16:00 Talk: “Orderly generation of generating sets” (Rhys Evans)
- 16:00 Coffee break
- 16:30-17:00 Talk: “Permutation characters from parabolic subgroups and Green functions” (Frank Lübeck) (abstract)
- 17:15-17:45 Talk: “Some history” (Bettina Eick)
- 18:00 End of day
- 18:30 Social event: Reception (sign-up form)
- Friday
- 9:30 Stand up and technical discussion
- 9:45 Contributed talks
- 10:35 Coffee break
- 11:00 Working session for developers
- 12:00 Lunch break
- 14:00 Working session for developers
- 15:00 Coffee and closing