Sessions
September 2026
25FLS 3First FLS 3 meetingNext16:30
30FLS 1First FLS 1 meetingNext17:00 · HG E 3
October 2026
2FLS 3Symmetric class forcingNext16:30
6FLS 2Symmetric class forcing and GBNext16:00
6FLS 1Topology and the fundamental groupNext18:00
9FLS 3Topic to be announcedNext16:30
13FLS 2Graphs and the axiom of choiceNext16:00
13FLS 1Fundamental group & combinatorial game theoryNext18:00 · HG E 3
16FLS 3Topic to be announcedNext16:30
20FLS 2Introduction to homologyNext16:00
20FLS 1Set theoryNext18:00
23FLS 3Topic to be announcedNext16:30
27FLS 2Knot theory and the generalised Lagrange theoremNext16:00 · HG F 1
27FLS 1Topological manifoldsNext18:00 · HG F 1
November 2026
3FLS 2Symmetric ForcingNext16:00 · HG E 3
3FLS 1Formal Systems I: SyntaxNext18:00 · HG E 3
6FLS 3Topic to be announcedNext16:30 · HG F 26.5
10FLS 2Symmetric ForcingNext16:00 · HG E 7
10FLS 1Formal Systems II: Models & SemanticsNext18:00 · HG E 7
13FLS 3Topic to be announcedNext16:30 · HG F 26.1
17FLS 2HomologyNext16:00 · CHN D 44
17FLS 1QuaternionsNext18:00 · CHN D 44
20FLS 3Topic to be announcedNext16:30 · HG E 33.1
24FLS 2Forcing ¬CHNext16:00 · HG E 5
24FLS 1Point-Set TopologyNext18:00 · HG E 5
27FLS 3Topic to be announcedNext16:30 · HG F 26.1
December 2026
1FLS 2Topic to be announcedNext16:00 · HG F 26.1
1FLS 1Topic to be announcedNext18:00 · HG F 26.1
4FLS 3Topic to be announcedNext16:30 · HG F 26.1
8FLS 2Topic to be announcedNext16:00 · HG F 26.1
8FLS 1Topic to be announcedNext18:00 · HG F 26.1
11FLS 3Topic to be announcedNext16:30 · HG F 26.1
15FLS 2Topic to be announcedNext16:00 · HG F 26.1
15FLS 1Topic to be announcedNext18:00 · HG F 26.1
18FLS 3Topic to be announcedNext16:30 · HG F 26.1
22FLS 2Topic to be announcedNext16:00 · HG F 26.1
22FLS 1Topic to be announcedNext18:00 · HG F 26.1
September 2026
30FLS 1First FLS 1 meetingNext17:00 · HG E 3
October 2026
6FLS 1Topology and the fundamental groupNext18:00
13FLS 1Fundamental group & combinatorial game theoryNext18:00 · HG E 3
20FLS 1Set theoryNext18:00
27FLS 1Topological manifoldsNext18:00 · HG F 1
November 2026
3FLS 1Formal Systems I: SyntaxNext18:00 · HG E 3
10FLS 1Formal Systems II: Models & SemanticsNext18:00 · HG E 7
17FLS 1QuaternionsNext18:00 · CHN D 44
24FLS 1Point-Set TopologyNext18:00 · HG E 5
December 2026
1FLS 1Topic to be announcedNext18:00 · HG F 26.1
8FLS 1Topic to be announcedNext18:00 · HG F 26.1
15FLS 1Topic to be announcedNext18:00 · HG F 26.1
22FLS 1Topic to be announcedNext18:00 · HG F 26.1
October 2026
6FLS 2Symmetric class forcing and GBNext16:00
13FLS 2Graphs and the axiom of choiceNext16:00
20FLS 2Introduction to homologyNext16:00
27FLS 2Knot theory and the generalised Lagrange theoremNext16:00 · HG F 1
November 2026
3FLS 2Symmetric ForcingNext16:00 · HG E 3
10FLS 2Symmetric ForcingNext16:00 · HG E 7
17FLS 2HomologyNext16:00 · CHN D 44
24FLS 2Forcing ¬CHNext16:00 · HG E 5
December 2026
1FLS 2Topic to be announcedNext16:00 · HG F 26.1
8FLS 2Topic to be announcedNext16:00 · HG F 26.1
15FLS 2Topic to be announcedNext16:00 · HG F 26.1
22FLS 2Topic to be announcedNext16:00 · HG F 26.1
September 2026
25FLS 3First FLS 3 meetingNext16:30
October 2026
2FLS 3Symmetric class forcingNext16:30
9FLS 3Topic to be announcedNext16:30
16FLS 3Topic to be announcedNext16:30
23FLS 3Topic to be announcedNext16:30
November 2026
6FLS 3Topic to be announcedNext16:30 · HG F 26.5
13FLS 3Topic to be announcedNext16:30 · HG F 26.1
20FLS 3Topic to be announcedNext16:30 · HG E 33.1
27FLS 3Topic to be announcedNext16:30 · HG F 26.1
December 2026
4FLS 3Topic to be announcedNext16:30 · HG F 26.1
11FLS 3Topic to be announcedNext16:30 · HG F 26.1
18FLS 3Topic to be announcedNext16:30 · HG F 26.1