Email Gateway (Feb 15 2025 at 11:51): Email Gateway (Feb 15 2025 at 11:51):From: Quentin NIVON <quentin.nivon@inria.fr>
www.formalise.org
<https://formalise.us8.list-manage.com/track/click?u=6e775d476508c80bf1d45eba4&id=362ef60846&e=ecafcf4192>
View this email in your browser
<https://mailchi.mp/6a00a6192ee5/ablgepez6t-17268518?e=ecafcf4192>
Email <mailto:oc@formalise.org>
Email <mailto:oc@formalise.org>
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/
<https://formalise.us8.list-manage.com/track/click?u=6e775d476508c80bf1d45eba4&id=44aa2d51fa&e=ecafcf4192>_
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
<https://formalise.us8.list-manage.com/track/click?u=6e775d476508c80bf1d45eba4&id=df9c5eb458&e=ecafcf4192> 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
<https://formalise.us8.list-manage.com/track/click?u=6e775d476508c80bf1d45eba4&id=c0cda62f86&e=ecafcf4192>.
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
Forward
<https://us8.forward-to-friend.com/forward?u=6e775d476508c80bf1d45eba4&id=611079e049&e=ecafcf4192>
Forward
<https://us8.forward-to-friend.com/forward?u=6e775d476508c80bf1d45eba4&id=611079e049&e=ecafcf4192>
/Copyright © 2025 FormaliSE, All rights reserved./
You are receiving this e-mail because you have attended or have shown
interest in a FormaliSE workshop in the past.
Last updated: Mar 09 2025 at 12:28 UTC