[TYPES/announce] [SEFM 2026] Call for Workshop Proposals

[Duncan Paul Attard]

Call for Workshop Proposals
SEFM 2026
24th International Conference on Software Engineering and Formal Methods
The Organising Committee of SEFM 2026, the 24th International Conference on Software Engineering and Formal Methods, invites proposals for workshops to be held in conjunction with the conference in Malta, on 23–24 November 2026.

Workshops provide an opportunity for researchers and practitioners to discuss emerging topics, foster collaboration, and explore new directions related to software engineering and formal methods.

We welcome proposals for one-day or two-day workshops, including both established workshop series and new initiatives.

Topics of Interest
Workshop topics should be related to the broad scope of SEFM, including, but not limited to:

Formal methods for software engineering
System modelling techniques
Requirements engineering
Testing and quality assurance 
Software configuration management
Verification and validation
Human-computer interaction
Model checking and theorem proving
Runtime verification and monitoring
Programming languages and semantics
Formal methods for AI and machine learning
Security, privacy, and trust
Cyber-physical, autonomous, and distributed systems
Formal approaches to concurrency and communication
Industrial applications of formal methods
Emerging and interdisciplinary topics

Proposals on novel, timely, or cross-disciplinary themes are particularly encouraged.

Proposal Submission
Workshop proposals should include the following information:

Workshop title and acronym
Organisers
Names
Affiliations
Contact information
Motivation and scope
Workshop objectives
Scientific rationale
Relevance to SEFM
Topics of interest
Format
Describe the intended format, such as:
Invited talks
Paper presentations
Panels
Tutorials
Discussion sessions
Expected audience and participation
Target community
Expected number of participants
History (if applicable)
For previously held workshops:
Previous editions
Locations
Approximate attendance
Proceedings plans (if any)
Indicate whether the workshop intends to publish proceedings or post-proceedings.

Important Dates
Workshop proposal submission: 20 May 2026
Notification of acceptance: 27 May 2026
Workshop dates: 23–24 November 2026

Submission Instructions
Proposals should be submitted by email to the SEFM 2026 Workshop Chair:

Duncan Attard
duncan.attard at um.edu.mt <mailto:duncan.attard at um.edu.mt>
Questions regarding workshop proposals may also be directed to the Workshop Chair at the address above.
-- 
*The contents of this email are subject to *these terms 
<https://urldefense.com/v3/__https://www.um.edu.mt/disclaimer/email/__;!!IBzWLUs!SsC1TRhDdyQrJHpI_DfNwZqUi1IGlAOqWGhS0QN6eJmXLfx58D7QCy-F90gOrvvYsyz-EY0LHtSGQjaiXNPWfkk3lp2F2aXIXoLQjShG$ >.**
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260421/65254645/attachment-0001.htm>