Carlos Olarte -

Registered user since Wed 10 Mar 2021

Name: Carlos Olarte

Country: Brazil

Affiliation: Federal University of Rio Grande do Norte, Brazil

Personal website: https://sites.google.com/site/carlosolarte/

Research interests: Formal methods, logic, concurrent systems

Contributions

SLE 2021	Committee Member in Program Committee within the SLE-track
SLE 2020	Author of A Semantic Framework for PEGs within the SLE-track
GaLoP 2019	Author of Modalities as prices: a game model of intuitionistic linear logic with subexponentials within the GaLoP-track