EXPRESS/SOS 2019 — Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics

Expiré
Dates : 26 août 2019 » 25 août 2019

Lieu : Amsterdam
Pays-Bas

Book your hotel


Organisateur :

Domaine : Mathématiques et Statistiques; Applied Maths: Operational research
Mathématiques et Statistiques;
Mots-clé:: Operational research
Description :

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. Invited speakers: Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany). We invite two types of submissions: * Full papers (up to 15 pages, excluding references) and Short papers (up to 5 pages, excluding references, not included in the workshop proceedings).  We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as, for instance: - computer security - multi-agent systems - programming languages and formal verification - reversible computation - knowledge representation.


EXPRESS/SOS 2019 — Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics se tiendra du 26 août 2019 au 25 août 2019 en Amsterdam, Pays-Bas. Il couvre divers domaines de Mathématiques et Statistiques, y compris Applied Maths: Operational research. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 2019-08-26 2019-08-25 Europe/London EXPRESS/SOS 2019 — Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics https://www.sciencedz.net/fr/conference/48955-express-sos-2019-combined-26th-international-workshop-on-expressiveness-in-concurrency-and-16th-workshop-on-structural-operational-semantics Amsterdam - Pays-Bas

Sections connexes :

Conférences et séminaires en Pays-Bas
Conférences et séminaires en Pays-Basdans 2019
Conférences et séminaires en Mathématiques et Statistiques
Conférences et séminaires en Mathématiques et Statistiquesdans 2019
Conférences et séminaires en Mathématiques et Statistiquesdans Pays-Bas
Conférences et séminaires en Mathématiques et Statistiquesdans Pays-Basdans 2019
Tous les événements
Evénements par pays

Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.