Let’s tame some concurrent systems!

Since the 1980s, computer scientists have been trying to make concurrent and distributed systems dependable with the magical help of math.

This website is maintained by members of the IFIP-WG 1.8 “Concurrency Theory” to improve everyone’s overview of what has been going ond and where the next TRENDS in Concurrency Theory might take us.

---