All CFPs for "formal methods and declarative technologies"
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click .
Click on a topic to see related CFPs.
Acronym | Name | Location | Submission deadline | Start date | Topics | ![]() |
---|---|---|---|---|---|---|
EMAS 2023 | 11th International Workshop on Engineering Multi-Agent Systems | London, UK | Mar 5, 2023 | May 29, 2023 | agent oriented software engineering programming multi agent systems formal methods and declarative technologies tools and testbeds for mas | ![]() |