Final Call for Applications (Deadline: August 31)
21st Reasoning Web Summer School
September 25-28, 2025, Istanbul, Turkey
https://2025.declarativeai.net/events/reasoning-web
************************************************************************************************************
We are happy to announce that the 21st edition of the Reasoning Web
Summer School (RW 2025) will take place from September 25-28, 2025 in
Istanbul, Turkey. RW 2025 is part of Declarative AI 2025, which also
includes the 9th International Joint Conference on Rules and Reasoning
(RuleML+RR) and DecisionCAMP 2025, both held from September 22-24, 2025.
The purpose of the Reasoning Web Summer School is to disseminate recent
advances in reasoning techniques and relevant topics related to
ontologies, rules, logic, the semantic web, linked data, and knowledge
graph applications. The summer school is primarily intended for
individuals who are currently pursuing or have recently completed
postgraduate degrees (PhD or MSc). However, the school also welcomes the
participation of researchers at later career stages who wish to become
acquainted with the area or deepen their understanding of recent
developments. The RW school is a great venue for meeting like-minded
researchers and exchanging with an engaging and approachable group of
international lecturers!
*** Summer School Program ***
As in previous years, the summer school will feature 8 tutorials
delivered by researchers who are experts in the area. Here are the
confirmed speakers and topics for this year's school:
* Camille Bourgaux: Inconsistency-Tolerant Semantics Based on
Preferred Repairs
* Esra Erdem, Aysu Bogatarkan, Muge Fidan: Human-Centered ASP
Applications: Representation and Reasoning
* Patrick Koopmann: Explaining Reasoning Results for Description Logic
Ontologies
* Markus Krötzsch: Modern Datalog: Concepts, Methods, Applications
* Antonella Poggi: From One-Level to Multi-Level Ontology-Based Data
Access
* Francesco Ricca and Giuseppe Mazzotta: ASP Essentials: Modelling and
Efficient Solving
* Luciano Serafini: Neuro-Symbolic Artificial Intelligence
* Przemyslaw Walega: Reasoning about Time in DatalogMTL
Tutorial abstracts and speaker bios can be found on the RW 2025 website:
https://2025.declarativeai.net/events/reasoning-web/program
*** Applications & Registration ***
To participate in RW 2025, you will need to submit a short application,
with information on your academic and research background and motivation
for attending the school. You can do so by filling out the following form:
https://docs.google.com/forms/d/1aIIeJdHS2zash1gCMmqw2_UnFMNO7DMA7X8SyI8x3b…
or alternatively, by sending the organizers an email with all of the
information requested on the form.
Successful applicants will be notified by September 2nd and will receive
information on how to pay the registration fee to confirm their spot in
the school. The registration fee of 300€ (incl. VAT) includes access to
the lectures, lunches, and coffee breaks for the four days, as well as a
social event.
Note that the final deadline for submitting an application is fast
approaching: August 31st, 2025
***
If you require additional information, please get in touch with the chairs.
* Alessandro Artale, Free University of Bozen-Bolzano, Italy
artale(a)inf.unibz.it
* Meghyn Bienvenu, CNRS & University of Bordeaux, France
meghyn.bienvenu(a)u-bordeaux.fr
Hi Maryana,
On Thu, Feb 29, 2024 at 9:04 AM Maryana Iskander <miskander(a)wikimedia.org>
wrote:
> This message will be translated into other languages on Meta-wiki
> <https://meta.wikimedia.org/wiki/Special:MyLanguage/Wikimedia_Foundation_Chi…>
>
> العربية • español • français • português • Deutsch• 中文
> <https://meta.wikimedia.org/wiki/Special:MyLanguage/Wikimedia_Foundation_Chi…>
>
> You can help with more languages
> <https://meta.wikimedia.org/wiki/Special:MyLanguage/Wikimedia_Foundation_Chi…>
>
> Hi everyone,
>
> Since joining the Foundation I have tried to regularly write to you
> <https://meta.wikimedia.org/wiki/Special:MyLanguage/Wikimedia_Foundation_Chi…>
> here and elsewhere, and I wanted to share a few updates since my last
> letter. In October 2023
> <https://meta.wikimedia.org/wiki/Special:MyLanguage/Wikimedia_Foundation_Com…>,
> I reflected that we were in a period of compounded challenges across the
> world with escalating wars, conflict, and climate reminding us each week
> that global volatility and uncertainty was on the rise. That feels even
> more true now. My instinct then was to ask us to make more time to talk to
> each other and to try and pull closer together. This feels even more needed
> now.
>
> [...]
>
> Finally, our human-led values came up in several conversations about
> Wikimedia’s role in shaping the next generation of artificial intelligence,
> a topic of ongoing discussion in the world
> <https://www.nytimes.com/2023/07/18/magazine/wikipedia-ai-chatgpt.html?unloc…>,
> in our communities <https://meta.wikimedia.org/wiki/Talk:Future_Audiences>
> , and at the Foundation. This is complemented by ongoing discussions
> about the role of AI-generated content on our platform by various project
> communities.
> <https://en.wikipedia.org/wiki/Wikipedia_talk:Large_language_model_policy)>
> A recent effort to contribute to a shared research agenda on AI
> <https://meta.wikimedia.org/wiki/Special:MyLanguage/Artificial_intelligence/…>can
> be found here – including the need for more research to understand human
> motivation to contribute to the knowledge commons – it was created by a
> small group working in the open who rushed to publish a ‘bad first draft’
> that will benefit from more input.
> <https://meta.wikimedia.org/wiki/Special:MyLanguage/Talk:Artificial_intellig…>
>
> Thank you for acknowledging the limitations of this document. As we also
noted in the Signpost
<https://en.wikipedia.org/wiki/Wikipedia:Wikipedia_Signpost/2024-03-02/News_…>
at the time, there was indeed some consternation about the lack of
involvement of the volunteer community:
*"While the announcement appears to be speaking on behalf of 'volunteer
contributors', the 'Wikimedians' involved in drafting the document appears
to have consisted exclusively of Wikimedia Foundation staff (largely from
its Research department), according to the attendee list."*
I have to ask though, are there still plans to solicit wider input on this
draft agenda, or at least incorporate more from the numerous related
discussions on AI that have been happening across the movement over the
last several years? (At
https://meta.wikimedia.org/wiki/Artificial_intelligence , some editors
including myself have been trying to keep a list of relevant links, but
it's surely not complete.) Again, I appreciate that your post here invited
"more input" on the agenda's talk page. But it seems that only a single
topic was added there afterwards, and in any case no content updates
<https://meta.wikimedia.org/w/index.php?title=Artificial_intelligence/Bellag…>
have been made to that "bad first draft" since February 2024.
Relatedly, given that the document states that *"Our hope is that many
researchers across industry, government, and nonprofit organizations will
adopt the final research agenda to help support and guide their own
research"*:
Are there plans to solicit input from such external researchers on the
draft? And once this research agenda is finalized, does the Foundation plan
to bring it to their attention? It doesn't seem to have made such efforts
yet, e.g. I can't find any mention
<https://lists.wikimedia.org/hyperkitty/search?mlist=wiki-research-l%40lists…>
of
it on the Wiki-research-l mailing list (CCing it now).
I thought that maybe this Bellagio document had been a tangential one-off
to make use of an external funding opportunity, and had been abandoned
afterwards. But then I saw that more recently Selena highlighted it in
the "Reflections
on 2025 from the Wikimedia Foundation Executive Team"
<https://diff.wikimedia.org/2025/01/29/reflections-on-2025-from-the-wikimedi…>
(as
the only concrete outcome regarding AI mentioned in this entire overview of
WMF accomplishments "Over the past year").
Regards, Tilman ([[User:HaeB]])
> [...]
>
> Maryana
>
>
> Maryana Iskander, Wikimedia Foundation CEO
>
>
Hello everyone,
I’d like to flag an upcoming event that may be of interest: the *Wikimedia
Futures Lab* [1], a process and convening co-designed by the Wikimedia
Foundation and Wikimedia Deutschland. It aims to help the movement explore
global trends and discuss possible movement-wide responses.
The in-person convening will take place *January 30 - February 1,
2026*, in *Frankfurt,
Germany*, with about 100 participants. Organizers are seeking a mix of
affiliates, contributors, and external experts, including researchers, to
take part in dialogue and shared learning.
The application deadline is *September 4, 2025*. More details can be found
on the Meta page [1].
Best,
Kinneret
[1] https://meta.wikimedia.org/wiki/Wikimedia_Futures_Lab
FYI
--
Leila Zia
Head of Research
Wikimedia Foundation
---------- Forwarded message ---------
From: Franziska Putz <fputz(a)wikimedia.org>
Date: Wed, Aug 27, 2025 at 2:49 AM
Subject: [African Wikimedians] Apply for RightsCon 2026 | Lusaka, Zambia
To: Mailing list for African Wikimedians <
african-wikimedians(a)lists.wikimedia.org>
Hi all,
The RightsCon deadline is fast approaching - don’t miss your chance to
submit a session! The submission deadline is *September 12th* (we expect
this deadline to be extended by one week). Application guidance below.
RightsCon <https://www.rightscon.org/>, hosted by Access Now, is an
important global digital rights conference that brings together activists,
academics, industry, civil society, and more to discuss pressing issues
related to human rights in the digital age. Wikimedians have a long history
of presenting at RightsCon (see 2025
<https://diff.wikimedia.org/2025/01/17/wikimedians-will-promote-cultural-pre…>
& 2023
<https://diff.wikimedia.org/2022/09/14/takeaways-from-rightscon-22-a-convers…>),
and I encourage this group in particular to consider sharing your work.
*Where and when: *RightsCon will take place in Lusaka, Zambia, May 5-8th,
2026. This is a hybrid event.
*Travel support:* RightsCon provides a handful of travel scholarships.
Their policy and process from last year
<https://www.rightscon.org/rc25-travel-support/> provide guidance on what
you can expect.
*Application guidance:* RightsCon has an excellent guide to a successful
proposal <https://www.rightscon.org/your-guide-to-a-successful-proposal/> as
well as an office hour. The next one is on Tuesday, September 2nd (4 am New
York | 10 am Brussels | 4 pm Hong Kong). In the blog post links above you
can see what Wikimedia topics have been successful in the past. I have also
put together a resource
<https://docs.google.com/document/d/1QUF3a1iXvE7J7GFKiEP5OWvpX_FsiAlSR5O4Trf…>
that
includes a template of the full application form as well as examples of
successful applications. My extra tips are below the line.
Please feel free to schedule a time with me if you have questions, or to
send me your draft application for input.
Best wishes,
Ziski
__
*Ziski's Tips*
- Tailor the topic to the region, either by involving allies from that
area or focusing on how lessons from your specific context could carry over.
- Collaborate with allies. Submit a session proposal with existing
partners, or with groups you want to work with more in the future. If you
do a Wikimedia only session, then you should at least include speakers from
other affiliates.
- Don't stick to panels. RightsCon is a fun conference because they
allow a host of creative session formats. We're a fun and quirky movement,
so those additional format options work well for us. Take advantage of them!
- Test ideas and run workshops. The RightsCon audience is always a great
group if you want to test a pitch or get feedback or ideas on a specific
project or challenge you're trying to tackle.
- Some areas where Wikimedians can bring a unique perspective:
- Work with indigenous languages (especially in the context of AI
discussions)
- Promoting and preserving cultural heritage in the 21st century with
open source tools so that communities can remain stewards of their
histories and cultures
- Epistemic justice / debates around knowledge rights and structures
of power, and how these need to be addressed in the digital age
- Data privacy practices
- Tactical experiences! What it takes to work in a global movement,
or build south-south alliances, or work with unlikely partners on a
campaign, or avoid burnout, or access useful grants, etc
- Using open data (WikiData!) to promote sustainable development goals
Franziska Putz (she/her)
Senior Movement Advocacy Manager
Global Advocacy, Wikimedia Foundation
Fputz(a)wikimedia.org
UTC Timezone
_______________________________________________
African-Wikimedians mailing list -- african-wikimedians(a)lists.wikimedia.org
To unsubscribe send an email to
african-wikimedians-leave(a)lists.wikimedia.org
***Postdoc/Research Scientist Positions at MPIDR: Search Fields: Migration | Population Dynamics | Computational Demography***
The Max Planck Institute for Demographic Research (MPIDR) is recruiting highly qualified Post-Docs or more senior Research Scientists to join the Lab of Migration and Mobility and/or the Lab of Population Dynamics and Sustainable Well-Being, within the Department of Digital and Computational Demography, headed by MPIDR Director Emilio Zagheni.
Digital and computational demography is a growing interdisciplinary field that tackles fundamental questions across all domains of population research by combining the methods and perspectives of computational sciences, social and behavioral sciences, and statistics. The field has emerged in parallel with rapid technological improvements in computing, the spread of Internet and mobile technologies, and the increased digitalization of data and of people's lives. Our group brings together methodologists (from areas like statistics, computer science or formal demography) with population scientists in order to foster cross-pollination of ideas, to advance methods and theories of demographic research, and to address pressing scientific and societal questions.
Candidates who can enrich, complement or expand projects in Research Areas of the Lab of Migration and Mobility or Research Areas of the Lab of Population Dynamics and Sustainable Well-Being would be particularly welcome. Across all profiles, ability and willingness to work in interdisciplinary teams in order to conduct cutting-edge research that advances our understanding of population processes is key.
More information are available on our website: https://www.demogr.mpg.de/en/career_6122/jobs_fellowships_1910/postdoc_rese….
--
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.
======================================================================
Call for Abstracts
NatFoM 2025
Workshop on Natural Formal Mathematics
Tentative date: October 6, 2025
At the
Conference on Intelligent Computer Mathematics
October 6 – 11, 2025
Brasilia, Brazil
======================================================================
In (pure) mathematics, there has always been a strong informal sense
of “naturality” of topics and methods. Generally, “natural” theories,
notions, properties, or proofs are preferred over technical,
convoluted, or counterintuitive approaches. If formal mathematics is
to become part of mainstream mathematics, its formalizations and usage
have to become more “natural”, and thus closer to informal
mathematics.
This workshop broadly addresses the issue of naturality in formal
mathematics. It will take place in the context of the CICM conference,
tentatively on Monday, Oct. 6, 2025 (to be confirmed). We plan to hold
open discussions on naturalness in formal mathematics.
Topics of interest include (but are not limited to):
* The notion of naturality in mathematics generally
* Natural mathematical language
* Translations between informal and formal mathematics using
statistical or symbolic techniques
* Natural input and output languages for formal mathematics systems
* Controlled natural languages (CNL) for mathematics
* Making formal mathematics documents readable
* Naturality of foundational theories (type theory, set theory, HOL,
etc.)
* Naturality of proof methods
* Natural proof structures and granularities
* Natural structurings of formalized mathematical texts and libraries
* Mathematical typesetting (LaTeX) and formal mathematics
* Natural formalizations
------------------
Call for abstracts
------------------
We invite you to submit extended abstracts or demonstration proposals
(up to 500 words).
At least one author of each accepted extended abstract or
demonstration proposal is expected to attend NatFoM and present their
submission in person. Accepted abstracts will be made available
online. Accepted abstracts can optionally be extended to a full paper
(5–15 pages) after the workshop. We are considering publication on
CEUR-WS, so please use their LaTeX format.
Please send your abstract/demonstration proposal as a PDF via email to
both Frederik (jan.frederik.schaefer(a)fau.de) and Marcel
(marcel.schuetz(a)fau.de).
Rolling submission until September 7 (earlier submissions will receive
earlier notifications).
-----------------
Program Committee
-----------------
* Adrian De Lon, Bonn, Germany (co-chair)
* Peter Koepke, Bonn, Germany (co-chair)
* Marcel Schütz, Erlangen, Germany (co-chair)
* Jan Frederik Schaefer, Erlangen, Germany (co-chair)
* ...
-------------------
Further Information
-------------------
Workshop Website:
https://cicm-conference.org/2025/cicm.php?event=natfom
Conference Website: https://cicm-conference.org/2025/
If you have any questions, please contact Marcel Schütz
<marcel.schuetz(a)fau.de>
Hi all. Great to meet you and thank you to Leila for inviting me to join the list. I’m the Executive Director of the Institutional Data Initiative<https://www.institutionaldatainitiative.org> (IDI) at Harvard and I wanted to share our recent data release—Institutional Books<https://www.institutionaldatainitiative.org/institutional-books>, a collection of nearly 1M public domain books, scanned at Harvard Library through the Google Books project.
IDI works with libraries and other knowledge institutions to publish their collections as data with the goal of establishing public-interest leverage in the AI ecosystem while improving collections for traditional patron usage. With each project, we look for novel ways to structure and analyze the collection and set standards along the way. With Institutional Books, we tackled language analysis, topic classification, and OCR correction, and our technical report<https://arxiv.org/abs/2506.08300> has even more. We hope to evolve the collection over time and release new formats as we go, such as EPUB and Markdown.
We’re also using this moment to experiment with a time-bounded Terms of Service that attempts to privilege open and noncommercial actors while garnering support from commercial actors as we iterate on sustainability. The goal is to eventually make the collection and all of its scans available under a more traditional open model.
Thoughts, questions, and collaboration welcomed. We also have a Slack where we’re talking about this collection and others. Or next project is to dig in on a new collection of old newspapers, in collaboration with Boston Public Library, as we work toward building a global commons.
—Greg
Hello everyone,
We're happy to announce the *13th edition of Wiki Workshop* [1], our
largest Wikimedia research event of the year will be held *virtually*
on *Wednesday
and Thursday, March 25-26, 2026*.
In 2025, we experimented with expanding the workshop from one to two days.
This was met with overwhelmingly positive feedback, and we are pleased that
the 2026 workshop will follow the same two-day format. We look forward to
your participation in making it another success! Stay tuned for further
details and registration information.
If you have questions about the workshop, please let us know on this list
or at wikiworkshop(a)googlegroups.com.
Best,
Kinneret, on behalf of the organizing team
[1] see last year's program and website: https://wikiworkshop.org