Call for Survey Participants - Wikimedia-Engaged Academic Researchers and Scientists
Survey Link: https://iup.co1.qualtrics.com/jfe/form/SV_0wfRHBdZmtbEuW2
Despite the growing interest in open educational resources in higher education, relatively few academics and scientists have significantly committed to sharing their research expertise in open knowledge projects. In fact, they often face opportunity costs when engaging with platforms like Wikipedia, as the time spent contributing can detract from more traditional scholarly outputs, such as peer-reviewed publications, conferences, and pursuing grants. This research project invites Wikimedia-engaged academics, scientists, and researchers to help us better understand how to make Wikimedia contributions “count” for academic researchers.
To that end, we'll be surveying and interviewing academic researchers and scientists who have previously engaged Wikimedia projects in an effort to discover the most suitable metrics and models for our project, as well as to develop a broad network of like-minded individuals interested in discovering how Wikimedia provides a platform for a broad open science infrastructure.
Taking the survey will take approximately 10 minutes of your time. If you agree to participate in an interview as part of the survey, this will be conducted via Zoom and take approximately 30-45 minutes of your time.
Brett Buttliere
University of Warsaw
Warsaw, Poland
b.buttliere(a)uw.edu.pl
Matthew Vetter
Indiana University of Pennsylvania
Indiana, PA, U.S.
mvetter(a)iup.edu
THIS PROJECT HAS BEEN APPROVED BY THE INDIANA UNIVERSITY OF PENNSYLVANIA INSTITUTIONAL REVIEW BOARD FOR THE PROTECTION OF HUMAN SUBJECTS (PHONE 724.357.7730).
Survey Link: https://iup.co1.qualtrics.com/jfe/form/SV_0wfRHBdZmtbEuW2
Matt Vetter, PhD (he/him)
Professor of English
Indiana University of Pennsylvania
http://mattvetter.net<http://mattvetter.net/>
Connect with me on Zoom,
https://iupvideo.zoom.us/my/dr.vetterzooms
Managing co-editor, Writing Spaces<http://www.writingspaces.org/>
Co-chair, CCCC Wikipedia Initiative<https://cccc.ncte.org/cccc/wikipedia-initiative/>
Available as open access ebook, Wikipedia and the Representation of Reality<https://www.taylorfrancis.com/books/oa-mono/10.4324/9781003094081/wikipedia…..>
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!
=================================================================================
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