WADT 2024
Mon 8 Jul 2024
Enschede, Netherlands
co-located with
STAF 2024
Toggle navigation
Attending
Venue: University of Twente
STAF 2024
Accommodation
Registration
Conference Reception and Dinner
Previous editions
Program
WADT Program
Your Program
Mon 8 Jul
Tracks
WADT 2024
Research papers
STAF 2024
Keynotes
Organization
WADT 2024 Committees
Steering Committee
Programme Committee
Contributors
People Index
Search
Series
Sign in
Sign up
STAF 2024
(
series
) /
WADT 2024
(
series
) /
Alexandre Madeira
STAF 2024 profile
conf.research.org general profile
‹Programming› 2023 profile
Not registered as user yet
Name:
Alexandre Madeira
Country:
Portugal
Affiliation:
University of Aveiro
Contributions
2024
WADT
Formal Specification with Many-Logics Modal Logic
Committee Member in Programme Committee
Session Chair of WADT Session 1 (part of Research papers)
Show activities from other conferences
Share
STAF 2024-profile
View general profile
x
Sat 7 Dec 21:25