Space to collect and dicuss teaching material about concurrency theory.

For example, there have been dedicated workshops to Teaching Concurrency in the past: 

 But also events with the larger scope of Teaching Formal Methods: