ICE 2019 - 12th Interaction and Concurrency Experience (Event)
Activity: Membership types › Membership in review committee
Links
Hugo Andres Lopez - Member
ICE - 12th Interaction and Concurrency Experience
20 Jun 2019 → 21 Jun 2019
Event (Workshop)
Title | ICE 2019 - 12th Interaction and Concurrency Experience |
---|---|
Abbreviated title | ICE |
Date | 20/06/2019 → 21/06/2019 |
Website | |
Location | Technical University of Denmark |
City | Kongens Lynbgy |
Country/Territory | Denmark |
Degree of recognition | International event |
- formal semantics, process algebras and calculi, models and languages, protocols, logics and types, expressiveness, model transformations, specification and verification
Research areas
ID: 84394407