This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical...
Invited Talks.- Graph Analytics.- A distributed and trusted web of formal proofs.- Prosperos Book...
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated T...