From Kevin Donnelly:

For next week we plan to have put together the inverse propositional BI 
prover and tested it somewhat, to have added proof terms to our method and 
have a type checker written and to extend to parser written by the red 
group to take BI propositions.  Also, we hope to make progress towards 
focusing for BI, at this point it seems like there are a lot of issues to 
consider so we will probably have only a preliminary focusing method.