Proceedings of the 3rd Workshop on Designing Correct Circuits - Index