September 2026 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Sep 2 21:20:11 CEST 2026
Ending: Mon Sep 28 11:50:59 CEST 2026
Messages: 6

• [fg-arc] Call for Papers: SAML 2027 - International Workshop on Software Architecture and Machine Learning @ICSA2027   Marie Platenius-Mohr
• [fg-arc] [CfP] FormaliSE 2027: 15th International Conference on Formal Methods in Software Engineering   Alexandra Mendes
• [fg-arc] [CFP] AHPC3: The 4th Workshop on Accelerated HPC in the Cloud-Edge Continuum   Valerio Besozzi
• [fg-arc] CFP: JLAMP Special Issue on Formal Requirements Engineering and Artificial Intelligence.   Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC]
• [fg-arc] NASA Formal Methods (NFM): First Call for Papers   Rozier, Kristin-Yvonne [AER E]
• [fg-arc] The 39th International Conference on Software Engineering Education and Training (CSEE&T 2027): First Call for Papers   Announce

Last message date: Mon Sep 28 11:50:59 CEST 2026
Archived on: Mon Sep 28 11:51:52 CEST 2026

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...