---------------
CALL FOR PAPERS - EXTENSION
---------------
As requested by many authors, we extend the paper submission deadlines. The new submission deadlines are 16 February 2025 (Paper Registration) and 23 February 2025 (Full Paper Submission).
The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025)
2-4 July 2025, Gold Coast, Australia
https://iwqos2025.ieee-iwqos.org/
Overview
We invite the submission of manuscripts presenting original research results to the IEEE/ACM
International Symposium on Quality of Service (IWQoS) 2025, which will be held from July
2-4, 2025, in Gold Coast, Australia. Quality of Service (QoS) has long been a central focus
for communications and networking researchers worldwide. While traditional QoS research
areas continue to garner significant interest, emerging domains such as the Internet of
Things, data centers, virtualization, cloud and fog computing, green computing, and
artificial intelligence are driving a new wave of research into service guarantees related
to QoS, Quality of Experience (QoE), Quality of Protection (QoP), Software Quality, Data
Quality, and, more broadly, Quality of Information Technology.
For over two decades, IWQoS has established itself as a premier forum for presenting novel
ideas on all QoS-related subjects. The 33rd International Symposium on Quality of Service
(IEEE/ACM IWQoS 2025) aims to continue this tradition as an international platform for the
presentation and discussion of cutting-edge research in the field. The scope of IWQoS
encompasses both the latest theoretical advancements and experimental research papers.
Topics of Interest
- Artificial Intelligence for QoS
- Data analytics for QoS
- QoS for data analytics and machine learning
- QoS in Internet of Things (IoT), cyber-physical networks
- QoS in cloud computing, fog computing and edge computing
- Blockchain for QoS
- Security, privacy, system dependability, resilience and robustness
- QoS in software-defined networking
- QoS in information-centric networking
- QoS in mobile and next generation cellular networks
- System dependability, availability, resilience and robustness to faults and security
attacks
- Robustness against security vulnerabilities in critical infrastructures
- QoS-aware scheduling, resource management, queue management, admission control
- Traffic engineering approaches and tools for QoS provisioning and evaluation
- QoS evaluation metrics and methodologies
- Quality of software
- QoE in multimedia networks
- Measurement, evaluation, adaptation, and verification
- Network operations, network economics, pricing and billing
- Architectures and protocols for QoS, QoP or QoE support
- Energy awareness in communication and computing systems
- Design for future networks and computing systems with integrated QoS
Important Dates (AoE)
- Paper Registration Deadline: 16 February 2025
- Full Paper Submission Deadline: 23 February 2025
- Early Rejection Notification: 14 March 2025
- Notification of Acceptance: 4 April 2025
- Camera Ready Submission Deadline: 25 April 2025
Submission Instructions
Authors are invited to submit manuscripts not exceeding 10 single-spaced, double-column
pages (including references) using a font size of 10 points, formatted according to the
standard IEEE template for LaTeX or Microsoft Word. Templates can be downloaded by selecting
Conferences in the IEEE Template Selector at https://template-selector.ieee.org/.
The review process will be double-blind, requiring submissions to avoid revealing the
authors' names and affiliations, as well as to refrain from obvious self-references. Papers
that do not adhere to these guidelines will be rejected without consideration of their
merits. All submissions must be made electronically as PDF files.
Please follow the submission like on https://iwqos2025.hotcrp.com/ to submit your paper.
More information can be found on the website of IWQoS 2025:
https://iwqos2025.ieee-iwqos.org/authors/call-papers
Organizing Committee
General Co-Chairs
- Dan Kim, The University of Queensland, Australia
- Surya Nepal, CSIRO's Data61, Australia
Program Co-Chairs
- Qi Li, Tsinghua University, China
- Salil Kanhere, The University of New South Wales, Australia
- Guangdong Bai, The University of Queensland, Australia
Finance/Sponsorship Chair
- Xingliang Yuan, The University of Melburne, Australia
Local Co-Chairs
- Naipeng Dong, The University of Queensland, Australia
- Yu Zhang, Griffith University, Australia
Publicity Co-Chairs
- Jianliang Wu, Simon Fraser University, Canada
- Neeraj Kumar Singh, IRIT-ENSEEIHT, France
- Ruitao Feng, Southern Cross University, Australia
Publication Chair
- Kailong Wang, Huazhong University of Science and Technology, China
Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
https://www.sciencedirect.com/special-issue/313735/security-and-privacy-in-…
In a smart city, numerous artificial intelligence of things (AIoT) communicate and collaborate to improve our quality of life. Both artificial intelligence (AI) and Internet of things (IoT) are foundational technologies that have been interacting with each other to realize a smart life. As massive amounts of sensitive data are generated, processed, and exchanged through IoT devices and AI technologies, one of the fundamental problems is how to provide intelligent services in smart cities without compromising security and privacy. This special issue aims to bring together researchers and practitioners in IoT, AI, and network security, to share their novel ideas and latest findings in relation to security and privacy in AIoT-enabled smart cities. The scope and interests for the special issue include, but are not limited to, the following list:
● Secure IoT infrastructure for smart cities
● Secure smart city applications, including secure AI-driven IoT applications
● Authentication and access control in IoT-enabled smart cities
● Intrusion detection for IoT-enabled smart cities
● Architectures and standards for secure IoT systems
● AI and big data techniques for IoT-enabled secure smart cities
● Blockchain technology for IoT-enabled secure smart cities
● Secure multi-party computation techniques for ML
● Security optimization in heterogeneous environments
● AI-driven mechanisms and models to perform attacks
● Security and privacy issues in AI-enabled IoT communications and systems
● Privacy-preserving ML
● Privacy-preserving data mining
● Privacy and anonymity techniques for IoT and AI
● Data privacy in AIoT-enabled smart cities
● Privacy preserving techniques for IoT-enabled smart cities
● Privacy modeling and analysis for IoT-enabled smart cities
● Miscellaneous privacy issues in AIoT-enabled smart cities
Important Dates
Submissions Deadline: April 1, 2025;
First-round pass notification: April 15, 2025;
Review result notification: June 1, 2025;
Acceptance/rejection: August 30, 2025;
Publication: 2nd Quarter 2025
Submission Format and Guideline
Authors should follow the "Guidelines for Authors" from The Journal of Systems Architecture (JSA). Details can be found at Guide for authors - Journal of Systems Architecture (https://www.sciencedirect.com/journal/journal-of-systems-architecture/publi…).
Solicited original submissions must not be currently under consideration for publication in other venues. All manuscripts and any supplementary material should be submitted through Submission site for Journal of Systems Architecture ( https://www.editorialmanager.com/jsa/default.aspx). Please select the “VSI:SPASS” option as article type of the paper.
Guest editors:
Associate Prof. Qin Liu
Hunan University, Changsha, China
Prof. Kouichi Sakurai
Kyushu University, Fukuoka, Japan
Prof. Richard Hill
University of Huddersfield, Huddersfield, UK
Associate Prof. Wenjia Li
UK New York Institute of Technology, Old Westbury, USA
--
Dr. Qin Liu
College of Computer Science and Electronic Engineering
Hunan University
Changsha, Hunan Province,P.R. China, 410082
Mobile: +86-13548577157
Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com
Homepage: https://qinliu-hnu.github.io/
--------------------------
CALL FOR PAPERS
--------------------------
The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025)
2-4 July 2025, Gold Coast, Australia
https://iwqos2025.ieee-iwqos.org/
Overview
We invite the submission of manuscripts presenting original research results to the IEEE/ACM
International Symposium on Quality of Service (IWQoS) 2025, which will be held from July
2-4, 2025, in Gold Coast, Australia. Quality of Service (QoS) has long been a central focus
for communications and networking researchers worldwide. While traditional QoS research
areas continue to garner significant interest, emerging domains such as the Internet of
Things, data centers, virtualization, cloud and fog computing, green computing, and
artificial intelligence are driving a new wave of research into service guarantees related
to QoS, Quality of Experience (QoE), Quality of Protection (QoP), Software Quality, Data
Quality, and, more broadly, Quality of Information Technology.
For over two decades, IWQoS has established itself as a premier forum for presenting novel
ideas on all QoS-related subjects. The 33rd International Symposium on Quality of Service
(IEEE/ACM IWQoS 2025) aims to continue this tradition as an international platform for the
presentation and discussion of cutting-edge research in the field. The scope of IWQoS
encompasses both the latest theoretical advancements and experimental research papers.
Topics of Interest
- Artificial Intelligence for QoS
- Data analytics for QoS
- QoS for data analytics and machine learning
- QoS in Internet of Things (IoT), cyber-physical networks
- QoS in cloud computing, fog computing and edge computing
- Blockchain for QoS
- Security, privacy, system dependability, resilience and robustness
- QoS in software-defined networking
- QoS in information-centric networking
- QoS in mobile and next generation cellular networks
- System dependability, availability, resilience and robustness to faults and security
attacks
- Robustness against security vulnerabilities in critical infrastructures
- QoS-aware scheduling, resource management, queue management, admission control
- Traffic engineering approaches and tools for QoS provisioning and evaluation
- QoS evaluation metrics and methodologies
- Quality of software
- QoE in multimedia networks
- Measurement, evaluation, adaptation, and verification
- Network operations, network economics, pricing and billing
- Architectures and protocols for QoS, QoP or QoE support
- Energy awareness in communication and computing systems
- Design for future networks and computing systems with integrated QoS
Important Dates (AoE)
- Paper Registration Deadline: 9 February 2025
- Full Paper Submission Deadline: 16 February 2025†
- Early Rejection Notification: 14 March 2025
- Notification of Acceptance: 4 April 2025
- Camera Ready Submission Deadline: 25†April 2025
Submission Instructions
Authors are invited to submit manuscripts not exceeding 10 single-spaced, double-column
pages (including references) using a font size of 10 points, formatted according to the
standard IEEE template for LaTeX or Microsoft Word. Templates can be downloaded by selecting
ìConferencesî in the IEEE Template Selector at https://template-selector.ieee.org/.
The review process will be double-blind, requiring submissions to avoid revealing the
authors' names and affiliations, as well as to refrain from obvious self-references. Papers
that do not adhere to these guidelines will be rejected without consideration of their
merits. All submissions must be made electronically as PDF files.
Please follow the submission like on https://iwqos2025.hotcrp.com/ to submit your paper.
More information can be found on the website of IWQoS 2025:
https://iwqos2025.ieee-iwqos.org/authors/call-papers
Organizing Committee
General Co-Chairs
- Dan Kim, The University of Queensland, Australia
- Surya†Nepal, CSIRO's Data61, Australia
Program Co-Chairs
- Qi Li, Tsinghua University, China
- Salil Kanhere, The University of New South Wales, Australia
- Guangdong Bai,†The University of Queensland, Australia
Finance/Sponsorship Chair
- Xingliang Yuan, The University of Melburne, Australia
Local Co-Chairs
- Naipeng Dong, The University of Queensland, Australia
- Yu Zhang, Griffith University, Australia
Publicity Co-Chairs
- Jianliang Wu, Simon Fraser University, Canada
- Neeraj Kumar Singh, IRIT-ENSEEIHT, France
- Ruitao Feng,†Southern Cross University, Australia
Publication Chair
- Kailong Wang, Huazhong University of Science and Technology, China
============================================================
Final call for papers
PETRI NETS 2025
46th international conference on application and theory of Petri nets and
concurrency
============================================================
*** DEADLINE EXTENSION ***
Paris, France
23-27 June 2025
https://petrinets25.github.io/web/
## Paper Submission
Petri Nets 2025 solicits high quality papers reporting research results and/or
tools related to the topics mentioned below.
* Regular papers (20 pages LNCS excluding references) must describe original
results pertaining to the development of the theory of Petri nets and
distributed and concurrent systems in general, new results extending the
applicability of Petri nets, or case studies, application and experience
reports pertinent to the practical use of Petri nets and concurrency.
* Tool papers (10 pages LNCS excluding references) must describe a computer
tool based on Petri nets (not an application of the tool or the theory behind
the tool). The tool should be available for use by other groups (but not
necessarily for free). The submission should indicate how the reviewers can
get access to the tool (this must be for free). The tool will be demonstrated
in the Tool Exhibition, in addition to being presented in a conference talk.
All papers must be original, unpublished, and not submitted for publication elsewhere.
Papers must be written in English using the Springer LNCS format,
including line numbers (e.g.,https://ctan.org/pkg/lineno LaTeX
package) and submitted electronically (as a PDF file) by the deadline using
EasyChair(https://easychair.org/conferences/?conf=petrinets2025).
## Important dates
EXTENDED abstract submission : 15 January 2025 => 29 January 2025
EXTENDED aubmission of papers : 22 January 2025 => 29 January 2025
Notification : 10 March 2025
Final version due : 24 March 2025
Participation in tool exhibition: 30 May 2025
Workshops and Tutorials : 23-24 June 2025
Main Conference : 25-27 June 2025
The deadline is the end of day (AoE).
## Topics of Interest
Topics specific to Petri Nets
* Analysis and synthesis, structure and behavior of nets
* System design and model-driven development using nets
* Relationships between Petri nets and other approaches
* Net-based semantical, logical and algebraic calculi
* Higher-level net models (colored nets, timed nets, etc.)
* Stochastic net models
* Verification and model checking using nets
* Process discovery and conformance checking
* Computer tools for nets
* Standardization of nets
* Experience reports describing applications of nets to different kinds of
systems and application fields (e.g., flexible manufacturing systems, office
automation, real-time systems, workflows, embedded systems, process mining,
biological systems, supervisory control, health and medical systems,
protocols and networks, environmental systems, Internet and Web services,
hardware, e-commerce and trading, telecommunications, programming languages,
railway networks, performance evaluation, component based development,
operations research)
General topics of interest related to concurrency
* Application of concurrency to system design: formal models for designing
computer systems with concurrent behavior, applied research aimed at
designing computer systems which exhibit concurrency, etc.
* Model checking and verification of distributed systems
* Verification of infinite-state or parametric systems
* Causality/partial order theory of concurrency
* Educational issues related to concurrency
* New developments in the theory of concurrency
* Modeling of hardware and biological systems
Papers presenting original research on application or theory of Petri nets, as
well as contributions addressing topics relevant to the general field of
distributed and concurrent systems or focused on applications of concurrency to
system design are sought.
The language of the conference is English, and its proceedings will be
published by Springer-Verlag in LNCS.
All accepted papers will be considered for an Outstanding Paper award. Authors
of selected papers presented at the conference will be invited to submit an
extended version that will be further reviewed for inclusion into a special
issue of a renowned journal.
## Tool Exhibition
An exhibition of Petri net tools will take place on Wednesday June 25. It
consists of informal demonstrations for small groups/individuals and there are
no scheduled talks. Requests for participation in the tool exhibition must be
sent to the Tool Exhibition chairs by the deadline stated at the top of this
Call for Papers. They should include a link to the Web pages for the tool (or a
short description of the tool). The demonstrators should bring their own
laptops, while the organisers may be requested to give access to the Internet.
## Courses, Workshops and Tutorials
The main conference takes place from Wednesday 25 to Friday 27. The two days
before the main conference also offer a wide range of activities. The Petri Net
Course takes place from Monday 23 to Tuesday 24. It offers a thorough
introduction to Petri nets in half-days and full-day modules. For successful
participation in the entire course, including preparation and examination, two
credit points (ECTS) will be awarded. Each module of the course can also be
taken separately, without any credit. Detailed descriptions of Workshops and
Tutorials will be made available via the conference Web page.
It is also possible to arrange Meetings and Courses related to Petri Nets.
Submissions for such activities must contain a 2-5 page description. They must
be received by the Workshops and Tutorials chairs via email no later than
January 15, 2025.
## Organization
The 46th annual international Petri Nets conference will be organised by the
LoVe (Logics and Verification) team at the Université Sorbonne Paris Nord
(France) jointly with members of the MeFoSyLoMa group.
The conference will take place at the Campus Condorcet.
### Organization Committee
* Étienne André (Université Sorbonne Paris Nord)
* Carlos Olarte (Université Sorbonne Paris Nord)
### Program committee co-chairs
* Elvio Amparore, Italy
* Łukasz Mikulski, Poland
### Workshops co-chairs
* Giuliana Franceschinis, Italy
* Karsten Wolf, Germany
### Petri Net Course and Tutorials co-chairs
* Jörg Desel, Germany
* Lars Kristensen, Norway
### Publicity chair
* Benoît Barbot, France
## Program committee
* Elvio Amparore, Italy (co-chair)
* Abel Armas Cervantes, Australia
* João Paulo Barros, Portugal
* Benoît Delahaye, France
* João Miguel Fernandes, Portugal
* Guiliana Franceschinis, Italy
* Luis Gomes, Portugal
* Xudong He, USA
* Loïc Helouet, France
* Wojciech Jamroga, Luxemburg
* Gabriel Juhás, Slovakia
* Anna Kalenkova, Australia
* Michael Köhler-Bußmeier, Germany
* Lars Kristensen, Norway
* Lisa Mannel, Germany
* Łukasz Mikulski, Poland (co-chair)
* Andrew Miner, USA
* Guillermo Alberto Perez, Belgium
* Marta Pietkiewicz-Koutny, UK
* Artem Polyvyanyy, Australia
* Lucia Pomello, Italy
* Andrey Rivkin, Denmark
* Natalia Sidorova, The Netherlands
* Jiří Srba, Denmark
* Jeremy Sproston, Italy
* Nathalie Sznajder, France
* Remigiusz Wisniewski, Poland
* Karsten Wolf, Germany
Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
https://www.sciencedirect.com/special-issue/313735/security-and-privacy-in-…
In a smart city, numerous artificial intelligence of things (AIoT) communicate and collaborate to improve our quality of life. Both artificial intelligence (AI) and Internet of things (IoT) are foundational technologies that have been interacting with each other to realize a smart life. As massive amounts of sensitive data are generated, processed, and exchanged through IoT devices and AI technologies, one of the fundamental problems is how to provide intelligent services in smart cities without compromising security and privacy. This special issue aims to bring together researchers and practitioners in IoT, AI, and network security, to share their novel ideas and latest findings in relation to security and privacy in AIoT-enabled smart cities. The scope and interests for the special issue include, but are not limited to, the following list:
● Secure IoT infrastructure for smart cities
● Secure smart city applications, including secure AI-driven IoT applications
● Authentication and access control in IoT-enabled smart cities
● Intrusion detection for IoT-enabled smart cities
● Architectures and standards for secure IoT systems
● AI and big data techniques for IoT-enabled secure smart cities
● Blockchain technology for IoT-enabled secure smart cities
● Secure multi-party computation techniques for ML
● Security optimization in heterogeneous environments
● AI-driven mechanisms and models to perform attacks
● Security and privacy issues in AI-enabled IoT communications and systems
● Privacy-preserving ML
● Privacy-preserving data mining
● Privacy and anonymity techniques for IoT and AI
● Data privacy in AIoT-enabled smart cities
● Privacy preserving techniques for IoT-enabled smart cities
● Privacy modeling and analysis for IoT-enabled smart cities
● Miscellaneous privacy issues in AIoT-enabled smart cities
Important Dates
Submissions Deadline: April 1, 2025;
First-round pass notification: April 15, 2025;
Review result notification: June 1, 2025;
Acceptance/rejection: August 30, 2025;
Publication: 2nd Quarter 2025
Submission Format and Guideline
Authors should follow the "Guidelines for Authors" from The Journal of Systems Architecture (JSA). Details can be found at Guide for authors - Journal of Systems Architecture (https://www.sciencedirect.com/journal/journal-of-systems-architecture/publi…).
Solicited original submissions must not be currently under consideration for publication in other venues. All manuscripts and any supplementary material should be submitted through Submission site for Journal of Systems Architecture ( https://www.editorialmanager.com/jsa/default.aspx). Please select the “VSI:SPASS” option as article type of the paper.
Guest editors:
Associate Prof. Qin Liu
Hunan University, Changsha, China
Prof. Kouichi Sakurai
Kyushu University, Fukuoka, Japan
Prof. Richard Hill
University of Huddersfield, Huddersfield, UK
Associate Prof. Wenjia Li
UK New York Institute of Technology, Old Westbury, USA
--
Dr. Qin Liu
College of Computer Science and Electronic Engineering
Hunan University
Changsha, Hunan Province,P.R. China, 410082
Mobile: +86-13548577157
Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com
Homepage: https://qinliu-hnu.github.io/
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% LAST CALL FOR WORKSHOP PROPOSAL
% ECOOP'25
% Mon 30 June - Fri 4 July 2025 Bergen, Norway
% https://2025.ecoop.org/
% https://2025.ecoop.org/track/ecoop-2025-workshops#Call-for-Workshops
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Overview
-------------
ECOOP (the European Conference on Object-Oriented Programming) hosts a
diverse offering of workshops bringing together academics, industrial
researchers, and practitioners to exchange new ideas, problems, and
experiences.
Topics for workshops may include, but are not limited to, the theory,
design, implementation, optimization, testing, and analysis of programs
and programming languages. Workshops will run after the program of the
main conference (Thu. 3 − Fri. 4 July 2025). The organizers will
investigate the possibility of organizing the publication of a
single-volume peer-reviewed post-proceedings if there is enough interest.
Submission link:
https://framaforms.org/proposal-for-ecoop25-workshop-1729617158
Please contact ECOOP'25 workshops chair, Clément Aubert
(caubert(a)augusta.edu or clement.aubert(a)math.cnrs.fr), if you have any
questions.
Timeline
-------------
- Workshop proposals will be reviewed on a rolling basis, with the last
submission date being on January 24, 2025.
- Workshops must send notifications for accepted papers by June 21,
2025, which will be about one week before the early registration deadline.
- The workshop's website must be live within two weeks of notification
of the workshop's acceptance and include relevant information about the
organizers and any call for contributions.
To submit a proposal for an ECOOP'25 workshop, please complete the
online form linked above. After submitting, you will receive an
automated email confirmation of your submission and, within at most four
weeks (or shortly after the final submission deadline), a formal
response notifying you if the workshop has been accepted for ECOOP'25.
--
Clément Aubert, Associate Professor of Computer Science,
School of Computer and Cyber Sciences, Augusta University,
https://spots.augusta.edu/caubert/
================================================================================
* Formal Methods in Computer-Aided Design (FMCAD) 2025 - Call for Papers*
================================================================================
FMCAD 2025 is the twenty-fifth edition in a series of conferences on the
theory and
applications of formal methods in hardware and system verification. The
conference
encompasses a wide range of topics related to formal aspects of
computer-aided system
design, including verification, specification, synthesis, and testing
and provides
a leading forum to researchers in academia and industry for presenting
and discussing
groundbreaking methods, technologies, theoretical results, and tools for
reasoning
formally about computing systems.
*_General Information_*
Conference Website: https://fmcad.org/FMCAD25/
Conference Location: SRI Headquarters, Menlo Park, California, US
Conference Dates: October 6 - October 10, 2025
FMCAD 2025 includes the FMCAD Student Forum
(https://fmcad.org/FMCAD25/student_forum/)
and is co-located with VSTTE 2025.
*_Topics of Interest_*
FMCAD welcomes submission of papers reporting original research on
advances in all
aspects of formal methods and their applications to computer-aided design.
Topics of interest include (but are not limited to):
* Model checking, theorem proving, equivalence checking, abstraction and
reduction,
compositional methods, decision procedures at the bit- and word-level,
probabilistic
methods, combinations of deductive methods and decision procedures.
* Synthesis and compilation for computer system descriptions, modeling,
specification,
and implementation languages, formal semantics of languages and their
subsets, model-based
design, design derivation and transformation, correct-by-construction
methods.
* Application of formal and semi-formal methods to functional and
non-functional
specification and validation of hardware and software, including timing
and power
modeling, verification of computing systems on all levels of
abstraction, system-level
design and verification for embedded systems, cyber-physical systems,
automotive
systems and other safety-critical systems, hardware-software co-design
and verification,
and transaction-level verification.
* Experience with the application of formal and semi-formal methods to
industrial-scale
designs; tools that represent formal verification enablement,
introducenew features,
or substantially improve the automation of formal methods.
* Application of formal methods to verifying safety, connectivity and
security properties
of networks, distributed systems, smart contracts, block chains, and IoT
devices.
* Application of formal methods to the analysis of machine learning
systems, and
applications of machine learning to enhance formal methods techniques.
*_Important Dates _*
* Abstract Submission Deadline: April 20, 2025
* Paper Submission Deadline: April 27, 2025
* Author Response: June 17 - June 19, 2025
* Author Notification: July 1, 2025
All deadlines are 11:59 pm AoE (Anywhere on Earth)
### FMCAD/VSTTE Program Outline
* Main VSTTE Day: October 6, 2025
* Joint FMCAD/VSTTE Tutorial Day: October 7, 2025
* Main FMCAD days: October 8 - October 10, 2025
_
*Submission Guidelines*_
Submissions must be made electronically in PDF format via EasyChair:
https://easychair.org/conferences?conf=fmcad2025
Two categories of papers are invited: Regular papers, and Tool & Case
Study papers.
* *Regular papers* are expected to offer novel foundational ideas,
theoretical results,
or algorithmic improvements to existing methods, along with experimental
impact validation
where applicable.
* *Tool & Case Study papers* are expected to report on the design,
implementation
or use of verification (or related) technology in a practically relevant
context
(which need not be industrial), and its impact on design processes.
Both Regular and Tool & Case Study papers must use the IEEE Transactions
format on
letter-size paper with a 10-point font size; preferably, use the FMCAD
template for
papers. Papers in both categories can be either 8 pages (long) or 4
pages (short)
in length excluding references. Short papers that describe emerging
results, practical
experiences, or original ideas that can be described succinctly are
encouraged. Authors
will be required to select an appropriate paper category at abstract
submission time.
Submissions may contain an optional appendix, which will not appear in
the final
version of the paper. The reviewers should be able to assess the quality
and the
relevance of the results in the paper without reading the appendix.
Submissions in all categories must contain original research that has
not been previously
published, nor is concurrently submitted for publication. Any partial
overlap with
published or concurrently submitted papers must be clearly indicated.
FMCAD employs a rigorous peer-review process and each submission will be
reviewed
by at least four members of the program committee. The review process is
single-blind.
The review process will incorporate a feedback and rebuttal period
during which authors
will have the opportunity to formally respond to reviewer comments.
**New - Artifact Evaluation:** FMCAD 2025 introduces optional artifact
evaluation
to enhance transparency and the usability of research outcomes. Authors
reporting
experimental results are strongly encouraged to publish their final data
in a long-term
repository (e.g. zenodo (https://zenodo.org)). With artifacts serving as
supplementary
evidence, high-quality artifacts can improve the likelihood of paper
acceptance.
Artifact evaluation will be integrated into the main review process,
with one selected
program committee member assessing the quality of the artifact alongside
the paper.
Accepted artifacts require a DOI and will be clearly identified in the
published
paper. Details are available on the Artifacts Page
(https://fmcad.org/FMCAD25/cfa).
Accepted papers are published by TU Wien Academic Press under a Creative
Commons
license (the authors retain the copyright) and distributed through the
IEEE XPlore
digital library. IEEE CEDA is a technical co-sponsor of FMCAD. There are
no publication
fees. Authors of accepted contributions will be required to sign the
FMCAD copyright
transfer form found here: https://fmcad.or.at/pdf/copyright.pdf.
For each accepted paper, at least one unique author must register for
the conference.
Moreover, authors of accepted papers ensure that at least one of them
will attend
the conference and present the work.
*_Student Forum_*
Continuing the tradition of the previous years, FMCAD 2025 will host a
Student Forum
that provides a platform for graduate students at any career stage to
introduce their
research to the wider Formal Methods community, and solicit feedback.
Submissions for the student forum must be short reports describing
research ideas
or ongoing work that the student is currently pursuing, and must be
within the scope
of FMCAD. Work that has been partly published previously might be
considered; the
novel aspect to be addressed in future work must be clearly described in
such cases.
All submissions will be reviewed by a selected group of FMCAD student
forum committee
members. Details are available on the Student Forum Page
(https://fmcad.org/FMCAD25/student_forum).
_
*FMCAD 2025 Committees*_
* Program Chair
Ahmed Irfan, SRI, CA, USA
Daniela Kaufmann, TU Wien, Austria
* Local Chair
Stéphane Graham-Lengrand, SRI, CA, USA
* Registration Chair
Jenny McNeill, SRI, CA, USA
* Student Forum Chair
Tanja Schindler, University of Basel, Switzerland
Lee A. Barnett, AWS, CA, USA
* Sponsorship Chair
Alex Ozdemir, Stanford University, CA, USA
* Publication Chair
Georg Weissenbacher, TU Wien, Austria
* Web Chair
Thomas Hader, TU Wien, Austria
* FMCAD Steering Committee
Clark Barrett, Stanford University, CA, USA
Armin Biere, University of Freiburg, Germany
Ruzica Piskac, Yale University, USA
Anna Slobodova, ARM, USA
Georg Weissenbacher, TU Wien, Austria
TASE 2025 Call For Papers
Limassol, Cyprus, July 14-16, 2025
https://cyprusconferences.org/tase2025/
The 19th Theoretical Aspects of Software Engineering Conference (TASE 2025) will be held in Limassol, Cyprus, on July 14-16, 2025. TASE 2025 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies.
Important Dates
Abstract Submission : Feb 1, 2025 (AoE)
Paper Submission : Feb 7, 2025 (AoE)
Author Notification : April 1, 2025 (AoE)
Camera-ready Version and Author Registration : May 1, 2025 (AoE)
Conference : July 14-16, 2025
Topics of Interest
Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:
Software engineering, including:
■ Software processes and workflows
■ Software architectures and design
■ Software product lines
■ Requirements engineering
■ Model-driven software engineering
■ Software testing and quality assurance
■ Software safety, security and reliability
■ Reverse engineering and software maintenance
■ Component-based software engineering
■ Feature-oriented programming
■ Program synthesis
■ Use of AI and large language models in software engineering
Formal methods and theoretical computer science, including:
■ Deductive verification
■ Model checking
■ Theorem proving, decision procedures, SAT and SMT
■ Specification languages
■ Program logics and calculi
■ Formal languages and automata theory
■ Run-time verification and monitoring
■ Integration of formal methods
■ Formal methods for AI systems, and vice versa
Programming language design and technology, including:
■ Formal semantics
■ Abstract interpretation and program analysis
■ Language paradigms, including object-oriented, functional, declarative, etc.
■ Type systems and behavioral typing
■ Compiler design
■ Domain-specific languages
Tools and application areas, including:
■ Software tools putting theory into practice
■ Cyber-physical, embedded, and real-time systems
■ Distributed and concurrent systems
■ Semantic web and web services
■ Service-oriented programming and cloud computing
■ Quantum circuits and programs
■ Cryptographic algorithms
Submission
Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2025 submission page, handled by the EasyChair conference management system.
Submission link: https://easychair.org/conferences/?conf=tase2025.
The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue in journal Science of Computer Programming (https://www.sciencedirect.com/journal/science-of-computer-programming).
Organization Committee.
General Chair
George A. Papadopoulos (University of Cyprus, Cyprus)
PC Chairs
Zhilin Wu (Institute of Software, Chinese Academy of Sciences, China)
Philipp Rümmer (University of Regensburg, Germany)
Local Organization Chair
George A. Papadopoulos (University of Cyprus, Cyprus)
Publicity Chair
Qinxiang Cao (Shanghai Jiaotong University, China)
PC Members
Jie An (Institute of Software, Chinese Academy of Sciences, China)
Zoltán Horváth (Eotvos Lorand University, Budapest, Hungary)
Zhenya Zhang (Kyushu University, Japan)
Jun Pang (University of Luxembourg, Luxembourg)
Wanwei Liu (National University of Defense Technology, China)
Anna Philippou (University of Cyprus, Cyprus)
Yedi Zhang (National University of Singapore, Singapore)
Zhe Hou (Griffith Univerity, Australia)
Zhiwu Xu (Shenzhen University, China)
Hongfei Fu (Shanghai Jiao Tong University, China)
Guangdong Bai (The University of Queensland, Australia)
Jyun-Ao Lin (National Taipei University of Technology, Taiwan, China)
Shaoying Liu (Hiroshima University, Japan)
Marc Frappier (Université de Sherbrooke, Canada)
Julie Cailler (Loria, University of Lorraine, France)
Dominique Mery (Loria, Université de Lorraine, France)
Andreas Katis (KBR Inc. at NASA Ames Research Center, USA)
Grigory Fedyukovich (Florida State University, USA)
Mingshuai Chen (Zhejiang University, China)
Mohammed Erradi (ENSIAS Rabat, Morocco)
Ramanathan S. Thinniyam (Uppsala University, Sweden)
Lucas Cordeiro (The University of Manchester, UK)
Andrei Paskevich (Université Paris-Sud, LRI, France)
Marcello Bonsangue (Leiden University, Neitherlands)
Peter Backeman (Mälardalen University, Sweden)
Kristin Yvonne Rozier (Iowa State University, USA)
Nikolaj Bjørner (Microsoft, USA)
Mizuhito Ogawa (Japan Advanced Institute of Science and Technology, Japan)
Aaron Tomb (Amazon Web Services, USA)
Jun Sun (Singapore Management University, Singapore)
Daniel Stan (LRDE, Epita Paris, France)
Eric Mercer (Brigham Young University, USA)
============================================================
Call for papers
PETRI NETS 2025
46th international conference on application and theory of Petri nets and
concurrency
============================================================
*** DEADLINE EXTENSION ***
Paris, France
23-27 June 2025
https://petrinets25.github.io/web/
## Paper Submission
Petri Nets 2025 solicits high quality papers reporting research results and/or
tools related to the topics mentioned below.
* Regular papers (20 pages LNCS excluding references) must describe original
results pertaining to the development of the theory of Petri nets and
distributed and concurrent systems in general, new results extending the
applicability of Petri nets, or case studies, application and experience
reports pertinent to the practical use of Petri nets and concurrency.
* Tool papers (10 pages LNCS excluding references) must describe a computer
tool based on Petri nets (not an application of the tool or the theory behind
the tool). The tool should be available for use by other groups (but not
necessarily for free). The submission should indicate how the reviewers can
get access to the tool (this must be for free). The tool will be demonstrated
in the Tool Exhibition, in addition to being presented in a conference talk.
All papers must be original, unpublished, and not submitted for publication elsewhere.
Papers must be written in English using the Springer LNCS format,
including line numbers (e.g.,https://ctan.org/pkg/lineno LaTeX
package) and submitted electronically (as a PDF file) by the deadline using
EasyChair(https://easychair.org/conferences/?conf=petrinets2025).
## Important dates
EXTENDED abstract submission : 15 January 2025 => 22 January 2025
EXTENDED aubmission of papers : 22 January 2025 => 29 January 2025
Notification : 10 March 2025
Final version due : 24 March 2025
Participation in tool exhibition: 30 May 2025
Workshops and Tutorials : 23-24 June 2025
Main Conference : 25-27 June 2025
The deadline is the end of day (AoE).
## Topics of Interest
Topics specific to Petri Nets
* Analysis and synthesis, structure and behavior of nets
* System design and model-driven development using nets
* Relationships between Petri nets and other approaches
* Net-based semantical, logical and algebraic calculi
* Higher-level net models (colored nets, timed nets, etc.)
* Stochastic net models
* Verification and model checking using nets
* Process discovery and conformance checking
* Computer tools for nets
* Standardization of nets
* Experience reports describing applications of nets to different kinds of
systems and application fields (e.g., flexible manufacturing systems, office
automation, real-time systems, workflows, embedded systems, process mining,
biological systems, supervisory control, health and medical systems,
protocols and networks, environmental systems, Internet and Web services,
hardware, e-commerce and trading, telecommunications, programming languages,
railway networks, performance evaluation, component based development,
operations research)
General topics of interest related to concurrency
* Application of concurrency to system design: formal models for designing
computer systems with concurrent behavior, applied research aimed at
designing computer systems which exhibit concurrency, etc.
* Model checking and verification of distributed systems
* Verification of infinite-state or parametric systems
* Causality/partial order theory of concurrency
* Educational issues related to concurrency
* New developments in the theory of concurrency
* Modeling of hardware and biological systems
Papers presenting original research on application or theory of Petri nets, as
well as contributions addressing topics relevant to the general field of
distributed and concurrent systems or focused on applications of concurrency to
system design are sought.
The language of the conference is English, and its proceedings will be
published by Springer-Verlag in LNCS.
All accepted papers will be considered for an Outstanding Paper award. Authors
of selected papers presented at the conference will be invited to submit an
extended version that will be further reviewed for inclusion into a special
issue of a renowned journal.
## Tool Exhibition
An exhibition of Petri net tools will take place on Wednesday June 25. It
consists of informal demonstrations for small groups/individuals and there are
no scheduled talks. Requests for participation in the tool exhibition must be
sent to the Tool Exhibition chairs by the deadline stated at the top of this
Call for Papers. They should include a link to the Web pages for the tool (or a
short description of the tool). The demonstrators should bring their own
laptops, while the organisers may be requested to give access to the Internet.
## Courses, Workshops and Tutorials
The main conference takes place from Wednesday 25 to Friday 27. The two days
before the main conference also offer a wide range of activities. The Petri Net
Course takes place from Monday 23 to Tuesday 24. It offers a thorough
introduction to Petri nets in half-days and full-day modules. For successful
participation in the entire course, including preparation and examination, two
credit points (ECTS) will be awarded. Each module of the course can also be
taken separately, without any credit. Detailed descriptions of Workshops and
Tutorials will be made available via the conference Web page.
It is also possible to arrange Meetings and Courses related to Petri Nets.
Submissions for such activities must contain a 2-5 page description. They must
be received by the Workshops and Tutorials chairs via email no later than
January 15, 2025.
## Organization
The 46th annual international Petri Nets conference will be organised by the
LoVe (Logics and Verification) team at the Université Sorbonne Paris Nord
(France) jointly with members of the MeFoSyLoMa group.
The conference will take place at the Campus Condorcet.
### Organization Committee
* Étienne André (Université Sorbonne Paris Nord)
* Carlos Olarte (Université Sorbonne Paris Nord)
### Program committee co-chairs
* Elvio Amparore, Italy
* Łukasz Mikulski, Poland
### Workshops co-chairs
* Giuliana Franceschinis, Italy
* Karsten Wolf, Germany
### Petri Net Course and Tutorials co-chairs
* Jörg Desel, Germany
* Lars Kristensen, Norway
### Publicity chair
* Benoît Barbot, France
## Program committee
* Elvio Amparore, Italy (co-chair)
* Abel Armas Cervantes, Australia
* João Paulo Barros, Portugal
* Benoît Delahaye, France
* João Miguel Fernandes, Portugal
* Guiliana Franceschinis, Italy
* Luis Gomes, Portugal
* Xudong He, USA
* Loïc Helouet, France
* Wojciech Jamroga, Luxemburg
* Gabriel Juhás, Slovakia
* Anna Kalenkova, Australia
* Michael Köhler-Bußmeier, Germany
* Lars Kristensen, Norway
* Lisa Mannel, Germany
* Łukasz Mikulski, Poland (co-chair)
* Andrew Miner, USA
* Guillermo Alberto Perez, Belgium
* Marta Pietkiewicz-Koutny, UK
* Artem Polyvyanyy, Australia
* Lucia Pomello, Italy
* Andrey Rivkin, Denmark
* Natalia Sidorova, The Netherlands
* Jiří Srba, Denmark
* Jeremy Sproston, Italy
* Nathalie Sznajder, France
* Remigiusz Wisniewski, Poland
* Karsten Wolf, Germany
Dear Colleagues,
As part of its celebrations of the World Logic Day 2025, the Association for Logic in India (ALI) invites you to an online lecture by Prof. Shashi Mohan Srivastava. The lecture details are as below.
Date and time:
==============
Date: January 16, 2025
Time: 18:00 IST
Zoom Meeting details:
===================
Meeting link: https://us02web.zoom.us/j/84357712770?pwd=LYLWbkiNat5vll4stGyn6Vx34nvXIu.1
Meeting ID: 843 5771 2770
Passcode: wldcali25
Lecture details:
=============
Speaker: Prof. Shashi Mohan Srivastava, IACS Kolkata and RKMVERI Belur, India
Title: Recalling Vaught's conjecture
Abstract:
Vaught's conjecture states the following. The countable models of a countable first order theory, up to isomorphism, are either countably many or continuum many. This problem is still open, and it seems not much activity has been going on on it.
Speaker Bio:
Prof. Shashi Mohan Srivastava is an Emeritus Professor at the Statistics and Mathematics Unit, Indian Statistical Institute (ISI), Kolkata, India, which he joined in 1980. He is also a Visiting Professor at the Indian Association for the Cultivation of Science (IACS), Kolkata, and the Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI) Belur, Kolkata. He graduated from ISI Kolkata in 1980 under the supervision of Prof. A. Maitra. He was a member of the Institute for Advanced Studies, Princeton, during the academic year 1979–1980.
Prof. Srivastava's primary research interest lies in descriptive set theory. He is the recipient of the Indian National Science Academy medal for young scientists, and is the author of the books, A Course on Borel Sets and A Course on Mathematical Logic, both published by Springer. He is an enthusiastic teacher and has written several expository articles aimed at popularising mathematical logic and set theory in India.
We look forward to seeing you at the lecture.
---