ITU

ICE 2019 - 12th Interaction and Concurrency Experience (Event)

Activity: Membership typesMembership in review committee

Hugo Andres Lopez - Member

ICE - 12th Interaction and Concurrency Experience
20 Jun 201921 Jun 2019

Event (Workshop)

TitleICE 2019 - 12th Interaction and Concurrency Experience
Abbreviated titleICE
Date20/06/201921/06/2019
Website
LocationTechnical University of Denmark
CityKongens Lynbgy
CountryDenmark
Degree of recognitionInternational event

    Research areas

  • formal semantics, process algebras and calculi, models and languages, protocols, logics and types, expressiveness, model transformations, specification and verification

ID: 84394407