The 17th International Workshop on Computer Science Logic (CSL) 2003
31 March 2003 title and abstract 7 April 2003 full text 2 June 2003 Notification 18 June 2003 Final copy