| Equipment |
| 2013-06-19 |
Intel 6205 wireless card (L. Diekmann)
(L. Diekmann) | £19.99 |
| | Total: | £19.99 |
| | Debit Heterogeneous IDEs::Equipment | £19.99 |
| Visit Oracle Labs, Redwood City (L. Diekmann, L. Tratt) |
| 2013-04-12 |
ESTA (L. Diekmann) | £9.40 |
| 2013-04-12 | ESTA (L. Tratt) | £9.40 |
| 2013-05-12 | Travel (Taxi (Heathrow to Wimbledon)) (L. Tratt) | £35.00 |
| 2013-05-12 | Food (WH Smith, Heathrow) (L. Diekmann, L. Tratt) | £6.64 |
| 2013-05-12 | Food (Caffe Nero, Heathrow) (L. Diekmann, L. Tratt) | £17.20 |
| 2013-05-12 |
Travel accessories (Boots, Heathrow)
(L. Diekmann, L. Tratt) | £24.62 |
| 2013-05-12 |
Internet access
(L. Tratt) | £10.05 |
| 2013-05-12 | Food (BJ's, San Mateo) (L. Diekmann, L. Tratt) | £25.53 |
| 2013-05-13 | Food (Oracle canteen) (L. Diekmann, L. Tratt) | £11.52 |
| 2013-05-13 | Food (Shiki, San Mateo) (L. Diekmann, L. Tratt) | £45.88 |
| 2013-05-14 | Food (Peet's, San Mateo) (L. Diekmann, L. Tratt) | £6.85 |
| 2013-05-14 | Food (Oracle canteen) (L. Tratt) | £4.90 |
| 2013-05-14 | Food (Oracle canteen) (L. Tratt) | £5.93 |
| 2013-05-14 | Food (Oracle canteen) (L. Tratt) | £2.14 |
| 2013-05-14 |
Car parking (Union Square, San Francisco)
(L. Diekmann, L. Tratt) | £7.12 |
| 2013-05-14 | Food (Burritt Room, San Francisco) (L. Diekmann, L. Tratt, A. Welc) | £118.18 |
| 2013-05-15 | Food (Oracle canteen) (L. Diekmann) | £4.49 |
| 2013-05-16 | Food (Oracle canteen) (L. Tratt) | £7.13 |
| 2013-05-16 | Food (Oracle canteen) (L. Tratt) | £3.21 |
| 2013-05-17 | Food (Oracle canteen) (L. Diekmann, L. Tratt) | £12.66 |
| 2013-05-17 | Food (Oracle canteen) (L. Tratt) | £4.03 |
| 2013-05-17 | Food (Cetrella, Half Moon Bay) (L. Diekmann, L. Tratt) | £70.99 |
| 2013-05-18 | Food (Andersen Bakery, San Mateo) (L. Diekmann, L. Tratt) | £18.23 |
| 2013-05-19 |
Car rental (Hertz)
(L. Diekmann, L. Tratt) | £283.35 |
| 2013-05-19 | Accomodation (Hyatt house, Belmont) (L. Diekmann) | £807.77 |
| 2013-05-19 | Accomodation (Hyatt house, Belmont) (L. Tratt) | £807.77 |
| 2013-05-19 |
Food
(L. Tratt) | £6.07 |
| 2013-05-19 | Food (Il Fornaio, SFO) (L. Diekmann, L. Tratt) | £22.41 |
| 2013-05-20 |
Heathrow Express
(L. Tratt) | £20.00 |
| 2013-05-20 | Travel (Tube (Heathrow to Mile End)) (L. Diekmann) | £5.50 |
| 2013-05-20 | Food (Pattiserie Valerie, Paddington) (L. Tratt) | £6.80 |
| 2013-05-20 | Travel (Train (Paddington to Taunton)) (L. Tratt) | £88.00 |
| 2013-05-20 | Travel (Heathrow to Wimbledon) (L. Tratt) | £30.00 |
| | Total: | £2538.77 |
| | Debit Heterogeneous IDEs::Travel | £2538.77 |
| Dagstuhl 13182 (L. Diekmann, L. Tratt) |
| 2013-03-18 | Travel (Gatwick to Luxembourg) (L. Tratt) | £89.96 |
| 2013-03-18 | Travel (Luxembourg to Gatwick) (L. Tratt) | £60.83 |
| 2013-03-19 | Travel (Eurostar, Cologne to London) (L. Diekmann) | £50.00 |
| 2013-03-19 | Travel (EasyJet, Gatwick to Luxembourg) (L. Diekmann) | £87.99 |
| 2013-04-28 | Travel (Raynes Park to Gatwick) (L. Tratt) | £7.55 |
| 2013-04-28 | Travel (Victoria to Gatwick) (L. Diekmann) | £14.40 |
| 2013-04-28 | Food ((Cafe Rouge, Gatwick)) (L. Diekmann, L. Tratt) | £47.50 |
| 2013-04-28 | Travel (Taxi, Luxembourg to Dagstuhl) (L. Diekmann, L. Tratt) | £101.85 |
| 2013-04-28 | Food (Sodexo, Luxembourg Airport) (L. Tratt) | £3.48 |
| 2013-05-03 | Food (Sodexo, Luxembourg Airport) (T. Clark, L. Tratt) | £12.09 |
| 2013-05-03 | Accommodation (L. Diekmann, L. Tratt) | £446.86 |
| 2013-05-03 | Food (Sodexo, Luxembourg Airport) (L. Tratt) | £3.05 |
| 2013-05-03 | Travel (City Airport to Waterloo) (L. Tratt) | £4.50 |
| 2013-05-03 | Food (The Balcony, Waterloo) (L. Tratt) | £3.15 |
| | Total: | £933.21 |
| | Debit Heterogeneous IDEs::Travel | £933.21 |
| SSD (L. Tratt) |
| 2013-04-12 |
Crucial M500 480GiB SSD
(L. Tratt) | £306.92 |
| | Total: | £306.92 |
| | Debit Heterogeneous IDEs::Equipment | £306.92 |
| Textbook |
| 2013-04-05 |
'Introduction to Automata Theory, Languages and Computation'
(L. Tratt) | £52.79 |
| | Total: | £52.79 |
| | Debit Heterogeneous IDEs::Equipment | £52.79 |
| Research meeting (L. Diekmann, L. Tratt, A. Welc) |
| 2013-02-21 |
Food
(L. Tratt) | £54.45 |
| 2013-02-21 |
Food
(L. Tratt) | £8.60 |
| | Total: | £63.05 |
| | Debit Heterogeneous IDEs::Travel | £63.05 |
| Visit Oracle Labs, Cambridge (L. Tratt, L. Diekmann) |
| 2013-02-19 | Travel (Raynes Park to King's Cross) (L. Tratt) | £8.90 |
| 2013-02-19 | Travel (King's Cross to Cambridge) (L. Diekmann, L. Tratt) | £30.40 |
| 2013-02-19 | Travel (Taxi) (L. Diekmann, L. Tratt) | £10.00 |
| 2013-02-19 |
Food
(L. Diekmann, L. Tratt) | £14.25 |
| 2013-02-19 |
Food
(L. Diekmann, L. Tratt) | £3.90 |
| | Total: | £67.45 |
| | Debit Heterogeneous IDEs::Travel | £67.45 |
| Conference: POPL 2013, Rome (L. Tratt) |
| 2012-01-30 |
Registration
(L. Tratt) | £432.42 |
| 2013-01-09 | Travel (London to Rome) (L. Tratt) | £207.51 |
| 2013-01-09 | Accomodation (Britannia Hotel) (L. Tratt) | £469.22 |
| 2013-01-20 | Travel (Taunton to Raynes Park) (L. Tratt) | £36.45 |
| 2013-01-21 | Travel (Raynes Park to Gatwick) (L. Tratt) | £11.40 |
| 2013-01-21 |
Food
(L. Tratt) | £4.08 |
| 2013-01-21 | Travel (Fimuicino to Roma Termini) (L. Tratt) | £12.12 |
| 2013-01-21 |
Food
(L. Tratt) | £28.46 |
| 2013-01-21 |
Food
(L. Tratt) | £5.69 |
| 2013-01-23 |
Food
(L. Tratt) | £28.46 |
| 2013-01-26 |
Food
(L. Tratt) | £26.57 |
| 2013-01-26 |
Rome hotel tax
(L. Tratt) | £14.23 |
| 2013-01-26 |
Food
(L. Tratt) | £6.77 |
| 2013-01-26 |
Food
(L. Tratt) | £3.10 |
| 2013-01-26 | Travel (Roma Termini to Fiumicino) (L. Tratt) | £12.12 |
| 2013-01-26 | Travel (Heathrow Express) (L. Tratt) | £20.00 |
| 2013-01-26 | Travel (Paddington to Raynes Park) (L. Tratt) | £6.70 |
| | Total: | £1325.30 |
| | Debit Heterogeneous IDEs::Travel | £1325.30 |
| Laptop battery |
| 2013-01-08 |
X220 battery
(L. Tratt) | £77.81 |
| | Total: | £77.81 |
| | Debit Heterogeneous IDEs::Equipment | £77.81 |
| Guest lunch (L. Tratt, R. Winder) |
| 2012-12-06 |
Food
(L. Tratt) | £32.39 |
| | Total: | £32.39 |
| | Debit Heterogeneous IDEs::Travel | £32.39 |
| Research lunch (L. Tratt, K. Androutsopoulous) |
| 2012-11-07 | Food (Fernandez and Wells, Somerset House) (L. Tratt) | £17.60 |
| | Total: | £17.60 |
| | Debit Heterogeneous IDEs::Travel | £17.60 |
| Research lunch (L. Tratt, T. Clark) |
| 2012-10-10 |
Food
(L. Tratt) | £18.25 |
| | Total: | £18.25 |
| | Debit Heterogeneous IDEs::Travel | £18.25 |
| Laptop and associated equipment (L. Diekmann) |
| 2012-06-09 |
Logitech M570 trackball
(L. Tratt) | £35.86 |
| 2012-07-07 |
Lenovo X230 laptop
(L. Tratt) | £1057.19 |
| 2012-07-08 |
Samsung 830 SSD
(L. Tratt) | £77.98 |
| 2012-07-08 |
BenQ GW2450HM monitor
(L. Tratt) | £131.99 |
| 2012-07-08 |
Cherry Stream XT keyboard
(L. Tratt) | £19.31 |
| | Total: | £1322.33 |
| | Debit Heterogeneous IDEs::Equipment | £1322.33 |
| Visit Oracle Labs, Cambridge (L. Tratt) |
| 2012-06-21 |
Accommodation
(L. Tratt) | £90.00 |
| 2012-06-21 |
Travel and food
(L. Tratt) | £81.60 |
| | Total: | £171.60 |
| | Debit Heterogeneous IDEs::Travel | £171.60 |