Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
EXPRESS/SOS 2014 - 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structured Operational Semantics
Topics/Call fo Papers
ORGANIZERS:
Johannes Borgström (Uppsala University)
Silvia Crafa (Universita' di Padova)
DESCRIPTION:
The EXPRESS workshop series aims at bringing together researchers
interested in the expressiveness of various formal systems and
semantic notions, particularly in the field of concurrency. The SOS
workshop series aims at being a forum for researchers, students and
practitioners interested in new developments, and directions for
future investigation, in the field of structural operational
semantics. The combined EXPRESS/SOS workshop focuses on the formal
semantics of systems and programming concepts, and on the
expressiveness of mathematical models of computation.
Johannes Borgström (Uppsala University)
Silvia Crafa (Universita' di Padova)
DESCRIPTION:
The EXPRESS workshop series aims at bringing together researchers
interested in the expressiveness of various formal systems and
semantic notions, particularly in the field of concurrency. The SOS
workshop series aims at being a forum for researchers, students and
practitioners interested in new developments, and directions for
future investigation, in the field of structural operational
semantics. The combined EXPRESS/SOS workshop focuses on the formal
semantics of systems and programming concepts, and on the
expressiveness of mathematical models of computation.
Other CFPs
- 8th International IFIP Conference on Theoretical Computer Science (IFIP-TCS)
- 9th International Symposium on Trustworthy Global Computing (TGC 2014)
- The 25th Conference on Concurrency Theory
- 18th International Software Product Line Conference
- The International Conference on Quantitative Evaluation of SysTems (QEST)
Last modified: 2013-11-26 23:44:15