Dear fellow Wikimedians and Academics:
My collaborators and I (Matthew Vetter, Sage Ross, Iolanda Pensa) and I
(Brett Buttliere), are interested in encouraging academic contributions to
Wikimedia, and even ideally making Wikipedia an interface between
scientific knowledge and the public, and counting for grant and tenure
outcomes. You can read about this idea and work here
<https://meta.wikimedia.org/wiki/Research:Developing_Wikimedia_Impact_Metric…>,
which also aims to e.g., further secure Wikimedia's space in the open
knowledge/ science space.
The point of this email is to call for collaborators in this endeavor,
especially in relation to a EU COST action
<https://www.cost.eu/cost-actions/what-are-cost-actions/>, which aims to
build networks for developing larger grants in the future. *We search
ultimately for representatives from at least 7 (Euro-area) nations*, with
at least 50% of the nations coming from the list below. We think Wikimedia
is uniquely positioned to succeed here.
Bulgaria, Croatia, Cyprus, Czech Republic, Estonia, Greece, Hungary,
Latvia, Lithuania, Malta, Poland, Portugal, Romania, Slovakia and Slovenia
French Guiana, Guadeloupe, Martinique, Mayotte, Reunion Island and
Saint-Martin (France), Azores and Madeira (Portugal), and the Canary
Islands (Spain) Albania, Armenia, Bosnia and Herzegovina, Georgia, Moldova,
Montenegro, North Macedonia, Serbia, Türkiye, Ukraine
We have 4 nations that are meeting for the first official time this Friday,
July 12, at 2:00pm UTC at the following Zoom link.
https://iupvideo.zoom.us/my/dr.vetterzooms
<https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fiupvideo.…>
—
If you can’t make the meeting but would like to leave your contact
information to make sure you hear about progress, you can fill out the
google form https://forms.gle/5b2u7MjG9fNUg7HK7.
Please also forward this email to others who might be interested, or let us
know how we can spread the message.
Thank you sincerely, hopefully we can together encourage wikimedia
contributions among scientists,
Brett Buttliere (University of Warsaw, Poland)
Matthew Vetter (University of Indiana at Pennsylvania, USA)
Oleksiy Boldyrev (National Academy of Sciences, Ukraine)
Iolanda Pensa (University of Applied Sciences and Arts of Southern
Switzerland, Switzerland)
The 3rd Call for Papers: MathUI'24
(extended deadline)
(see MathUI at http://www.cicm-conference.org/2024)
----------------------------------------
15th MathUI Workshop 2024
Mathematical User Interaction
----------------------------------------
at the Conference on Intelligent Computer Mathematics
Montreal, QC, Canada
August 9, 2024
------------------------------
please redistribute
SCOPE
-----
MathUI is an international workshop for discussing how users can be best
supported when interacting with mathematical content, i.e.,
doing/learning/searching for/viewing/... mathematics using a digital device.
Use cases range from professional mathematicians trying to prove a new theorem
up to non-math-oriented people trying to understand the math formula used to
calculate interest rates.
- What do we know about interactions between users and math?
- Which mathematical services can be offered,
and can they be meaningfully combined?
- How is mathematics for which purpose best represented?
- What specifically math-oriented support or platforms are needed?
- How can we exploit best practices concerning mathematics
for better math-user interactions?
We invite all topics, that care for the use of mathematics on computers and how
the user experience can be improved, to be discussed in the workshop.
TOPICS of Interest
------------------
We invite all topics that care for the use of mathematics on digital devices and
its user experience, for instance,
- user-requirements for math interfaces
- novel mathematical interfaces
- presentation formats
- mobile-devices powered mathematics
- cultural differences in practices of mathematical languages
- didactically sensible scenarios of use
- graphs as mathematical interfaces
- spreadsheets as mathematical interfaces
- manipulations of mathematical expressions
- usability studies of mathematical interfaces
This workshop follows a successful series of workshops held at the Conferences
on Intelligent Computer Mathematics; it features presentations of brand new
ideas in papers selected by a thorough review process, wide space for
discussions, as well as a software demonstration session.
SUBMISSIONS
-----------
Please submit via EasyChair at
https://easychair.org/conferences/?conf=mathui24 .
- Abstract deadline: July 12th, 2024.
- Deadline: Continuous submission until July 12th, 2024. Early submission leads
to early notification.
- Contribution: 5 - 12 pages (papers with less than 10 pages will be considered
short papers in the proceedings)
- Format: Authors should prepare their papers in the one column style of CEUR-WS
for the final version and without page numbers (template and sample
papers). Optionally illustrated by supplementary media such as video
recordings or access to demos. - Method of submission: Please login
and submit via EasyChair. We strongly recommend in-person
presentation of accepted papers.
The program committee will review the submissions whose comments and
recommendations will be sent back by July 23rd, requesting a final version no
later than July 29th. Early submissions will receive earlier feedback.
PC COMMITTEE
-------------
- Abhishek Chugh, Sophize Foundation
- Andrea Kohlhase, Neu-Ulm University of Applied Sciences
- Dennis Müller, FAU Erlangen-Nürnberg
- Fabian Huch, Technical University of Munich
- Jan Frederik Schaefer (co-organizer), Friedrich-Alexander-Universität Erlangen-Nürnberg
- Kazuhisa Nakasho (co-organizer), Yamaguchi University
For inquiries please contact
- Kazuhisa Nakasho, nakasho(a)yamaguchi-u.ac.jp
- Jan Frederik Schaefer, jan.frederik.schaefer(a)fau.de
HOPE TO SEE YOU AT MathUI'24!
Hello wiki-research community!
I'm sharing a call-for-papers for a workshop that I'm helping to organize
at EMNLP 2024 <https://2024.emnlp.org/> that will be focused on celebrating
Wikimedia's contributions to the NLP community and highlighting approaches
to ensuring the sustainability of this relationship for years to come. Our
website for the workshop is on Meta (and I've copied the relevant content
below as well):
https://meta.wikimedia.org/wiki/NLP_for_Wikipedia_(EMNLP_2024)
The workshop will be hybrid (virtual and in-person components). We have not
been assigned a date yet but it will either be November 15th or 16th. To
get a sense of potential costs, you can see last year's EMNLP conference
registration: https://2023.emnlp.org/registration/#virtual-pricing
== Overview ==
Co-located with the EMNLP 2024 (The 2024 Conference on Empirical Methods in
Natural Language Processing)
Date: 15. or 16. November 2024 (TBA)
In Miami, Florida (hybrid event)
The workshop will be a hybrid event, i.e., we aim to facilitate online
participation.
== Important Dates ==
Papers due: Thursday, *29. August 2024 *
Notification of accepted papers: Friday, 27. September 2024
Camera-ready papers due: Friday, 4. October 2024
Workshop date: 15. or 16. November 2024 (TBA)
All deadlines are midnight anywhere on earth (AOE).
== Overview ==
Wikipedia is a uniquely important resource for the NLP community; it is
multilingual, can be freely reused under its open license, and is edited
and maintained by a dedicated community of editors who have earned its
status as a very high-quality dataset for many applications. With this
value comes many tensions however: despite Wikipedia's presence in over 300
language editions, much focus in language modeling remains on the
high-resource languages; despite the openness of Wikipedia and its role in
many advances in natural language modeling, there are concerns that some of
these advances such as generative text models could undermine Wikipedia and
threaten its sustainability as a community and ultimately data resource;
despite the heavy usage of Wikimedia data among the NLP community, few
researchers work on developing tools that can contribute back to the
Wikimedia community.
The goal of this workshop is both to celebrate Wikimedia's contributions to
the NLP community and highlight approaches to ensuring the sustainability
of this relationship for years to come. We will invite researchers to
contribute novel uses of Wikimedia data or studies of the impact of
Wikimedia data within the NLP community. We will also discuss successful
approaches to developing tooling that can assist the Wikimedia community in
maintaining and improving the breadth of the Wikimedia projects.
== Topics ==
We invite contributions on a wide range of topics related to NLP and
Wikipedia, including but not limited to:
* Wikipedia text analysis and understanding
* Text generation and summarization for Wikipedia articles
* Multilingual and cross-lingual approaches for Wikipedia content
* Quality assessment and vandalism detection in Wikipedia
* Recommendation systems for Wikipedia content
* Semantic enrichment and entity linking in Wikipedia
* Applications of NLP for structured data in Wikimedia projects
* Misinformation detection for Wikipedia
* Ethical considerations and biases in NLP for Wikipedia
* Impact of LLMs on Wikipedia's communities
* Human-AI collaboration for improving Wikipedia content
* Benchmark datasets and evaluation metrics
* Knowledge-intensive NLP over Wikipedia content
We also encourage papers that include the creation of new datasets relevant
to NLP tasks to support the Wikimedia communities. For example:
* References across languages by topic
* Edit summaries and associated diffs
* Talk page discussions and outcomes
* Edits that inserted new facts along with the text from the supporting
reference
While we encourage use of Wikipedia content, NLP work from other Wikimedia
platforms such as Wikisource or Wikidata labels is also welcome. If you
have questions about potential research ideas or existing resources in a
given topical area, feel free to reach out to the workshop organizers at
nlp4wikipedia(a)googlegroups.com and we will do our best to help out.
== Submission Guidelines ==
We welcome the following types of contributions.
= Track 1: Novel Works =
The papers in this track will be peer-reviewed by at least three
researchers using a single-blind review process and published as the
workshop proceedings if accepted. We invite the following types of papers
(page limits excluding references):
- Full research paper: Novel research contributions (8 pages)
- Short research paper: Novel research contributions of smaller scope than
full papers (4 pages)
- Resource paper: New dataset or other resources directly relevant to
Wikimedia research, including the publication of that resource (8 pages)
- Demo paper: New system supporting the Wikipedia community (4 pages)
Submissions must be as PDF using the ACL template, available here:
https://github.com/acl-org/acl-style-files Papers have to be submitted
through OpenReview:
https://openreview.net/group?id=EMNLP/2024/Workshop/NLP_for_Wikipedia
= Track 2: Published Works =
This track welcomes papers previously published at a peer-reviewed research
venue to be presented and discussed in the workshop. They do not have to
follow the formatting and page limit instructions from Track 1 and can
instead be submitted in the original format.
Previously published papers will be reviewed by the organising committee in
terms of the topical fit and prominence of the publication venue. They will
not be published as part of the proceedings. We invite the following types
of papers:
- Full research paper: Previously published research contributions
- Resource paper: Previously published datasets or other resources that are
important or interesting to the community
- Demo paper: Presenting a previously published system supporting the
Wikipedia community
Papers have to be submitted through OpenReview (please add “[PUBLISHED]” at
the beginning of the title on the submission page so we know that you are
submitting to this track):
https://openreview.net/group?id=EMNLP/2024/Workshop/NLP_for_Wikipedia
Best,
Isaac Johnson, Wikimedia Foundation
On behalf of the rest of the organizing committee:
Lucie-Aimée Kaffee, Hugging Face
Tajuddeen Gwabade, Masakhane
Fabio Petroni, Samaya AI
Angela Fan, Meta
Daniel van Strien, Hugging Face
--
Isaac Johnson <https://meta.wikimedia.org/wiki/User:Isaac_(WMF)> (he/him)
-- Senior Research Scientist -- Wikimedia Foundation
=================================================================================
Third Call for Papers
Workshop on Women in Formal Methods (WiFM-2024)
August 9, 2024
Montreal, Quebec, Canada
HYBRID MODE
Co-located with CICM 2024
https://cicm-conference.org/2024/cicm.php?event=wifm&menu=general
=================================================================================
OBJECTIVE
The goal of this workshop is to provide a dynamic and inclusive gathering
that celebrates the achievements of women in formal methods in particular
as well as engineering and computer science in general. We aim to empower
female engineers, foster collaboration, and provide a platform for sharing
cutting-edge research. This workshop will bring together students,
researchers, and industry professionals to explore innovative ideas,
discuss challenges, and inspire one another.
FORMAT
We intend to organize the workshop as a one-day event on August 9th, 2024,
which will include:
* Research Presentations: the workshop shall feature presentations by
female students, researchers, and industry experts to showcase their
ground-breaking work in the domain of formal methods and intelligent
computer mathematics.
* Panel Discussion "Navigating Challenges": Our panel of accomplished
women will engage in candid conversations about the unique challenges
faced by female engineers. Topics include work-life balance, bias, and
mentorship.
* Celebrating Achievements: We believe in recognizing excellence. Awards
will be presented for innovation, leadership, and community impact.
INVITED SPEAKER
We are happy to announce the confirmation of Amber Telfer, Principal
Formal Methods Engineer at Microsoft as the keynote speaker at WiFM. She
is a remarkable engineer in the industry who advocates for gender equality
in STEM. She will share her journey, and insights to overcome obstacles
and reach new frontiers.
TOPICS OF INTEREST
Topics of interest include (but are not limited to):
* Theorem proving and computer algebra
* Mathematical knowledge management
* Digital mathematical libraries
* Formal specification and modeling
* Formal approaches to fault prevention and detection
* Abstraction, refinement, and evolution
* Integration of formal methods and testing
* SAT/SMT solvers for software analysis and testing
* Practical formal methods
* Applications of formal methods
* Formal approaches to software maintenance
* Formal approaches to safety-critical system development
* Industrial case studies
SUBMISSIONS
There are two categories of submissions:
* Abstract – up to 2 pages
* Regular – up to 6 pages
Electronic submission is done through EasyChair
(https://easychair.org/my/conference?conf=cicm24): select the author role
and select the "new submission" tab, then select “CICM24-Women in Formal
Methods”. The submissions will be reviewed by at least three PC members.
At least one author of each accepted paper is expected to present her
paper at WiFM. All papers accepted in the workshop will be published
in the CEUR Workshop Proceedings (https://ceur-ws.org/).
IMPORTANT DATES
* Full Paper Submission: Continuous submission until July 12, 2024 (Early submission leads to early notification).
* Camera Ready: July 26, 2024
* Workshop: August 9, 2024
PROGRAM COMMITTEE
Vandana Desai, Qualcomm, USA
Maissa Elleuch, Digital Research Center of Sfax, Tunisia
Katalin Fazekas, TU Wien, Austria
Liya Liu, AMD, Canada
Ibtissem Seghaier, Nvidia, USA
Yasmine Sharoda, AWS, Canada
Yassmeen Elderhalli, Synopsys, Canada (Chair)
================================================================================
Third Call for Papers
Third Workshop on Formal Verification of Physical Systems (FVPS-2024)
August 5, 2024
Montreal, Quebec, Canada
Hybrid Mode
Co-located with CICM 2024
https://cicm-conference.org/2024/cicm.php?event=fvps&menu=general
================================================================================
Theme
=====
One of the main issues behind many failing systems is the ad-hoc verification
approach that involves a variety of formalism and techniques for the modeling
and analysis of various components of the present-age (cyber)-physical
systems. For example, control and communication protocols are usually modelled
using automata theory, and thus analyzed using model checking techniques, while
the modeling of physical aspects often requires multivariate calculus
foundations, which are in turn analyzed using paper-and-pencil based analytical
proofs, simulation or theorem proving. The fundamental differences between these
modeling and analysis techniques limit us to analyze the whole system as one
unit and thus miss many corner cases, which arise due to the operation of all
the sub-components of the system together. One of the major concerns is that,
despite the above-mentioned evident limitations in the analysis methods, many
safety-critical systems, such as aerospace, smart-transportation, smart-grid and
e-healthcare, are increasingly involving physical elements. Moreover, we are
moving towards integrating more complex physical elements in our engineering
systems. For example, we are looking into developing Quantum Computers to meet
high performance needs. Similarly, photonic components are increasingly being
advocated and used in aerospace applications due to their lightweight and
temperature independency compared to traditional electronics based
components. Finally, the impact of physical components is relevant to both
safety and security of the overall system. For example, malfunction in sensor
measurement may lead to safety issues whereas sophisticated physics based
side-channel (e.g., power and acoustic measurements) attacks lead to the
security violation of the underlying system.
The focus of the workshop will be on formal verification techniques and for the
modeling, analysis and verification of safety and security critical physical
systems. We encourage submissions on interdisciplinary approaches that bring
together formal methods and techniques from other knowledge areas such as
quantum computing, control theory, biology, optimization theory and artificial
intelligence.
Topics of Interest
==================
Topics of interest include (but are not limited to):
* General Topics
-------------------
+ Formalization of physic’s mathematics and theories
+ Interactive and automated theorem proving for physical systems
+ Model Checking algorithms and tools for physical systems
+ Formalization of security and safety of physical systems
+ Runtime verification of safety and security properties
+ Combination of formal, semi formal and informal approaches
+ Formal verification of numerical algorithms
+ Refinement based verification of physical systems
+ Formalization of probability, reliability and statistical metrics
+ Hybrid systems for physical systems modeling and verification
+ Benchmarks for physical systems
+ Formal requirement specification and validation
* Application Domains
--------------------------
+ Aerospace and avionics systems
+ Automotive cyber physical systems
+ Autonomous Vehicles
+ Robotics
+ Smart Grids
+ Smart transportation
+ Human factor modeling and analysis
+ Biological and healthcare systems
Submission
==========
There are two categories of submissions:
* Abstract – up to 2 pages
* Regular – up to 6 pages
Electronic submission is done through EasyChair at
https://easychair.org/my/conference?conf=fvps2024. The submissions will be
reviewed by at least three PC members. At least one author of each accepted
paper is expected to present her/his paper at FVPS.
All papers accepted in the workshop will be published in CEUR Workshop
Proceedings (https://ceur-ws.org/)
Journal Special Issue
===============
The authors of selected papers will be invited to submit the extended versions
of their accepted papers to the journal "Research Directions: Cyber-Physical
Systems" by Cambridge University Press
(https://www.cambridge.org/core/journals/research-directions-cyber-physical-…)
Important Dates
===============
* Full Paper Submission: Continuous submission until July 12, 2024 (Early submission leads to early notification).
* Camera Ready: July 26, 2024
* Workshop: August 5, 2024
Program Chairs
==============
* Adnan Rashid, Concordia University, Montreal, QC, Canada
* Osman Hasan, National University of Sciences and Technology, Pakistan
* Sofiène Tahar, Concordia University, Montreal, QC, Canada
Program Committee
=================
* Aaron Dutle, NASA, USA
* Atif Mashkoor, Johannes Kepler University, Linz, Austria
* Pedro Ribeiro, University of York, UK
* Peter Csaba Ölveczky, University of Oslo, Norway
* Waqar Ahmed, Wind River, Canada
Hi everyone,
I hope you are doing great! I just finished my master's degree and would
like to share my thesis about digitally-disadvantaged languages. I
interviewed some Wikimedians as well, so I believe it will be useful to
learn about this issue that generally connects with Wikimedia projects.
You can download the thesis here
<https://uu.diva-portal.org/smash/record.jsf?pid=diva2%3A1873484&dswid=-3960>.
Happy reading!
Best,
Biyanto R.
(biyanto.com)
Penafian: Anda tidak perlu membalas secepat mungkin, bila Anda menerima
surel ini pada akhir pekan atau hari libur.
Disclaimer: please do not feel obligated to respond to my email during the
weekend or holiday.
----------------------------------------------------------------------
Call for Participation
17th Conference on Intelligent Computer Mathematics - CICM 2024 -
5-9 August 2024 Montréal (Canada)
http://www.cicm-conference.org/2024
-----------------------------------------------------------------------
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such as
computation, deduction, knowledge management, and user interfaces. It
offers a venue for discussing problems and solutions in each of these
areas and their integration.
Meet the CICM community this year in Montréal, Canada, from August 5th to
9th!
CICM 2024 features not only interesting presentations, keynotes,
workshops, and tutorials, but also a great city with many attractions to
visit. Our conference dinner will be on a wonderful cruise on the St.
Lawrence River.
We will also host the first Women in Formal Methods (WiFM) workshop to
take place on Friday, August 9.
We have kept the registration fees very moderate with discounted rates for
students, so please join!
Registration
-------------
Please use the following registration page:
https://cicm-conference.org/2024/cicm.php?event=&menu=registration
Accommodation
-------------
For information about accommodation arrangement visit the web page:
https://cicm-conference.org/2024/cicm.php?event=&menu=travel
Accepted papers and Provisional Program
---------------------------------------
The list of accepted papers is online:
https://cicm-conference.org/2024/cicm.php?event=&menu=accepted
A provisional program is online:
https://cicm-conference.org/2024/cicm.php?event=&menu=program
Invited speakers
----------------
* Jacques Carette (McMaster University, Canada): "Learning from
'invisible mathematics'"
* Andrew Granville (Université de Montréal, Canada): "When our
computers become better at proving theorems than we are"
* Jennifer Paulhus (Grinnell College, USA): "LMFDB: the joys and
challenges of developing a mathematical database"
Scope and Committee
-------------------
The scope of CICM concerns all topics relating to intelligent computer
mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM 2024 Program committee:
https://cicm-conference.org/2024/cicm.php?event=&menu=pc
Workshops affiliated to CICM 2024
---------------------------------
* 15th Workshop on Mathematical User Interaction (MathUI 2024),
organized by Kazuhisa Nakasho and Jan Frederik Schaefer
* 3rd Workshop on Formal Verification of Physical Systems (FVPS 2024)
organized by Adnan Rashid, Osman Hasan and Sofiene Tahar
* Alignment Workshop (Alignment 2024), organized by Lucy Horowitz,
Valeria de Paiva and Florian Rabe
* Lurch Tutorial, organized by Nathan Carter and Kenneth Monks
* Women in Formal Methods Workshop (WiFM 2024), organized by Yassmeen
Elderhalli
Local information, travel and accommodation
-------------------------------------------
Please see
https://cicm-conference.org/2024/cicm.php?event=&menu=travel
For any queries about the conference program, please contact the PC co-chairs:
* Andrea Kohlhase <andrea.kohlhase(a)hnu.de>
* Laura Kovács <laura.kovacs(a)tuwien.ac.at>
For any queries about local issues, please contact the conference co-chairs
* Sofiene Tahar <tahar(a)ece.concordia.ca>
* William Farmer <farmerw(a)mcmaster.ca>
Or send an email to <cicm2024(a)encs.concordia.ca>
Hi there,
I have a question about the right way to *extract the accurate time (or
revision ID) of when an article becomes a featured article (FA) or a good
article (GA)*.
The first and most straightforward method I tried was to extract the first
time that a *{{featured article}}* tag (or a {{good article}} one) is found
in the article revision text.
However, in some cases, this yields weird results, such as an article being
an FA on the same day it was created.
Another method I tried (without much success) was to extract this
information from the article talk page under the "Article History" section.
However, not all pages have this section, and I'm not sure how reliable
this information is (are all editors adding the date when the article got a
promotion or maybe the nomination date?)
So, I wonder if anyone can advise on the best way to extract this
information in the most accurate way. Isn't there any database table that
holds such information?
Thank you all in advance!
Abraham
--
Best,
Abraham
---------
Abraham I.
Postdoc Researcher
University of Michigan | School of Information
pronouns: he/him
abraham.com <https://www.avrahami-israeli.com/>
================================================================================
Second Call for Papers
Third Workshop on Formal Verification of Physical Systems (FVPS-2024)
August 5, 2024
Montreal, Quebec, Canada
Co-located with CICM 2024
https://cicm-conference.org/2024/cicm.php?event=fvps&menu=general
================================================================================
Theme
=====
One of the main issues behind many failing systems is the ad-hoc verification
approach that involves a variety of formalism and techniques for the modeling
and analysis of various components of the present-age (cyber)-physical
systems. For example, control and communication protocols are usually modelled
using automata theory, and thus analyzed using model checking techniques, while
the modeling of physical aspects often requires multivariate calculus
foundations, which are in turn analyzed using paper-and-pencil based analytical
proofs, simulation or theorem proving. The fundamental differences between these
modeling and analysis techniques limit us to analyze the whole system as one
unit and thus miss many corner cases, which arise due to the operation of all
the sub-components of the system together. One of the major concerns is that,
despite the above-mentioned evident limitations in the analysis methods, many
safety-critical systems, such as aerospace, smart-transportation, smart-grid and
e-healthcare, are increasingly involving physical elements. Moreover, we are
moving towards integrating more complex physical elements in our engineering
systems. For example, we are looking into developing Quantum Computers to meet
high performance needs. Similarly, photonic components are increasingly being
advocated and used in aerospace applications due to their lightweight and
temperature independency compared to traditional electronics based
components. Finally, the impact of physical components is relevant to both
safety and security of the overall system. For example, malfunction in sensor
measurement may lead to safety issues whereas sophisticated physics based
side-channel (e.g., power and acoustic measurements) attacks lead to the
security violation of the underlying system.
The focus of the workshop will be on formal verification techniques and for the
modeling, analysis and verification of safety and security critical physical
systems. We encourage submissions on interdisciplinary approaches that bring
together formal methods and techniques from other knowledge areas such as
quantum computing, control theory, biology, optimization theory and artificial
intelligence.
Topics of Interest
==================
Topics of interest include (but are not limited to):
* General Topics
--------------
+ Formalization of physic���s mathematics and theories
+ Interactive and automated theorem proving for physical systems
+ Model Checking algorithms and tools for physical systems
+ Formalization of security and safety of physical systems
+ Runtime verification of safety and security properties
+ Combination of formal, semi formal and informal approaches
+ Formal verification of numerical algorithms
+ Refinement based verification of physical systems
+ Formalization of probability, reliability and statistical metrics
+ Hybrid systems for physical systems modeling and verification
+ Benchmarks for physical systems
+ Formal requirement specification and validation
* Application Domain
------------------
+ Aerospace and avionics systems
+ Automotive cyber physical systems
+ Autonomous Vehicles
+ Robotics
+ Smart Grids
+ Smart transportation
+ Human factor modeling and analysis
+ Biological and healthcare systems
Submission
==========
Authors should prepare their papers in one column style of CEUR-WS to be found
at http://ceur-ws.org/Vol-XXX/samplestyles/ .
There are two categories of submissions:
* Regular papers describing developed work with theoretical results (up to 16 pages)
* Short papers on experience reports, tools or work in progress with preliminary
results (up to 6 pages)
Electronic submission is done through EasyChair at
https://easychair.org/my/conference?conf=fvps2024. The submissions will be
reviewed by at least three PC members. At least one author of each accepted
paper is expected to present her/his paper at FVPS.
All papers accepted in the workshop will be published in CEUR Workshop
Proceedings (https://ceur-ws.org/)
Journal Special Issue
=====================
The authors of selected papers will be invited to submit the extended versions
of their accepted papers to the journal "Research Directions: Cyber-Physical
Systems" by Cambridge University Press
(https://www.cambridge.org/core/journals/research-directions-cyber-physical-…)
Important Dates
===============
* Full Paper Submission: June 16, 2024 (Extended Deadline)
* Notification: July 7, 2024 (Extended Deadline)
* Camera Ready: July 14, 2024
* Workshop: August 5, 2024
Program Chairs
==============
* Adnan Rashid, Concordia University, Montreal, QC, Canada
* Osman Hasan, National University of Sciences and Technology, Pakistan
* Sofi��ne Tahar, Concordia University, Montreal, QC, Canada
Program Committee
=================
* Aaron Dutle, NASA, USA
* Atif Mashkoor, Johannes Kepler University, Linz, Austria
* Pedro Ribeiro, University of York, UK
* Peter Csaba ��lveczky, University of Oslo, Norway
* Waqar Ahmed, Wind River, Canada