Luís Caires -

Registered user since Fri 27 Apr 2018

Name: Luís Caires

Country: Portugal

Affiliation: Universidade Nova de Lisboa and NOVA LINCS

Personal website: http://ctp.di.fct.unl.pt/~lcaires/

Research interests: Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification

Contributions

OPCT 2019	Author of A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic within the OPCT 2019-track
SPLASH 2019	Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA Artifacts-track Author of Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation within the OOPSLA-track
ESOP 2019	Session Chair of Program Verification (part of ESOP 2019) Chair in Program Committee within the ESOP 2019-track
ETAPS 2019	Session Chair of Fisher (part of Keynotes) Author of ETAPS Steering committee meeting within the Social-track Committee Member in Steering Committee
ECOOP 2016	Author of Composing Interfering Abstract Protocols within the Research Track-track
ESOP 2015	Committee Member in Program Committee within the ESOP-track