petri-net-world - [PN-world] Call for Participation: FORMALISE 2025

Subject: Animation and exchanges in the Petri Nets community

List archive

[PN-world] Call for Participation: FORMALISE 2025

From: Quentin NIVON <address@concealed>
To: destinataires inconnus: ;
Subject: [PN-world] Call for Participation: FORMALISE 2025
Date: Fri, 14 Feb 2025 13:52:02 +0100
Authentication-results: spool.mail.gandi.net; dkim=pass header.d=inria.fr header.s=dc header.b=V5Rk7rqI; dmarc=pass (policy=none) header.from=inria.fr; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 192.134.164.104 as permitted sender) address@concealed

www.formalise.org View this email in your browser Facebook Website Email LinkedIn

Call for Participation: FORMALISE 2025
13th International Conference on Formal Methods in Software Engineering
27 and 28 April, 2025
co-located with ICSE 2025 (April 27-May 3, 2025), Ottawa, Canada
http://www.formalise.org/

Introduction
FormaliSE is a yearly conference on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering). The main goal of the conference is to foster integration between the formal methods and the software engineering communities. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses that are inevitable in the complex activities behind software creation. This is where formal methods have a huge opportunity.

Program
See https://conf.researchr.org/home/Formalise-2025#event-overview for a detailed overview of the list of accepted papers.

Registration
Registration for FormaliSE is open. You can register at https://2025.formalise.org/attending/registration. Low registration fees apply until 18 February 2025, so register now!

Keynote speakers

Corina Pasareanu, KBR / NASA Ames Research Center, USA
Krzysztof Czarnecki, University of Waterloo, Canada

General Chairs

Stefania Gnesi, Istituto di Scienza e Tecnologie dell’Informazione, Italy
Nico Plat, The Netherlands

Program Chairs

Anastasia Mavridou, KBR / NASA Ames Research Center, USA
Gwen Salaün, University Grenoble Alpes, France

Artifact Evaluation Chairs

Ákos Hajdu, Meta, UK
Lina Marsso, University of Toronto, Canada

Social Media Chair

Quentin Nivon, University Grenoble Alpes, France

Program committee

Bernhard Aichernig, TU Graz, Austria
Toshiaki Aoki, Japan Advanced Institute of Science and Technology, Japan
Kyungmin Bae, Pohang University of Science and Technology, Korea
Domenico Bianculli, University of Luxembourg, Luxembourg
Simon Bliudze, INRIA Lille - Nord Europe, France
Giovanna Broccia, ISTI - CNR, Italy
Radu Calinescu, University of York, UK
Pablo Castro, National University of Rio Cuarto, Argentina
Zhenbang Chen, NUDT, China
Nancy Day, University of Waterloo, Canada
Francisco Durán, University of Málaga, Spain
Marie Farrell, University of Manchester, UK
Carlo A. Furia, USI Lugano, Switzerland
Fatemeh Ghassemi, University of Tehran, Iran
Divya Gopinath, KBR/ NASA Ames Research Center, USA
Yann-Gaël Guéhéneuc, Concordia University, Canada
Paula Herber, University of Münster, Germany
Marieke Huisman, University of Twente, The Netherlands
Fuyuki Ishikawa, National Institute of Informatics, Japan
Xiaoqing Jin, Apple Inc., USA
Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
Oleksandr Kolchyn, Glushkov Institute of Cybernetics, Ukraine
Antónia Lopes, University of Lisbon, Portugal
Larissa Meinicke, University of Queensland, Australia
Camilo Rocha, Pontificia Universidad Javeriana, Colombia
Cristina Seceleanu, Mälardalen University, Sweden
Arpit Sharma, EECS Department, IISER Bhopal, India
Allison Sullivan, University of Texas, Arlington, USA
Heike Wehrheim, University of Oldenburg, Germany

[PN-world] Call for Participation: FORMALISE 2025, Quentin NIVON, 02/14/2025

List archive

[PN-world] Call for Participation: FORMALISE 2025