report (1).pdf
Status of Tracking at DESY Paul Dauncey, Michele Faucci Giannelli, Mike Green, Hakan Yilmaz, Anne Marie Magnan, George Mavromanolakis, Fabrizio Salvatore.
Lazy Abstraction Lecture 2: Modular Analyses Ranjit Jhala UC San Diego With: Tom Henzinger, Rupak Majumdar, Ken McMillan, Gregoire Sutre.
Peter Capak Associate Research Scientist IPAC/Caltech.
Proposal for the Barrel Alignment Upgrade