================================================================================
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
Hi all,
*Registration for Wiki Workshop 2024 is now open [1]!* The event will be
virtually held on *June 20, 12:00-18:30 UTC*.
Wiki Workshop [2] is the largest Wikimedia research event of the year and
brings together scholars and researchers from across the world who are
interested in or are actively engaged with research and development on the
Wikimedia projects.
We are putting together an engaging program and we will be posting updates
in the coming weeks on the Wiki Workshop website [2]. This year we will
have a Research Track with presentations and discussions of ongoing and
published work on Wikimedia projects, as well as a new track called Wiki
Workshop Hall [3] which will be a space for Wikimedia Movement Members to
connect with Wikimedia Researchers. Our keynote speaker is Brent Hecht
[4], Director
of Applied Science at Microsoft, and of course we will also have all the
music, games, and fun things we are all used to from previous workshops :)
If you are interested in participating in the live event, please register
on Pretix [1]. Anyone is encouraged to register: you don't have to be a
researcher!
If you have questions, please don't hesitate to reach out.
Best,
Kinneret
[1] https://pretix.eu/wikimedia/wikiworkshop2024/
[2] https://wikiworkshop.org/
[3]
https://diff.wikimedia.org/2024/03/11/inviting-proposals-to-wiki-workshop-h…
[4] https://wikiworkshop.org/#contributors
--
Kinneret Gordon
Lead Research Community Officer
Wikimedia Foundation <https://wikimediafoundation.org/>
===============================================================================
Second Call for Submissions to the Doctoral Programme
17th Conference on Intelligent Computer Mathematics
- CICM 2024 -
August 5-9, 2024
Concordia University, Montreal, Quebec, Canada
https://cicm-conference.org/2024
===============================================================================
* Submission deadline (Abstract + CV): June 20, 2024 (extended)
* Notification of acceptance: July 05, 2024 (extended)
For further information, please see below:
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.
CICM 2024 invites submissions in all topics relating to intelligent computer
mathematics, in particular but not limited to
* Theorem proving and computer algebra
* Mathematical knowledge management
* Digital mathematical libraries
The doctoral programme provides PhD students a forum to present early results to
receive constructive feedback and mentoring. To attend, submissions of two-page
abstracts are expected in which the focus and research questions of the expected
PhD theses are described; details on completed research tasks and remaining
research plans should be given. In addition to these abstract, a two-pages CV of
the applicant should also be submitted, detailing background information (name,
university, supervisor), education (sought degree, previous degrees),
employments and relevant research experience (publications, attended
conferences/workshops).
Format (Hybrid)
===============
We encourage in-person participation for the doctoral program, where accepted
contributions will be offered a presentation slot as part of the conference
program and opportunities during the conference for constructive feedback,
mentorship and a poster presentation. However, those PhD students attending
remotely, will only be offered an online presentation slot.
Submission
==========
All submissions should be made via EasyChair at
https://easychair.org/my/conference?conf=cicm24
Important Dates
===============
Submission deadline: June 20, 2024 (extended)
Notification of acceptance: July 05, 2024 (extended)
Doctoral Program: August 5-9, 2024
Doctoral Program Chair
======================
Adnan Rashid, Concordia University, Montreal, QC, Canada
=================================================================================
Second Call for Papers
Workshop on Women in Formal Methods (WiFM-2024)
August 9, 2024
Montreal, Quebec, Canada
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: June 16, 2024 (extended)
* Notification: July 7, 2024 (extended)
* Camera Ready: July 14, 2024 (extended)
* 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)
Dear all,
EPJ Data science (EPJ DS https://epjdatascience.springeropen.com/) is
soliciting papers for a new Open Access Topical Collection on the "Data for
the Wellbeing of Most Vulnerable".
https://www.springeropen.com/collections/dwmv?utm_medium=email&utm_source=g…
EPJ DS (Impact Factor 2022: 3.6) is an open access journal focusing on new
scientific methods for analyzing and synthesizing massive data sets to
achieve new insights into societal phenomena. The journal provides a
platform for discussing data-driven science in a wide range of research
areas and applications, and primarily targets techno-socio-economic
systems, analyzing digital traces of human behavior as primary objects for
investigation.
EPJ DS is a fully open access journal, which means that its contents are
freely available and can be accessed by a wide audience. The submission
deadline for this collection is September 15, 2024. Manuscript can be
submitted any time before that, and all articles published by EPJ DS are
made freely and permanently accessible online immediately upon publication.
To submit a manuscript for consideration at EPJ DS as part of this
Collection, please follow the steps detailed on this page:
https://epjdatascience.springeropen.com/submission-guidelines
When submitting your manuscript, you will choose whether you are submitting
your manuscript to a Collection, you will then be able to select the "Data
for the Wellbeing of Most Vulnerable" Collection from the drop-down list.
Authors should also express their interest in the Collection in their cover
letter.
We hope that you will be able to collaborate with us on this Collection and
look forward to your response. Please do not hesitate to get in touch if
you have any questions.
Kind regards,
Guest Editors:
Kyriaki Kalimeri, ISI Foundation, Turin, Italy / UNICEF
Daniela Paolotti, ISI Foundation, Turin, Italy
Mattia Mazzoli, ISI Foundation, Turin, Italy
Andreas Kaltenbrunner, Universitat Oberta de Catalunya and Universitat
Pompeu Fabra, Barcelona, Spain