ISTAP 7 will come back soon :

Here is The 6th ISTAP Proceedings :