Abbrevation
ASE
Link
http://ase.cs.ucl.ac.uk/
City
Edinburgh
Country
UK
Deadline Paper
Start Date
End Date
Abstract

theoretical foundations and tools for the automation of: Reasoning techniques Software specification software design and synthesis Category & Graph&#8211;theoretic approaches Computer&#8211;supported cooperative work Domain modelling and meta&#8211;modelling Human comput <b>Keywords:</b>