conf.researchr.org / Alexandre Madeira
Registered user since Mon 23 Feb 2026
Name:Alexandre Madeira
Country:Portugal
Affiliation:University of Aveiro
Personal website: https://sweet.ua.pt/madeira/
Research interests:Modal / hybrid / dynamic / paraconsistent logics; Combination and systematic generation of logics; Formal specification of software Algebraic specification
Contributions
2026
WADT
- Author of Structured Specification in Many Logic Modal Logic within the WADT 2026-track
- Committee Member in Program Committee within the WADT 2026-track
- Committee Member in Programme Committee
- Author of ReTA: Modeling Reconfigurable Timed Automata within the WADT 2026-track
- Committee Member in Steering Committee within the WADT 2026-track