First Call for Papers
formal papers - doctoral programme
16th Conference on Intelligent Computer Mathematics
- CICM 2023 -
4���8 September 2023
Emmanuel College, Cambridge, UK (hybrid event)
https://www.cicm-conference.org/2023
----------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.
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 2023 Invited Speakers ***
TBA
*** CICM 2023 Programme committee (TBC) ***
Jes��s Aransay (Universidad de La Rioja, Spain)
Mauricio Ayala-Rincon (Universidade de Brasil��a, Brazil)
Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
Kevin Buzzard (Imperial College, UK)
Isabela Dr��mnesc (West University of Timi��oara, Romania)
Catherine Dubois (ENSIIE, Evry-Courcouronnes, France) [Co-Chair]
M��d��lina Era��cu (West University of Timi��oara, Romania)
William Farmer (McMaster University, Canada)
John Harrison (Amazon Web Services)
Tetsuo Ida (University of Tsukuba, Japan)
Moa Johansson (Chalmers University of Technology, Sweden)
Fairouz Kamareddine (Heriot-Watt University, UK)
Daniela Kaufmann (TU Wien, Austria)
Manfred Kerber (University of Birmingham, UK) [Co-Chair]
Peter Koepke (University of Bonn, Germany)
Michael Kohlhase (FAU Erlangen-N��rnberg, Germany)
Angeliki Koutsoukou-Argyraki (University of Cambridge, UK)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Micaela Mayero (Institut Galil��e, Universit�� Paris Nord, France)
Bruce R. Miller (NIST, USA)
Adam Naumowicz (University of Bia��ystok, Poland)
Claudio Sacerdoti-Cohen (University of Bologna, Italy)
Sofi��ne Tahar (Concordia University, Canada)
Olaf Teschke (FIZ Karlsruhe, Germany)
Josef Urban (Czech Technical University, Czech Republic)
Stephen M. Watt (University of Waterloo, Canada)
Freek Wiedijk (Radboud University, The Netherlands)
Wolfgang Windsteiger (RISC, Johannes Kepler University Linz, Austria)
Abdou Youssef (The George Washington University, USA)
(see also https://www.cicm-conference.org/2023/cicm.php?event=&menu=pc)
*** SUBMISSIONS ***
CICM 2023 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
CICM appreciates the varying nature of the relevant research in this
area and invites submissions of different forms.
Formal submissions will be reviewed rigorously and accepted papers
will be published in a formal way:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existing tool
Participants of CICM benefit a lot from the exchange with colleagues.
In order to foster this we will provide at the conference an
opportunity to make informal presentations (using posters or laptops)
of work-in-progress, project announcements, position statements, and
system demonstrations. Authors of system and dataset descriptions and
system entries are strongly encouraged to take up this opportunity and
give interested colleagues an in depth impression of their work.
*** Doctoral Programme ***
PhD students are invited to participate in the doctoral programme,
which provides them with a forum to present early results and receive
constructive feedback and mentoring. To attend, submit a two-page
abstract of the thesis describing the research questions, research
plans, completed and remaining research, evaluation plans and
publication plans; a two-page CV that includes background information
(name, university, supervisor), education (degree sought, year/status
of degree, previous degrees), employments, relevant research
experience (publications, presentations, attended conferences or
workshops, etc).
*** Participation / Hybrid Event ***
CICM 2023 will be held as an hybrid event, participation is possible
online or on-site. Authors of accepted papers can choose to present
online or on-site, but at least one author needs to register for the
conference.
*** Important Dates ***
- Abstract deadline: 27 March 2023
- Full paper deadline: 3 April 2023
- Reviews sent to authors: 2 May 2023
- Rebuttals due: 6 May 2023
- Notification of acceptance: 13 May 2023
- Camera-ready copies due: 5 June 2023
- Conference: 4���8 September 2023
Submissions to the doctoral programme
- Submission deadline: 30 June 2023
- Notification of acceptance: 14 July 2023
All submissions should be made via EasyChair at
https://easychair.org/conferences/?conf=cicm2023
CICM 2023 will have proceedings in form of a volume in the Springer
LNAI series, using the LNCS style.
For the LNCS style files, see:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…
Hi all,
The next Research Showcase will be live-streamed next Wednesday, December
14. Find your local time here <https://zonestamp.toolforge.org/1671039024>.
The title of the Showcase is, 'A year in review from the WMF Research team:
Tying our work to the research community.'
The Wikimedia Research community is key to tackling the many strategic
challenges of the Wikimedia movement. As we are ending the year, the
Research team will reflect on why working with the community is important
to us. We will share the initiatives, tools, and resources developed
throughout 2022 to bring the community together, facilitate researchers’
contributions to the Wikimedia projects, and encourage a diversity of
research questions.
YouTube stream: https://www.youtube.com/watch?v=a0ss9ckUlvQ
You can join the conversation on IRC at #wikimedia-research. You can also
watch our past Showcases here:
https://www.mediawiki.org/wiki/Wikimedia_Research/Showcase
Warm regards,
Emily
--
Emily Lescak (she / her)
Senior Research Community Officer
The Wikimedia Foundation
====
SEMANTiCS - 19th International Conference on Semantic Systems
Leipzig, Germany
September 20 - 22, 2023
====
The Research and Innovation track at SEMANTiCS 2023 EU welcomes papers
on novel scientific research and/or innovations relevant to the topics
of the conference. Submissions must be original and must not have been
submitted for publication elsewhere. Papers must follow the guidelines
given in the author instructions, including references and optional
appendices. Each submission will be reviewed by several PC members who
will assess it based on its innovativeness, technical merits, and
effectiveness at solving real problems.
SEMANTiCS 2023 especially invites contributions that target the
following main topics, sub-topics in the context of semantic-based
research and systems as well as applicative domains.
= Topics of Interest =
* Topics of interest include, but are not limited to:
* Web Semantics & Linked (Open) Data
* Enterprise Knowledge Graphs, Graph Data Management
* Machine Learning Techniques for/using Knowledge Graphs (e.g.
reinforcement learning, deep learning, data mining and knowledge discovery)
* Knowledge Management (e.g. acquisition, capture, extraction,
authoring, integration, publication)
* Terminology, Thesaurus & Ontology Management
* Reasoning, Rules, and Policies
* Natural Language Processing for/using Knowledge Graphs (e.g. entity
linking and resolution using target knowledge such as Wikidata and
DBpedia, foundation models)
* Crowdsourcing for/using Knowledge Graphs
* Data Quality Management and Assurance
* Mathematical Foundation of Knowledge-aware AI
* Multimodal Knowledge Graphs
* Semantics in Data Science
* Semantics in Blockchain environments
* Trust, Data Privacy, and Security with Semantic Technologies
* Economics of Data, Data Services, and Data Ecosystems
* IoT and Stream Processing
* Conversational AI and Dialogue Systems
* Provenance and Data Change Tracking
* Semantic Interoperability (via mapping, crosswalks, standards, etc.)
Special Sub-Topics:
* Digital Humanities and Cultural Heritage
* LegalTech, AI Safety, Explainable and Interoperable AI
* Decentralized and/or Federated Knowledge Graphs
Application of Semantically Enriched and AI-Based Approaches:
* Knowledge Graphs in Bioinformatics and Medical AI
* Clinical Use Case of AI-based Approaches
* AI for Environmental Challenges
* Semantics in Scholarly Communication and Open Research Knowledge Graphs
* AI and LOD within GLAM (galleries, libraries, archives, and museums)
institutions
= Important Dates =
* Abstract Submission Deadline: May 09, 2023 (11:59 pm, Hawaii time)
* Paper Submission Deadline: May 16, 2023 (11:59 pm, Hawaii time)
* Notification of Acceptance: June 20, 2023 (11:59 pm, Hawaii time)
* Camera-Ready Paper: July 04, 2023 (11:59 pm, Hawaii time)
Submission via Easychair on https://easychair.org/
= Author Guidelines and Submission =
* The Research and Innovation Track welcomes long and short papers. Long
papers should have 12-15 pages of content (excluding references) and
short papers of a maximum length of 6 pages of content (excluding
references). Since references are excluded from page counting, it is
fine to have one or more additional pages for references if they are
relevant to the study submitted.
* Submissions should follow the guidelines of IOS Press. Details are
available at https://www.iospress.com/book-article-instructions.
* Abstract submission for all papers is a strict requirement. To
facilitate bidding, we strongly suggest the authors submit structured
abstracts.
* All papers and abstracts have to be submitted electronically via
EasyChair.
* Submissions must be in English.
* Submissions must be anonymous; the reviewing process is double-blind,
but reviewers will be able to disclose their identities if they wish, by
signing their reviews.
* Accepted papers will be published in open access proceedings by IOS
Press, and the text of all the reviews (excluding the scores) of all the
accepted papers will be posted on the conference website and will be
archived on Zenodo as publicly available material.
* At least one author of each accepted paper must register for the
conference and present the paper.
* All authors are strongly suggested to provide optional links to code,
materials, and datasets during the submission process - we will have
specific optional fields in the EasyChair submission form - the review
process will take these into account when provided. To anonymise
resources for the reviewing process, authors can use services like
Anonymous GitHub or figshare/Zenodo as described here.
* The Research and Innovation Track will not accept papers that, at the
time of submission, are under review or have already been published in
or accepted for publication in a journal or another conference.
* All authors will have the opportunity to provide an ORKG comparison in
the Open Research Knowledge Graph (https://orkg.org) during the
submission process - we will have a specific optional field in the
EasyChair submission form.
= Review and Evaluation Criteria =
Each submission will be reviewed by several Programme Committee members.
The reviewing process is double-blind. However, reviewers can disclose
their identity by signing their reviews and/or adding one of their
persistent identifiers (e.g. their ORCID).
The text of all the reviews (excluding the scores) of all the accepted
papers will be posted on the conference website with the basic
bibliographic metadata of the reviewed submission (i.e. title and
authors), and it will be archived on Zenodo as publicly available
material. All the signed reviews of the accepted papers will be licensed
using a Creative Commons Attribution license (CC-BY, the copyright
holder will be the reviewer), except the anonymous ones that will be
released in CC0.
Papers submitted to this track will be evaluated according to the
following criteria:
* Appropriateness
* Originality, novelty, and innovativeness
* Impact of results
* Soundness of the evaluation
* Proper comparison to related work
* Clarity and quality of writing
* Reproducibility of results and resources
We are looking forward to your contribution!
Maribel Acosta & Silvio Peroni
Research and Innovation Track Chairs
The Max Planck Institute for Demographic Research (MPIDR) is inviting applications from qualified and highly motivated students for a Summer Research Visit.
The goal of the Population and Social Data Science Summer Incubator Program is to enable discovery by bringing together data scientists and population scientists to work on focused, intensive and collaborative projects of broad societal relevance.
For a period of 3 months (June 1st - August 25th, 2023) participating students will work in small teams, with support from experienced mentors, towards a common research goal. For the summer of 2023, confirmed organizers and mentors include Diego Alburez-Gutierrez, Aliakbar Akbaritabar, Monica Alexander (University of Toronto), Ugofilippo Basellini, and Emilio Zagheni. This summer, the focus of the program will be on forecasting, and on leveraging online crowd-sourced data.
Participating students will be exposed to best practices across the social sciences and data sciences while contributing to a hands-on project experience. All participants will also have access to lectures and participate in other scientific activities taking place at the MPIDR.
Applicants must be enrolled in a doctoral, master's or undergraduate university program (at the time they visit the MPIDR). Selected candidates must obtain approval to participate in the program by their supervisor / administrator. The Incubator program values research teams that include early-career scientists from a range of disciplines and backgrounds, with complementary skill sets. Priority will be placed on bringing together a diverse pool of students. The total number of attendees will be defined based on resources and quality of applications. The mentors will provide seed projects and data ideas, with flexibility for students to put forward their own ideas as well.
Successful candidates will have demonstrated ability to work on research projects independently and in interdisciplinary teams, and interest in research problems related to both data science and the social sciences, broadly defined.
Applications must be submitted online<https://www.demogr.mpg.de/en/career_6122/jobs_fellowships_1910/population_a…> and include the following documents:
1. Curriculum Vitae
2. Cover letter (Max 2 page)
- Please state why you are interested in spending the summer at the MPIDR, and in which ways you would benefit from participating in the Incubator program.
- Please articulate your research interests and briefly describe a project you have worked on, the motivation for it and your contribution.
- Please describe your technical skills, as well what you would like to learn over the course of the Summer visit.
1. Names and contact information for 2 academic referees
In order to receive full consideration, applications should be received by January 15th 2023. Notifications will be sent out by March 2023. This will be an in-person summer program, and students will be expected to be in residence at the MPIDR in Rostock for the period of the research visit and to devote most of their working time to the collaborative research project during that period. Selected students enrolled in a PhD program will be offered reimbursement for travel costs to/from Rostock, and a stipend. Selected students who are not enrolled in a PhD program will be offered reimbursement for travel costs to/from Rostock, lodging in Rostock, and a per diem.
For administrative questions please get in touch with Beatrice Michaelis (michaelis(a)demogr.mpg.de<mailto:michaelis@demogr.mpg.de?subject=Incubator%20Program>). For scientific questions please contact Diego Alburez-Gutierrez [crowd-sourced data] (alburezgutierrez(a)demogr.mpg.de<mailto:alburezgutierrez@demogr.mpg.de?subject=Incubator%20Program>) or Aliakbar Akbaritabar [forecasting] (akbaritabar(a)demogr.mpg.de<mailto:akbaritabar@demogr.mpg.de?subject=Incubator%20Program>).
The Max Planck Society values diversity and is keen to employ individuals from minorities.
We are committed to increasing the number of individuals with disabilities in our institutes and therefore encourage applications from such qualified individuals. Furthermore, the Max Planck Society seeks to increase the number of women in those areas where they are underrepresented and therefore explicitly encourages women to apply.
--
This mail has been sent through the MPI for Demographic Research. Should you receive a mail that is apparently from a MPI user without this text displayed, then the address has most likely been faked. If you are uncertain about the validity of this message, please check the mail header or ask your system administrator for assistance.
Dear all,
Some time ago someone, possibly on this list, posted an announcement about
a researcher-friendly dataset covering all page protection log actions.
Does anybody remember it? I understand that the logging table is also
dumped as part of the regular database dumps, but being it a snapshot it is
hard to reconstruct when a page gets in and out of protection. I am pretty
sure I didn't dream it but since I cannot find it I thought it would worth
checking with my fellow wiki researchers.
Cheers,
*Giovanni Luca Ciampaglia* • Assistant Professor
University of Maryland • College of Information Studies (iSchool)
glciampaglia.com • ischool.umd.edu
Hello everyone,
The next Research Showcase will be live-streamed Wednesday, November 16, at
9:30 AM PST/16:30 UTC. Find your local time here
<https://zonestamp.toolforge.org/1668619830>.
YouTube stream: https://www.youtube.com/watch?v=sFanZoHjUnY
Members of the Research team will collect questions on IRC at
#wikimedia-research and YouTube.
This month's theme is 'Libraries and Wikipedia Knowledge.'
In the first talk, Laurie Bridges (Oregon State University) and Michael
David Miller (McGill University) will co-present on Wikipedia and Academic
Libraries.
Abstract: In 2021 an open-access edited book, Wikipedia and Academic
Libraries: A Global Project <https://doi.org/10.3998/mpub.11778416>, was
published, featuring 20 chapters from over 50 authors. In this
presentation, Laurie Bridges, one of the co-editors, will discuss the
process for creating and publishing an OA-edited book. Michael David
Miller, one of the chapter authors, will discuss his chapter about
contributions to local Québécois LGBTQ+ content in Francophone Wikipedia.
The second talk will be on Ethical Considerations of Including Gender
Information in Open Knowledge Platforms, presented by Nerissa Lindsey (San
Diego State University).
Abstract: In recent years, galleries, libraries, archives, and museums
(GLAMs) have sought to leverage open knowledge platforms such as Wikidata
to highlight or provide more visibility for traditionally marginalized
groups and their work, collections, or contributions. Efforts like Art +
Feminism, local edit-a-thons, and, more recently, GLAM institution-led
projects have promoted open knowledge initiatives to a broader audience of
participants. One such open knowledge project, the Program for Cooperative
Cataloging (PCC) Wikidata Pilot, has brought together over seventy GLAM
organizations to contribute linked open data for individuals associated
with their institutions, collections, or archives. However, these projects
have brought up ethical concerns around including potentially sensitive
personal demographic information, such as gender identity, sexual
orientation, race, and ethnicity, in entries in an open knowledge base
about living persons. GLAM institutions are thus in a position of balancing
open access with ethical cataloging, which should include adhering to the
personal preferences of the individuals whose data is being shared. People
working in libraries and archives have been increasingly focusing their
energies on issues of diversity, equity, and inclusion in their descriptive
practices, including remediating legacy data and addressing biased
language. Moving this work into a more public sphere and scaling up in
volume creates potential risks to the individuals being described. While
adding demographic information on living people to open knowledge bases has
the potential to enhance, highlight, and celebrate diversity, it could also
potentially be used to the detriment of the subjects through surveillance
and targeting activities. In our research we investigated the changing role
of metadata and open knowledge in addressing, or not addressing, issues of
under- and misrepresentation, especially as they pertain to gender identity
as described in the sex or gender property in Wikidata. We reported our
findings from a survey investigating how organizations participating in
open knowledge projects are addressing ethical concerns around including
personal demographic information as part of their projects, including what,
if any, policies they have implemented and what implications these
activities may have for the living people being described.
You can also watch our past research showcases here:
https://www.mediawiki.org/wiki/Wikimedia_Research/Showcase
We hope you can join us!
Warm regards,
Emily, on behalf of the WMF Research team
--
Emily Lescak (she / her)
Senior Research Community Officer
The Wikimedia Foundation
We are studying online Wikipedia training and editing to prototype and evaluate a collaborative training tool that can support Wikipedia trainers to train newcomers to Wikipedia remotely, and we want to invite you to participate in our research study anonymously.
If you agree to participate in this study, please click on the following questionnaire link so we can find out how familiar you are with Wikipedia and whether you have any experience in Wikipedia editing. It will take ~2 mins to complete.
At the end, you will be redirected to an online social ideation and voting tool called Tricider to view, comment, and vote on others' ideas about designing an online Wikipedia training tool and to add your ideas for others to discuss and vote on. Please beware of the Tricider website's adverts that would look like part of the listed ideas.
https://standrews.eu.qualtrics.com/jfe/form/SV_8GuEdzPOGFaFrRc
Your contribution is important. Thank you.
If you have any questions, feel free to contact the researchers. Their details are below:
Contact Details
Researchers:
Abd Alsattar Ardati (aaa8(a)st-andrews.ac.uk)
Dr Sara Thomas (sara.thomas(a)wikimedia.org.uk)
Dr Richard Nevell (richard.nevell(a)wikimedia.org.uk)
Dr Kirsty Ross (ksrh1(a)st-andrews.ac.uk)
Supervisors:
Prof Ian Gent (ian.gent(a)st-andrews.ac.uk)
Dr Alexander Voss (alex.voss(a)st-andrews.ac.uk)
Dr Uta Hinrichs (uh3(a)st-andrews.ac.uk)
Dr Angela Miguel (arm14(a)st-andrews.ac.uk)
School of Computer Science
University of St Andrews
Jack Cole Building
North Haugh
St Andrews KY16 9SX
+44 1334 46 3262
Hi all,
We are excited to see increased awareness about the Wikimedia Research Fund
this year as compared to last year. We are receiving more inquiries from
prospective applicants, the number of views of the relevant pages is
significantly more than last year [1], and we are seeing good engagement in
office hours.
We are learning that there are quite a few researchers who have initial
ideas about projects that can benefit from input from existing Wikimedia
research, editor, organizer, or developer communities to strengthen their
proposals. Because we don't have one shared way to match or introduce
people to one another, we are starting to encourage people to start a
project on MetaWiki [2] and consider reaching out to wiki-research-l or
their relevant chapter or user group to seek input or look for
collaborators.
This means that the traffic for emails that come to this list between now
and December 16, the Research Fund's Stage I deadline [3], may increase.
The content of the emails may also ask for your input. Please offer input
to the extent that you have time and interest to help those who wish to
join our research community have a higher chance of success and a welcoming
experience.
The questions of how to welcome newcomers to our community and how to help
them be productive require dedicated attention. We hope that we can pick up
this topic with at least some of you in the coming year. :)
If you have questions or comments, please don't hesitate to reach out.
Best,
Emily
[1]
https://pageviews.wmcloud.org/?project=meta.wikimedia.org&platform=all-acce…
<https://pageviews.wmcloud.org/?project=meta.wikimedia.org&platform=all-acce…>
[2] https://meta.wikimedia.org/wiki/Research:New_project
[3]
https://meta.wikimedia.org/wiki/Grants:Programs/Wikimedia_Research_%26_Tech…
--
Emily Lescak (she / her)
Senior Research Community Officer
The Wikimedia Foundation
Hello everyone,
The next Research Showcase will be live-streamed Wednesday, October 19, at
9:30 AM PST/16:30 UTC. Find your local time here
<https://zonestamp.toolforge.org/1666197004>.
YouTube stream: https://www.youtube.com/watch?v=ML-ULyARpU4
Members of the Research team will collect questions on IRC at
#wikimedia-research and YouTube.
This month's presentation is a panel discussion celebrating Wikidata's 10th
birthday!
October 2022 marks the tenth anniversary of the launch of Wikidata (
www.wikidata.org). In ten years, this project has become the largest
community-driven free knowledge graph in the world, enabling a common
knowledge base for Wikimedia projects. The language-independent nature of
Wikidata has greatly improved the maintenance and consistency of knowledge
across Wikipedia language editions, fostering knowledge equity in
Wikimedia. In addition, since Wikidata is a collaborative project that can
be read and edited by humans and machines alike, it is also widely used in
third-party applications delivering knowledge as a service for all. The
Wikimedia Research community has devoted significant effort and resources
in studying the foundations, capabilities and applications of Wikidata,
from the complex requirements of representing real-world knowledge in a
multilingual environment to the needs to assess the quality of data and
sources in Wikidata. To learn more about the state of the art of Wikidata
and research challenges in the era of AI/ML, we will celebrate this tenth
anniversary with a panel that will bring together established
researchers/practitioners in this field.
The panel will be moderated by Denny Vrandečić (WMF) with panelists Lydia
Pintscher (WMDE), Elena Simperl (King's College London), Katherine Thornton
(Yale), and Markus Krötzsch (Technical University of Dresden).
You can also watch our past research showcases here:
https://www.mediawiki.org/wiki/Wikimedia_Research/Showcase
We hope you can join us!
Warm regards,
Emily, on behalf of the WMF Research team
--
Emily Lescak (she / her)
Senior Research Community Officer
The Wikimedia Foundation