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 | 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