| home | | | cfp | | | submission | | | registration | | | programme | | | proceedings | | | kaiserslautern | | | organisation |
The technical programme of VerAS begins at 09:00, Friday 14 September and runs through until 16:30. The technical programme consists of a tutorial, 3 regular presentations and 3 DASMOD presentations. The workshop is co-lated with TPHOLs 2007, which is held from 10-13 September 2007 at the same location.
A detailed programme is available.
| Last modified: 28 Aug 2013. Contact: tphols2007@informatik.uni-kl.de. |