Mar 25

Paper accepted to LICS 2013

The submission to LICS 2013 titled Unifying Classical and Intuitionistic Logics for Computational Control by Chuck Liang and Dale Miller was accepted.  The final draft of this paper is due 26 April.  If you have any comments on the earlier draft, please get them to one of the authors by then.

Dale MILLER