Search for 'all'
results
Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm
Research Track When: Mon 13 Apr 2026 11:00 - 11:30 People: Tom Levy, Steve Reeves
… affects all previous algorithms. …
Test Data Selection by Failure Coverage
Research Track When: Mon 13 Apr 2026 12:15 - 12:30 People: Amani Ayad, Ali Mili
… , condition coverage, line coverage, mutation coverage, etc. are all excellent … adequacy; unlike all existing measures of test suite effectiveness, failure …
Equity, Diversity, and Inclusion Plan for ICSE 2026
… a series of events.
All the events aim to create a safe space for networking … Society and all of its conferences. Equity, at its heart, is about removing barriers … of the IEEE Computer Society is to foster an environment in which all …
In-Person Conference
… Remotely All conference rooms will be set up with Zoom sessions throughout …, will be shared with all registered attendees approximately one week before … in your local timezone.
Rooms with Full Broadcast Capability
While all …
Code of Conduct for ICSE 2026 and its Co-Located Events
… for all ….
Expected Behaviour
We expect all ICSE 2026 ... environment for all attendees, volunteers, sponsors, organizers, speakers, venue ...
Artifact Track
… reproducible.
Submission of an artifact is optional but encouraged for all papers … is optional but encouraged for all papers where it can support the results … the contribution associated with the artifact.
Evaluation Criteria
All …
Research Track
… Charges (APCs; see https://libraries.acm.org/acmopen/article-types).
All … lightweight double-anonymous review process (see below).
All submissions must be in PDF …/
Open Access
Starting 2026, all articles published by ACM …
FormaliSE 2026 Homepage
… FormaliSE 2026 Welcome to the website of the FormaliSE 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …