Claire Le Goues @clegoues.bsky.social gave a fantastic ISSTA @issta.bsky.social 2025 keynote this morning on software correctness in the age of generative AI.

📣 This year, ISSTA will feature a special session on Software Inclusivity:

👉 Four short talks
👉 Guided networking session
✅ Topics: accessibility testing, digitalisation costs, AR for neurodiversity etc.

⏲️ 11am on Thursday 26th June
🗺️ Aurora A room.

📣 Are you interested in serving on the Program Committee for ISSTA 2026? Please let us know by filling out this form:

forms.gle/MaXAKysfMSdq...

#FUZZING'25 Deadline Extension
──────
If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025!

🔗 fuzzingworkshop.github.io

//cc @rohan.padhye.org, László Szekeres,
@ruijiemeng.bsky.social, @mboehme.bsky.social

📢 Registrations + Travel/Childcare Grant Applications are open!

Early bird deadline: Apr 16

👉 Register: conf.researchr.org/attending/is...

@sigsoft.bsky.social will again support through travel and childcare grants!

Application deadline: Apr 2

👉 Apply: www2.sigsoft.org/caps/capsmain

#FUZZING'25 CALL FOR PAPERS
──────
✨ New OC members:
* Ruijie Meng (@ruijiemeng.bsky.social; NUS)
* Rohan Padhye (@rohan.padhye.org; CMU).
✨ New paper type: Fuzzing Nuggets (short papers).

🔗 fuzzingworkshop.github.io
📅 20.March (Submission)
📅 17.April (Notification)
📅 28.June (Workshop)

📣 Check out our workshops!

💡 Topics: CPAchecker, EXPlainable and REliable Systems, fuzzing and LLM supply chain

📅 Submission in March

CPA'25: cpa.sosy-lab.org/2025
EXPRESS'25: conf.researchr.org/home/issta-2...
FUZZING'25: fuzzingworkshop.github.io
LLMSC'25: llmsc.github.io

⚠️ The deadline for tool demo submissions will be *EARLIER* than previously planned. The updated schedule is:

📅 Submission: March 20th, 2025 at issta25demos.hotcrp.com
📅 Notification: April 10th, 2025
📷 Camera-ready: April 24th, 2025

📢 CALL FOR #ISSTA25 TOOL DEMOS

🔧 Showcase your innovative software testing and analysis tools from both academia and industry.

📅 Submission: April 4th, 2025 at issta25demos.hotcrp.com
📅 Notification: April 25th, 2025

More details: conf.researchr.org/track/issta-...

📢 CALL FOR #ISSTA25 NOMINATIONS: IMPACT PAPER AWARD

📆 Last nomination by January 3

Details: see attached picture

📢 CALL FOR #ISSTA25 WORKSHOP PROPOSALS

⚠️ Submission review *on a rolling basis*
📅 Last submission by January 10

Details: conf.researchr.org/track/issta-...

📢 CALL FOR #ISSTA25 NOMINATIONS: IMPACT PAPER AWARD

📆 Last nomination by January 3

Details: see attached picture

📢 CALL FOR #ISSTA25 WORKSHOP PROPOSALS

⚠️ Submission review *on a rolling basis*
📅 Last submission by January 10

Details: conf.researchr.org/track/issta-...