SBMF 2025
28th Brazilian Symposium on Formal Methods
|
VikingPLoP 2026
VikingPLoP 2026 - Traveling Conference on Pattern Languages of Programs
|
NTIJ 2025
Nanoscience and Technology: An International Journal
|
MBMV 2025
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
|
IEEE AIxVR 2026
8th International Conference on Artificial Intelligence & extended and Virtual Reality
|
AIChE Spring Meeting & GCPS 2026
2026 AIChE Spring Meeting & 22nd Global Congress on Process Safety
|
A&WMA ACE 2026
A&WMA's 119th Annual Conference & Exhibition: Energizing the Future
|
ASPLOS 2026
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Summer
|
IJPLA 2025
International Journal of Programming Languages and Applications
|
TdD 2026
Temes de Disseny 2026 Special Issue: Design Practices Transitioning Towards Embracing Systemic Worldviews
|