DEEP-SE
Welcome to the DEpendable Evolvable Pervasive Software Engineering (DEEP-SE) team at the Department of Electronics, Information Science and Bioengineering (DEIB) at Politecnico di Milano.
About Us
The DEEP-SE team conducts research on methods, techniques, tools, and frameworks for the design, development, and verification of complex software systems. By complex software we mean those systems that can be characterized, in varying degrees and flavors, as distributed, pervasive, adaptive, reconfigurable, dynamic, and critical. The pursued research activities encompass a variety of aspects of such systems, ranging from modeling and analysis issues in the early phases of their development, to issues related to their implementation and runtime management and optimization.
The team also investigates the economic and strategic impact of software on industry and society in general. Formal languages and techniques for the modeling and verification of the target applications play a central role in the research activity of the team. Most of the research activities eventually lead to software prototypes and experimentation, some of which are available as open-source software. Yet, various members of the team are also committed to methodological and theoretical investigation.
π¨ Deadline Extended! π¨
The submission deadline for the 13th Track on Software Architecture at ACM/SIGAPP SAC2025 has been extended π the new date is
ποΈ October 4, 2024 ποΈ
More at
@gioenn @karthi_ishere @DeepSE_PoliMi
#FM2024 saw a record-breaking number of 219 submissions to 6 tracks with 4 keynotes, 5 co-located events and 6 workshops leading to countless discussions and ideas shared throughout all last week π‘
Grazie π
πΈβ‘οΈhttps://www.fm24.polimi.it
Looking forward to #FM2026 π
π The 13th track on Software Architecture (SA-TTA) at the 40th ACM/SIGAPP SAC 2025 π calls for high-quality contributions! β¨
π
Important Dates:
π Submission: Sept 20, 2024
π’ Notification: Oct 30, 2024
More at
Donβt miss out! #SoftwareArchitecture