diff -r f028685a49f3 -r b06cd6deecf1 participants.db
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/participants.db	Tue Aug 18 15:24:17 2015 +0800
@@ -0,0 +1,52 @@
+% 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(周晓宇)	
\ No newline at end of file