itp-2015: participants.db@28c0a578db53 (annotated)

290 b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	% 0 Main Conf
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	% 1 Main Conf + Isa
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	% 2 Main Conf + Coq
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	% 3 Main Conf + Isa + Coq
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	\adrentry{Sandrine Blazy}{\euro{}520}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	\adrentry{David Pichardie}{\euro{}488}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	\adrentry{Zoe Paraskevopoulou}{\euro{}510}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	\adrentry{Arthur Chargu\'eraud}{\euro{}478}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\adrentry{Alexandre Mar\'echal}{\euro{}518.96}{1}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	\adrentry{Tobias Tebbi}{\euro{}488}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	\adrentry{Andreas Lochbihler}{\$532}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	\adrentry{Peter Lammich}{\euro{}520}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	\adrentry{Tobias Nipkow}{\euro{}495.35}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	\adrentry{Gert Smolka}{\euro{}569}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	\adrentry{Lu\'is Cruz-Filipe}{\$533}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	\adrentry{Reynald Affeldt }{\textyen{}69,615}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	\adrentry{Rene Thiemann}{\euro{}475.16}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	\adrentry{Sigurd Schneider}{\euro{}488}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	\adrentry{Steven Sch\"afer}{\euro{}488}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	\adrentry{Sylvain Boulm\'e}{\euro{}550}{3}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	\adrentry{Anthony Fox}{\pounds{}406}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	\adrentry{Ond\v{r}ej Kun\v{c}ar}{\euro{}510}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	\adrentry{Thomas Tuerk}{\euro{}478.35}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	\adrentry{Abhishek Anand}{\$533}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	\adrentry{Ramana Kumar}{\pounds{}359}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	\adrentry{Prathamesh Turaga}{\$531}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	\adrentry{Fabian Immler}{\euro{}520}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	\adrentry{Stefan Hetzl}{\euro{}461}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	\adrentry{Johannes Hoelzl}{\euro{}530}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	\adrentry{Gregory Malecha}{\$533}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	\adrentry{Pierre-Yves Strub}{\euro{}517.90}{2}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	\adrentry{Josef Urban}{\euro{}488}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	\adrentry{Michael Norrish}{AU \$730}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	\adrentry{Qinxiang Cao}{\$533}{0}
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	%Petar Maksimovic 942 euro %% what shall we do
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	%Pierre Wilke %% with these two
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	%%%\adrentry{Hugo Herbelin}{3,500 RMB} % needs to pay with the hotel and show us the receipt
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	%%\adrentry{Mariano Moscato}{\$563}{??} % not sure what he registered for
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	%Cyril Cohen %% no money yet
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	%Mohammad Abdulaziz
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	%Qiaowen Jia(贾巧雯)
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	%R\'egis Spadotti
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	%Filip Sieczkowski
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	%Peng Wu(吴鹏)
b06cd6deecf1 updated receipts Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	%Xiaoyu Zhou(周晓宇)

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Thu, 20 Aug 2015 03:20:01 +0800
changeset 308	28c0a578db53
parent 290	b06cd6deecf1
permissions	-rw-r--r--