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

Committee Member in Program Committee within the WADT 2026-track
Committee Member in Programme Committee
Committee Member in Steering Committee within the WADT 2026-track

2025

QP

Author of Exploring a quantum programming language with concurrency within the QP 2025-track

2024

WADT

Presenter of On the Algebra of Reactive Graphs within the Research papers-track
Author of Formal Specification with Many-Logics Modal Logic within the Research papers-track
Committee Member in Programme Committee
Session Chair of WADT Session 1 (part of Research papers)

2023

QP

Author of Capturing qubit decoherence through paraconsistent transition systems within the QP2023-track

2019

FASE

Author of A Hybrid Dynamic Logic for Event/Data-based Systems within the FASE 2019-track