% 0 Main Conf
% 1 Main Conf + Isa
% 2 Main Conf + Coq
% 3 Main Conf + Isa + Coq

\adrentry{Sandrine Blazy}{\euro{}520}{2}
\adrentry{David Pichardie}{\euro{}488}{0}
\adrentry{Zoe Paraskevopoulou}{\euro{}510}{2}
\adrentry{Arthur Chargu\'eraud}{\euro{}478}{0}
\adrentry{Alexandre Mar\'echal}{\euro{}518.96}{1}
\adrentry{Tobias Tebbi}{\euro{}488}{0}
\adrentry{Andreas Lochbihler}{\$532}{0} 
\adrentry{Peter Lammich}{\euro{}520}{2}
\adrentry{Tobias Nipkow}{\euro{}495.35}{0}
\adrentry{Gert Smolka}{\euro{}569}{0}
\adrentry{Lu\'is Cruz-Filipe}{\$533}{0}
\adrentry{Reynald Affeldt }{\textyen{}69,615}{2}
\adrentry{Rene Thiemann}{\euro{}475.16}{0}
\adrentry{Sigurd Schneider}{\euro{}488}{0}
\adrentry{Steven Sch\"afer}{\euro{}488}{0}
\adrentry{Sylvain Boulm\'e}{\euro{}550}{3}
\adrentry{Anthony Fox}{\pounds{}406}{0}
\adrentry{Ond\v{r}ej Kun\v{c}ar}{\euro{}510}{2}
\adrentry{Thomas Tuerk}{\euro{}478.35}{0}
\adrentry{Abhishek Anand}{\$533}{0}
\adrentry{Ramana Kumar}{\pounds{}359}{0}
\adrentry{Prathamesh Turaga}{\$531}{0}
\adrentry{Fabian Immler}{\euro{}520}{2}
\adrentry{Stefan Hetzl}{\euro{}461}{0}
\adrentry{Johannes Hoelzl}{\euro{}530}{2}
\adrentry{Gregory Malecha}{\$533}{0}
\adrentry{Pierre-Yves Strub}{\euro{}517.90}{2}
\adrentry{Josef Urban}{\euro{}488}{0}
\adrentry{Michael Norrish}{AU \$730}{0}
\adrentry{Qinxiang Cao}{\$533}{0}


%Petar Maksimovic	942 euro                  %% what shall we do
%Pierre Wilke	                                  %% with these two

%%%\adrentry{Hugo Herbelin}{3,500 RMB}            % needs to pay with the hotel and show us the receipt

%%\adrentry{Mariano Moscato}{\$563}{??}           % not sure what he registered for

%Cyril Cohen                                      %% no money yet
%Mohammad Abdulaziz
%Qiaowen Jia(贾巧雯)
%R\'egis Spadotti	
%Filip Sieczkowski	

%Peng Wu(吴鹏)	
%Xiaoyu Zhou(周晓宇)