Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Petra van den Bos <address@concealed>
- To: address@concealed
- Subject: [PN-world] FSEN 2025 - Call for Participation
- Date: Fri, 7 Feb 2025 14:01:26 +0100
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=utwente.nl; dmarc=pass action=none header.from=utwente.nl; dkim=pass header.d=utwente.nl; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=fEwUWDwoLjveJUwkwuA1noPy5afgFZx8KldXHvljt1o=; b=XQctDlXNpJtdMat5/aRSKsybiYhhSnVrYmcT8fxOPm3fPdVG3K9exoyLs0sEhyBLPEWUeqhao7nb8CfHJsI/5j+SGxfNSpOnjijiM46TTDyR/d0NyugyChHMQ/wlva1THB8aI3n6bsufVEeSSdtEHCWfE0PwBBNjFkpWXuap7ZIGh+fw3VlNYxuBayfkimI1kstmA+8dratF8zm0Cn4SMmh4Dy4Y3iCzWPdFo+7Ce8aC7h+O28qKwhGMmc5O+BJAbkNMmNvZK6gZ44HK1Ky0L39QsHg0NiaM7bBXihLOQxIji9MOPD3V+pUxblH6pXHoVzsP63kuVWS297Nz6Oao2A==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=lx5NgNn3G/xlJTesGTmThsOCs72LPBw/t3sP938wdZPGUfTuxPVGEx25viqq199BIrhs7hnWyAOlHkHHcUbC+x11+NTYxtGPUUAucMEU4sP7xb9n2OT/WaX3lFHB/9rW9IOmT8DmKeX3CMUbLwlBOilvQT5EzeKZtsODcZL/7tPgH8nnA+lgJ6q+iW9zq4PWI6+A1LbB2DzLA/0KiAk9OQ9k/qzaLEoyPzPoSuBtYfkDeREC4BBFEh5zDWU5+/IXUhZhbdwFM3JFw8sSFLUl7qRO4XoCRQxug112j6mAKBHeh+W755pGzPfnZA3TSZBEMFjrEzGOUC09j8un/5Zdvw==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=utwente.nl header.s=selector2 header.b=AViauKzr; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 2a01:111:f403:2614::713 as permitted sender) address@concealed; dmarc=pass (policy=reject) header.from=utwente.nl; arc=pass ("microsoft.com:s=arcselector10001:i=1")
##########################
FSEN
2025 Call for Participation
Eleventh International Conference on
Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25)
Eleventh International Conference on
Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25)
Västerås, Sweden
7,8 April 2025
##########################
-- About FSEN --
Fundamentals of Software Engineering (FSEN) is an international conference
that aims to bring together researchers, engineers, developers, and practitioners
from academia and industry to present and discuss their research work in the area
of formal methods for software engineering. Additionally, this conference seeks to
facilitate the transfer of experience, adaptation of methods, and where possible,
foster collaboration among different groups. The topics of interest cover all aspects
of formal methods, especially those related to advancing the application of formal methods
in the software industry and promoting their integration with practical engineering
techniques.
7,8 April 2025
##########################
-- About FSEN --
Fundamentals of Software Engineering (FSEN) is an international conference
that aims to bring together researchers, engineers, developers, and practitioners
from academia and industry to present and discuss their research work in the area
of formal methods for software engineering. Additionally, this conference seeks to
facilitate the transfer of experience, adaptation of methods, and where possible,
foster collaboration among different groups. The topics of interest cover all aspects
of formal methods, especially those related to advancing the application of formal methods
in the software industry and promoting their integration with practical engineering
techniques.
This year, FSEN
will take place in Västerås, Sweden, on 7 and 8 April 2025.
The event includes four keynote talks.
The preliminary conference program can be found at:
--
Registration --
To register for the conference please go to the
following page:
The registration deadlines are as follows:
January 31st 23:59 CET: Early-bird registration deadline for paper presenters and participants without presentation- February 21st 23:59 CET: Early-bird registration deadline for poster presenters
- March 14th 23:59 CET: Registration deadline
-- Keynote Speakers --
Işıl Dillig, University of Texas at Austin, United States
Philipp Rümmer, University of Regensburg, Germany, and Uppsala University, Sweden
Alexander Serebrenik, Eindhoven University of Technology, Netherlands
Marielle Stoelinga, University of Twente, Neterlands, and Radboud University, Nijmegen, Netherlands
-- Program Chairs --
Georgiana Caltais, University of Twente, Netherlands
Hossein Hojjat, Tehran Institute for Advanced Studies, Iran
--
Kind regards,
Petra van den BosPublicity Chair FSEN
- [PN-world] FSEN 2025 - Call for Participation, Petra van den Bos, 02/07/2025
Archive powered by MHonArc 2.6.19+.