TCC Current Courses

April to June 2022

All lectures will be presented via MS Teams and in order to sign up for any of the lectures, you need to email tcc@maths.ox.ac.uk with your MS Teams email address. Please also state which courses you are interested in following. 

All lectures start on the week begining 25 April 2022 and run for 8 consecutive weeks unless specified in the schedule below:

* Equivariant K-Theory will have 2 x 1 hour lectures per week. 

January to March 2022

All lectures will be presented via MS Teams and in order to sign up for any of the lectures, you need to email tcc@maths.ox.ac.uk with your MS Teams email address. Please also state which courses you are interested in following. 

All lectures start on the week begining 17 January 2022 and run for 8 consecutive weeks unless specified in the schedule below:

"Advanced quantum Theory" by Sebastian Muller (Bristol) - Please register for this course directly with the lecturer @email und use the Zoom link https://bristol-ac-uk.zoom.us/j/92815804410?pwd=bXArckxudUMwdUJFVDJtVTJNZHJvZz09.

 Times for Advanced Quantum Theory are: Monday 14-14:50, Wednesday 10-10:50, Thursday 14-14:50pm, Friday 16-16:50pm (the latter only in some weeks) from 24 Jan to 11 March (i.e. 1 weeks after the TCC start and then going on for 7 weeks).

October to December 2021

All lectures will be presented via MS Teams and in order to sign up for any of the lectures, you need to email @email with your MS Teams email address. Please also state which courses you are interested in following. 

All lectures start on the week begining 11 October 2020 and run for 8 consecutive weeks unless specified below:

April to June 2021

All lectures will be presented via MS Teams and in order to sign up for any of the lectures, you need to email @email with your MS Teams email address. Please also state which courses you are interested in following. 

All lectures start on the week begining 26 April 2021 and run for 8 consecutive weeks unless specified in the schedule below:

January to March 2021

All lectures will be presented via MS Teams and in order to sign up for any of the lectures, you need to email @email with your MS Teams email address. Please also state which courses you are interested in following. 

If you already have a MS Teams account, please send us your Teams email address and make sure it is the email address registered in Teams as you will otherwise be asked to create another Teams account which would be very confusing. If you have multiple addresses the easiest way to check your Teams address is to go to https://myaccount.microsoft.com/ and login to it with your work account.

If you do not have a MS Teams account yet, please email us your preferred email address and please then download and install MS Teams from http://teams.microsoft.com/downloads, but do not login yet. Whilst it can be used in browser, you will get a better experience by installing the application on a Windows, Mac or Linux computer. You will then receive an invitation to create a guest Teams account when we add you to the TCC and you can then use that account within the newly installed application

All lectures start on the week begining 18 January 2021 and run for 8 consecutive weeks unless specified in the schedule below:

No background in computer proof systems is required! We will start at the beginning. By January, you will need a computer with Lean installed (https://leanprover-community.github.io/get_started.html) to work on the exercises. As preparation for the course I recommend the natural number game http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ , and the online tutorial Mathematics In Lean https://leanprover-community.github.io/mathematics_in_lean/ . Note also that I run a Discord server teaching Lean to mathematics undergraduates, with meetings every Thursday evening. This is happening right now; anyone interested in getting started ahead of January should drop me an email and I'll send them an invite.No background in computer proof systems is required! We will start at the beginning. By January, you will need a computer with Lean installed (https://leanprover-community.github.io/get_started.html) to work on the exercises. As preparation for the course I recommend the natural number game http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ , and the online tutorial Mathematics In Lean https://leanprover-community.github.io/mathematics_in_lean/ . Note also that I run a Discord server teaching Lean to mathematics undergraduates, with meetings every Thursday evening. This is happening right now; anyone interested in getting started ahead of January should drop me an email and I'll send them an invite.

October to December 2020

All lectures will be presented via MS Teams and in order to sign up for any of the lectures, you need to email @email with your MS Teams email address.

If you already have a MS Teams account, please send us your Teams email address and make sure it is the email address registered in Teams as you will otherwise be asked to create another Teams account which would be very confusing. If you have multiple addresses the easiest way to check your Teams address is to go to https://myaccount.microsoft.com/ and login to it with your work account.

If you do not have a MS Teams account yet, please email us your preferred email address and please then download and install MS Teams from http://teams.microsoft.com/downloads, but do not login yet. Whilst it can be used in browser, you will get a better experience by installing the application on a Windows, Mac or Linux computer. You will then receive an invitation to create a guest Teams account when we add you to the TCC and you can then use that account within the newly installed application

All lectures start on the week begining 12 October 2020 and run for 8 consecutive weeks unless specified in the schedule below:

Please note - Ambrus Pal's lecture has moved from Mondays at 2:00pm to Fridays at 2:00pm

April - June 2019 

There are no courses currently scheduled for Trinity term. 

January - March 2020

All lectures start on the week beginning 20 January 2020 and run for 8 consecutive weeks unless specified in the schedule below:

October - December 2019

All lectures start on the week beginning 14 October 2019 and run for 8 consecutive weeks unless specified in the schedule below:

April - June 2019 

All lectures start on the week beginning 29 April 2019 and run for 8 consecutive weeks unless specified in the schedule below:

January - March 2019 

All lectures start on the week beginning 14 January 2019 and run for 8 consecutive weeks unless specified in the schedule below:

October - December 2018

All lectures start on the week beginning 8 October 2018 and run for 8 consecutive weeks unless specified in the schedule below:

April-June 2018

All lectures start on week beginning 23rd April 2018 and run for 8 consecutive week unless specified otherwise in the schedule below:

January- March 2018

All lectures start on week beginning 15th January 2018 and run for 8 consecutive week unless specified otherwise in the schedule below:

October - December 2017

All lectures start on week beginning 9th October 2017 and run for 8 consectutive weeks unless specified otherwise in the schedule below: