% 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(周晓宇)