--- a/Paper/document/root.bib	Wed Jun 30 16:56:37 2010 +0100
+++ b/Paper/document/root.bib	Thu Jul 01 01:53:00 2010 +0100
@@ -1,6 +1,7 @@
 @Inproceedings{Altenkirch10,
   author = {T.~Altenkirch and N.~A.~Danielsson and A.~L\"oh and N.~Oury},
   title =  {{PiSigma}: {D}ependent {T}ypes {W}ithout the {S}ugar},
+  booktitle = "Proc.~of the 10th FLOPS Conference",
   year = 2010,
   series = "LNCS",
   pages = "40--55",