This blog is meant as a discussion forum for the members of the IFIP WG1.8 on Concurrency Theory. Members of the WG also use it to contribute posts related to concurrency theory at large. Members of the concurrency theory community are welcome to comment on the posts or solicit discussion on topics they find of interest for the research community on concurrency theory using this blog.
Congrats to Moshe!
In recognition of his outstanding contributions in several areas of computer science connected by their use of logic as an underlying methodology. His work has had fundamental and lasting impact on automatic verification, logic of knowledge, database theory, and finite-model theory.
No comments:
Post a Comment