6th International Workshop on Rewriting Logic and its Applications
Vienna, Austria, April 1-2, 2006
Home page: http://www-formal.stanford.edu/clt/WRLA06/
Contact e-mail: wrla06@csl.sri.com
There will be a system and tools demo session at WRLA 2006. Each accepted demo will be alloted a 20 minute time slot. If you have a tool based on rewriting logic or a system implementing rewriting logic and would like to give a demonstration at the workshop send a demo proposal to wrla06@csl.sri.com by February 6, 2006. You will be notified of acceptance by February 10, 2006.
The demo proposal should consist of a title (that includes the the name of the tool or system), a contact email address, and an abstract of not more than a half page of ascii text. Please no attachments.