spacer spacer spacer meaningless logo

I supervise in the CMS, usually at one of the blue tables in the Core. Supervision work can be left in my p/hole at reception. Please get work to me the day before - if you want it marked!

When you book a slot please identify yourself using your .cam email address, and also email me to tell me you have made a booking.

The canonical address for this page is http://tf.xeny.net. The old address (http://xeny.net/ThomasForster) may stop working some time in 2015.

My UK mobile # is 07887701562.

J A N U A R Y

friday 30th

1200-1300 Security II

1400-1500

1500-1600

1600-1700 : sdu21, ar752, spt37

Dinner Edmund 1930

F E B R U A R Y

monday 2nd

1200-1300 Security II

1300-1400

1400-1500: Logic & Set theory with tz263 and ad647

1530-1700 HoTT reading group

1700-1800 yl538 (Ying Liu) and Amardeep (akc40) Discrete Maths Supervision

1800-1900

tuesday 3rd

1200-1300 lunch Tomaz CMS

1300-1400 Logic and Set Theory supervision with mem62 & ek396

1400-1500 Logic and Set Theory supervision with yyp24 & emo33

1500-1600 Logic and Set Theory supervision with rw476 & lkc32

wednesday 4th

1200-1300 Security II

lunch John Barker Clare Hall

1400-1500 Logic and Proof : cb796 & djs229

1500-1600 Discrete Maths supervision with jds68 & dwc35

1600-1700 Discrete Maths supervision with act57 and uz205

1700-1800

1800-1900

thursday 5th

1200-1300 Model theory MR 5

1400-1500 Logic & Set theory with et348 and cls80

1500-1600 Logic & Set theory with dt389 and kjhs2

1600-1700

1700-1800

1800-1900

friday 6th

1200-1300 Security II

1400-1500 Logic and Set Theory with jl734

1500-1600

1600-1700

Probably away for the w/e so no slots for the moment..

tuesday 10th

1200-1300 Model theory MR 5

1300-1400

1400-1500 Logic & Set Theory supervision with cw529 & ab2064

1500-1600

1800-1900

wednesday 11th

1200-1300 Security II

1400-1500

1500-1600 Discrete Maths supervision with jds68 & dwc35

1600-1700 Discrete Maths supervision with act57 and uz205

1700-1800

1800-1900

thursday 12th

1200-1300 Model theory MR 5

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

friday 13th

1000 Topics in concurrency

1200-1300 Security II

1400-1500 Logic and Set Theory supervision wgr23

1500-1600

1600-1700

Eddies' Supervisors' Dinner

saturday 14th

0900-1000

1000-1100

1100-1200

1200-1300

1300-1400

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

sunday 15th

0900-1000

1000-1100

1100-1200

1200-1300

1300-1400

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

mon 16th

1000 Topics in concurrency

1200-1300 Security II

1400-1500: Logic & Set theory with tz263 and ad647

1530-1700 HoTT reading group

1700-1800

1800-1900

tues 17th

1200-1300 Model theory MR 5

1400-1500 Logic and Set Theory supervision with yyp24 & emo33

1500-1600 Logic and Set Theory supervision with rw476 & lkc32

1800-1900 Logic and Set Theory supervision with mem62 & ek396

wed 18th

1000 Topics in concurrency

1200-1300 Security II

1400-1500

1500-1600 Discrete Maths supervision with jds68 & dwc35

1600-1700 Discrete Maths supervision with act57 and uz205

1700-1800

1800-1900

thu 19th

1200-1300 Model theory MR 5

1400-1500

1500-1600 Logic & Set theory with dt389 & kjhs2

1600-1700

fri 20th

1000 Topics in concurrency

1200-1300 Security II

1400-1500 Logic and Set Theory with jl734

1500-1600

1600-1700

saturday 21st

0900-1000

1000-1100

1100-1200

1200-1300

1300-1400

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

sunday 22nd

0900-1000

1000-1100

1100-1200

1200-1300

1300-1400

1400-1500

1500-1600

1600-1700

TMS annual Dinner

mon 23rd

1000 Topics in concurrency

1400-1500 Logic & Set theory with et348 and cls80

1530-1700 HoTT reading group

1700-1800

1800-1900

tues 24th

1200-1300 Model theory MR 5

1400-1500

1500-1600

1800-1900

wed 25th

1000 Topics in concurrency

1400-1500

1500-1600 Discrete Maths supervision with jds68 & dwc35

1600-1700

1700-1800

1800-1900

thu 26th

1200-1300 Model theory MR 5

1400-1500

1500-1600

1600-1700

fri 27th

1000 Topics in concurrency

1400-1500 Logic and Set Theory supervision wgr23

1500-1600

1600-1700

saturday 28th

0900-1000

1000-1100

1100-1200

1200-1300

1300-1400

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

M A R C H

sunday 1st

1300-1400

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

monday 2nd

1000 Topics in concurrency

1300-1400

1400-1500: Logic & Set theory with tz263 and ad647

1530-1700 HoTT reading group

1700-1800

dinner in Trinity then TMS debate

tuesday 3rd

1200-1300 Model theory MR 5

1300-1400 Logic and Set Theory supervision with mem62 & ek396

1400-1500 Logic and Set Theory supervision with yyp24 & emo33

1500-1600 Logic and Set Theory supervision with rw476 & lkc32

1800-1900

wednesday 4th

1000 Topics in concurrency

1400-1500

1500-1600 Discrete Maths supervision with jds68 & dwc35

1600-1700

1700-1800

1800-1900

thursday 5th

1200-1300 Model theory MR 5

1400-1500

1500-1600 Logic & Set theory with dt389 & kjhs2

1600-1700

1700-1800

1800-1900

friday 6th

1000 Topics in concurrency

1400-1500 Logic and Set Theory with jl734

1500-1600

1600-1700

saturday 7th

0900-1000

1000-1100

1100-1200

1200-1300

1300-1400

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

sunday 8th

1300-1400

1400-1500

1500-1600

1600-1700

1700-1800

1800-1900

monday 9th

1000 Topics in concurrency

1300-1400 Logic & Set theory with et348 and cls80

1400-1500

1530-1700 HoTT reading group

1700-1800

1800-1900

tuesday 10th

1200-1300 Model theory MR 5

1300-1400

1400-1500

1500-1600

1800-1900

wednesday 11th

1000 Topics in concurrency

1400-1500

1500-1600 Discrete Maths supervision with jds68 & dwc35

1600-1700

1700-1800

1800-1900

thursday 12th

1200-1300 Model theory MR 5

1400-1500: Logic and Set theory with tz263 and ad647

1500-1600 Logic and Set Theory supervision wgr23

1600-1700

1700-1800

1800-1900

full term ends 13/iii

A P R I L

5th april Easter Day

Easter full term starts 21st

M A Y

Randall probably here from mid-may for a month

thursday 28th may pm Computability and Logic exam