In this session authors will have the possibility to give a demo of their systems. If you want to give a demo, please send us an email at uitp06-chairs@ags.uni-sb.de. We will update this webpage accordingly, so please check regularly.
Depending on time, we will also use that session the discuss interesting directions for future research about user interfaces for theorem provers.