Registration for the International Conference on Software Engineering (ICSE 2023) and all its Co-Located Events, included FormaliSE 2023 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.

FormaliSE 2023 is a primarily in-person event and papers are expected to be presented in-person, excepting where no co-author is able to attend the conference in Melbourne. If any co-author of a work is attending in-person, they will need to present the paper. If no co-author is able to attend in-person to present an accepted paper, we ask that you let us know which paper that no co-author is able to present in-person as soon as possible. Exactly how remote presenters will be accommodated for presenting and attending is still not finalised at this time.

For further information visit the ICSE Registration Page