FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

0 results

People (12 results)
Hong Jin Kang

Hong Jin Kang

… …

Tim Menzies

Tim Menzies

… …

Juri Di Rocco

Juri Di Rocco

… …

Attending Information (2 results)

Equity, Diversity, and Inclusion Plan for ICSE 2025

… ** – we encourage all members of committees, reviewers, and participants … to the goals of the IEEE Computer Society and all of its conferences. Equity at its … an environment in which all individuals are entitled to participate in any IEEE …

Code of Conduct for ICSE 2025 and its Co-Located Events

… is committed to providing a welcoming space for all attendees.

A primary goal ...

We expect all ICSE 2025 participants to behave professionally and to help create a safe and welcoming environment for all attendees, volunteers, sponsors ...

Tracks (1 results)

FormaliSE 2025: International Conference on Formal Methods in Software Engineering

… future work.

All papers submitted to the FormaliSE 2025 conference ... pages including all text, figures, tables and appendices, but excluding references ... that the reviewers find that the presentation is of high quality.

All submissions ...

General (1 results)

FormaliSE 2025 Homepage

… FormaliSE 2025 Welcome to the website of the FormaliSE 2025 conference. We are working hard to fill the website with all related information. Please check back soon! …