
12th International Symposium On Leveraging Applications of Formal Methods, Verification, and Validation

12th International Symposium On Leveraging Applications of Formal Methods, Verification, and Validation

3rd International Conference on Energy Transition in the Mediterranean Area

20th International Conference on Wireless and Mobile Computing, Networking and Communications

12th IEEE International Conference on Cloud Engineering (IC2E 2024)

21st European Mediterranean & Middle Eastern Conference on Information Systems