Animation and exchanges in the Petri Nets community

[Quentin NIVON <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 the detailed program of the conference.

Registration
Registration for FormaliSE is open. You can register at https://2025.formalise.org/attending/registration. Discount reservations at selected hotels are still available, but will expire soon!

Keynote speakers

Corina
                                        Pasareanu (NASA, USA): Adversarial
                                          Perturbations and
                                          Self-Defenses for Large
                                          Language Models on Coding Task
                                      Krzysztof
                                        Czarnecki (University of
                                        Waterloo, Canada): Assuring
                                          AI in Autonomous Driving:
                                          Challenges and Emerging
                                          Approaches

For details see: https://conf.researchr.org/home/Formalise-2025#Keynotes 

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
                                                          
                                                          
                                                          
                                                          
                                                          
                                                          
                                                          
                                                          
                                                          
                                                        
                                                      
                                                    
                                                  
                                                
                                              
                                            
                                          
                                        
                                      
                                    
                                  
                                
                              
                            
                          
                        
                      
                    
                    
                      
                        
                          
                            
                              
                                
                                   
                                       
                                  
                                
                              
                            
                          
                        
                        
                          
                            
                              
                                
                                   
                                       
                                  
                                
                              
                            
                            
                              
                                
                                   
                                       
                                  
                                
                              
                            
                          
                        
                      
                    
                  
                
              
            
          
        
        
          
            
              
                
                  
                    
                      
                        
                          
                          
                        
                      
                    
                  
                  
                    
                      
                        
                          
                          
                        
                      
                    
                  
                
              
            
          
        
        
          
            
              
                
                  
                    
                      
                        
                          
                            
                              
                                
                                   Copyright © 2025
                                      FormaliSE, All rights reserved.