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:
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: