Open Problems and Future Research Directions Repository
Let us assume that one can assess the healthiness of concurrency theory by looking at the most important open problems in that field. These open problems can be used to try and convince researchers in another area and students that the field of concurrency theory is "alive and kicking", and maybe entice a few of them to work within the field.
Based upon this thought experiment, wouldn't it be a good thing to have a repository of open problems that identify the present state of development in concurrency theory, and suggest directions for further research?
At some point in the past, I started putting together a list of open problems, but I have not maintained it for a while. Will you help me revive this enterprise by sending me, or posting as a comment to this blog entry, a description of your favourite open problems in concurrency theory, together with links to partial solutions and pointers to the literature? This input of yours might even form the basis for a useful installment of the Concurrency Column in the Bulletin of the EATCS (which I could edit on behalf of the contributors), and generate a lot of research in our field.
I also believe that the result of this discussion would be useful for the whole concurrency theory community.