International Conference on Formal Methods in Software Engineering
WHEN 14-15 Apr '24
WHERE Lisbon, Portugal
Registration for the International Conference on Software Engineering (ICSE 2024) and all its Co-Located Events, included FormaliSE 2024 is now open.
All accepted papers must be covered by a full registration by at least one co-author (not student registration) for the main conference, co-located event or workshop they are appearing in, as appropriate. However, each registration for an event may cover more than one paper co-authored for that event.
For further information visit the ICSE Registration Page