Space to collect and dicuss teaching material about concurrency theory.

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

• TeaConc 2006
• TeaConc 2007

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

• TFM 2004
• TFM 2009