The school will take place at the University of Manchester on November 16th-20th, 2015. This school is intended for PhD students and researchers from UK institutions. It will start with the hands-on Software Carpentry workshop covering basic concepts and tools, including working with the command line, version control and task automation, continued with introductions to GAP and SageMath systems, and followed by the series of lectures and exercise classes on a selection of topics in computational discrete mathematics. The school will finish at Friday lunchtime, with an option to stay for the NBSAN (North British Semigroups and Applications Network) meeting on Friday afternoon.
Location
- November 16th: University Place, room 2.219
- November 17th: University Place, rooms 5.211 (until 1pm), 2.220 (after 1pm)
- November 18th-20th: School of Mathematics, Room Frank Adams 1, Alan Turing Building
Speakers
- Derek Holt (University of Warwick): The Schreier-Sims Algorithm for Finite Permutation Groups
- Christopher Jefferson (University of St Andrews): Debugging and profiling in GAP
- Olexandr Konovalov (University of St Andrews): Software Carpentry lesson on GAP
- Kwasi Kwakwa (Imperial College London): Software Carpentry lessons on Unix shell and Git
- Steve Linton (St Andrews): Distributed Computations with GAP
- James Mitchell (University of St Andrews): Semigroups in GAP: theory and practice
- Dmitrii Pasechnik (University of Oxford): Introduction to SageMath
- Leighton Pritchard (James Hutton Institute): Software Carpentry lessons on Make and Git
Programme and downloads
Monday November 16th: University Place, room 2.219
- 9:30 Software Carpentry: Automating tasks with the Unix shell
- with coffee at 11:00
- 12:30 Lunch
- 13:30 Software Carpentry: Automation with Make
- with coffee at 15:00
- 16:30 Software Carpentry: Wrap-up
Tuesday November 17th: University Place, rooms 5.211 (until 1pm), 2.220 (after 1pm)
- 9:00 Coffee at Alan Turing Building, Atrium Bridge Level 1
- 9:30 Software Carpentry: Version control with Git
-
- with a break at 11:00
- 13:00 Lunch (room 2.220)
- 14:00 Software Carpentry: Programming with GAP
- 15:00 Coffee
- 15:30 Dmitrii Pasechnik (Oxford): Introduction to SageMath (part 1)
- 16:30 Lab time
Wednesday November 18th: School of Mathematics, Room Frank Adams 1, Alan Turing Building
- 9:30 Software Carpentry: Programming with GAP
- with coffee at 11:00
- 12:30 Software Carpentry: Wrap-up
- 13:00 Lunch
- 14:00 Dmitrii Pasechnik (Oxford): Introduction to SageMath (part 2)
- 15:00 Coffee
- 15:30 Dmitrii Pasechnik (Oxford): Introduction to SageMath (part 3)
- 16:30 Lab time
Thursday November 19th: School of Mathematics, Room Frank Adams 1, Alan Turing Building
- 9:30 Christopher Jefferson (St Andrews): Debugging and profiling in GAP [blog]
- 10:30 Coffee
- 11:00 Steve Linton (St Andrews): Distributed Computations with GAP [slides] [repository]
- 12:15 Derek Holt (Warwick): Background Theory Required for the Schreier-Sims Algorithm
- 13:00 Lunch
- 14:00 Derek Holt (Warwick): The Schreier-Sims Algorithm for Finite Permutation Groups [slides]
- 15:00 Coffee
- 15:30 “Bring your problem” session
- 16:30 Lab time
- 19:00 School dinner: eastZeast, Princess Street (see the map here)
Friday November 20th: School of Mathematics, Room Frank Adams 1, Alan Turing Building
- 9:30 James Mitchell (St Andrews): Semigroups in GAP: theory and practice (part 1) [slides]
- 10:30 Coffee
- 10:45 James Mitchell (St Andrews): Semigroups in GAP: theory and practice (part 2) [slides]
- 11:45 Lunch
- 12:30 NBSAN: Stuart Margolis (Bar Ilan) – Poset cohomology, CW decompositions and the global dimension of left regular band algebras
- 13:30 NBSAN: Maximilien Gadouleau (Durham) – Universal simulation of automata networks
- 14:30 Coffee
- 15:00 NBSAN: Peter Fenner (Manchester) – The Gossip Monoid
- 15:30 NBSAN: Colva Roney-Dougal (St Andrews) – Relations relating to generation of groups and semigroups
- 16:30 Close, followed by drinks and an early dinner for those able to remain
Registration (closed)
Participation in the Training School is free of charge, but attendees need to be registered in advance as the number of places is limited. To register, please proceed to the Software Carpentry workshop page where you will find further information and the link to the registration form on Eventbrite. By registering there, you will automatically register for the whole week. You will have an option to specify whether you are also staying for the NBSAN meeting on Friday afternoon.
Who is coming
We are delighted to welcome participants from:
- Birkbeck, University of London
- Bangor University
- Imperial College London
- Queen Mary University of London
- Royal Holloway, University of London
- University of Bath
- University of Birmingham
- University of Essex
- University of Leicester
- University of Manchester
- University of Newcastle
- University of St Andrews
- University of Sussex
[click here to see the photo in the full resolution]
Financial Support
A limited financial support to cover travel expenses and stay in Manchester is available to PhD students from UK Universities who are coming for the whole duration of the Training School (from Monday until Friday lunchtime). Students wishing to apply for the support should register online and then ask their PhD supervisor to email organisers a recommendation that they should take part.
Travel and accommodation
Attendees are asked to make their own arrangements for travel and accommodation. You may find some suggestions following the links below:
- Maps and travel information on the University of Manchester website
- Some informal information for visitors to Manchester collected by Mark Kambites
Contact
If you have questions or suggestions, please contact the organisers:
- Olexandr Konovalov
- Matthew Taylor (local organiser)
You may also follow updates on Twitter: @codima_project. Please use the hashtag #codima2015 if you are tweeting about the event. [Update: see the collection of #codima2015 tweets on Storify]
Etherpad: http://pad.software-carpentry.org/2015-11-16-manchester-codima. We will use this Etherpad for chatting, taking notes, and sharing URLs and bits of code. It will be made read-only after the school, but will be available for future reference.
Sponsors
The CoDiMa project is supported by the EPSRC grant EP/M022641/1.