express-sos.github.io - EXPRESS/SOS 2023

home > domains > express-sos.github.io

Example domain paragraphs

The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as: computer security multi-agent systems programming languages and formal verification reversible computation knowledge representation

The invited talks

Links to express-sos.github.io (2)

• jperez.nl Jorge A. Pérez
• jorgeaperez.net Jorge A. Pérez