Workshops
The following workshops will form satellite events associated with the conference:
1) 1st Workshop on the Internet of Things (IoT 2013)
2) Southern African Chapter of the Association for Information Systems (AISSAC 2013)
3) Correctness-by-Construction workshop
