• A4 landscape .pdf (1.5 Mb) for viewing with Acrobate Reader and compressed PostScript .ps.gz (4.5 Mb) for viewing with Ghostview or printing;
• 2 slides per A4 portrait page .pdf (1.5 Mb) for viewing with Acrobate Reader and compressed PostScript .ps.gz (4.5 Mb) for viewing with Ghostview or printing;
• 4 slides per A4 landscape sheet for printing, .ps.gz (1.5 Mb).

\bibitem{Cousot05-Tokyo-symposium}
P.~Cousot.
\newblock Challenges in Abstract Interpretation for Software Safety.
\newblock In \emph{French-Japanese symposium on computer security}, 
	  Keio University, Mita Campus, Global Security Research 
          Institute, Tokyo, Japan. September 5--7, 2005.

@inprocedings{Cousot05-Tokyo-symposium,
   author =    {Cousot, P{.}},
   title  =    {Challenges in Abstract Interpretation for Software Safety},
   booktitle = {French-Japanese symposium on computer security},
   address =   {Keio University, Mita Campus, Global Security Research 
                Institute, Tokyo, Japan},
   month =     sep # " 5--7",
   year =      2005,
}