=====================================================================
CALL FOR PARTICIPATION
CICM 2020 -- Conference on Intelligent Computer Mathematics
https://cicm-conference.org/2020/
Due to the Covid-19 outbreak, CICM 2020 is held as an online conference
======================================================================
GENERAL INFORMATION
-------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.
REGISTRATION
------------
The conference and the affiliated events will take place online.
Registration is free of charge. However, registration is mandatory to
attend the talks.
Please fill this form to register for CICM 2020:
https://forms.gle/oS5BVGDf6LgDGDiK8
SCIENTIFIC PROGRAM
------------------
The program of the conference is available under:
https://easychair.org/smart-program/CICM-13/
(all times are in CEST timezone (UTC+2))
INVITED SPEAKERS
------------------------
- Kevin Buzzard, Imperial College, London, UK
Formalizing Undergraduate Mathematics
- Catherine Dubois, ENSIIE, CNRS, Evry, France
Formally Verified Constraints Solvers: a Guided Tour
- Christian Szegedy, Google Research, Mountain View, CA, USA
A Promising Path Towards Autoformalization and General Artificial
Intelligence
INVITED WORKSHOP SPEAKERS
-------------------------
- Freek Wiedijk, Radboud University Nijmegen, NL
Formal Proof for the Future
- Fairouz Kamareddine, Heriot-Watt University, UK
TBA
AFFILIATED WORKSHOPS AND DOCTORAL PROGRAMME
---------------------------------------
- NFM 2020 - Workshop on Natural Formal Mathematics
(https://cicm-conference.org/2020/cicm.php?event=NFM)
- Doctoral Programme
(https://cicm-conference.org/2020/cicm.php?event=doctoral)
Dear All,
I am happy to announce that the Research team at the Wikimedia Foundation
has officially started a new Formal Collaboration [1] with the University
of Turin (Italy) on Understanding Readers' Engagement with Images in
Wikipedia.
Rossano Schifanella, Assistant Professor in Computer Science at the
University of Turin, will be the main formal collaborator contributing to
this project. We are thankful to Rossano for agreeing to spend his time and
expertise on this project in the coming year!
We aim to keep the research documentation for this project in the
corresponding research page on meta [2], which will link to a Phabricator
task capturing research updates. I will be the point of contact for this
research in the Wikimedia Foundation. Please feel free to reach out if you
have comments or questions about the research!
Best,
Miriam
[1] https://www.mediawiki.org/wiki/Wikimedia_Research/Formal_collaborations
[2]
https://meta.wikimedia.org/wiki/Research:Understanding_Engagement_with_Imag…
Hi everyone,
Can expressions of gratitude make online communities stronger and more
inclusive? Or does thanking others for their voluntary efforts have little
effect?
CAT Lab <https://citizensandtech.org/> has partnered with Arabic, German,
Persian and Polish language Wikipedias to answer those questions - and more
- in two new studies.
In a field experiment that organized experienced Wikipedians to thank
thousands of editors
<https://citizensandtech.org/2020/06/effects-of-saying-thanks-on-wikipedia/>,
we found that *receiving a Thanks increased two week retention by 2
percentage points* on average. Receiving thanks also causes recipients to
send 43% more thanks on average (preprint <https://osf.io/dmwef/>).
A partner study looked at the effects on senders of giving Thanks
<https://citizensandtech.org/2020/06/mentoring-thanking-and-burnout-wikipedi…>.
While we did not find an effect, this could be because *many** volunteers
already felt emotionally drained from their efforts on Wikipedia and
weren't able to complete the study*. Because of this, we made valuable
discoveries about who spends time supporting others, how they think about
the intentions of newcomers, and how they feel about their work. We also
gained insights into Wikipedians who consider themselves "mentors" and
"monitors" (preprint <https://osf.io/m9cy6/>).
We value feedback and discussion as we move our pre-prints toward
submission for publication.
-----
Our team of Julia Kamin, Max Klein, Eric Pennington, and I are tremendously
grateful to the many Wikipedians who partnered with us in this work, in
particular our eight liaisons who worked closely with us in the design of
the studies, including Reem Al-Kashif, Christine Domgörgen, Mohamed
ElGohary, Maria Heuschkel, Amir Ladsgroup, Wojciech Pędzich, Mohsen Salek,
and Natalia Szafran-Kozakowska.
Conducting Collaborative Field Experiments with Wikipedia Communities
This research was done in collaboration with language Wikipedias and
reviewed by two university ethics boards. We hope that this research
inspires more participatory research that is co-created by Wikipedia
communities.
In the next year, we are working to open our process & software to a wider
range of communities and researchers. Toward that end, CAT Lab is currently
developing ideas and fundraising for our next round of collaborations,
building on our workshops and community research summit
<https://citizensandtech.org/2019/11/research-summit-with-wikimedians/> in
Stockholm last year. If you have ideas, please reach out!
--
J. Nathan Matias <http://natematias.com/> : Cornell University : Citizens
and Technology Lab <https://citizensandtech.org> : @natematias
<http://twitter.com/natematias> : blog
<https://natematias.com/external-posts/>
The June 2020 issue of the Wikimedia Research Newsletter is out:
https://meta.wikimedia.org/wiki/Research:Newsletter/2020/June
In this issue:
1 Facebook research about automated Wikipedia-based fact-checking using language models2 How Wikipedia keeps up with COVID-19 research3 Briefly4 Other recent publications4.1 "A Quantitative Portrait of Wikipedia's High-Tempo Collaborations during the 2020 Coronavirus Pandemic"4.2 COVID-19 mobility restrictions increased interest in health and entertainment topics on Wikipedia4.3 "Collective response to the media coverage of COVID-19 Pandemic on Reddit and Wikipedia"4.4 "A protocol for adding knowledge to Wikidata, a case report"4.5 "Swat: A system for detecting salient Wikipedia entities in texts"4.6 "WAC: A Corpus of Wikipedia Conversations for Online Abuse Detection"4.7 "Multi-class Multilingual Classification of Wikipedia Articles Using Extended Named Entity Tag Set"4.8 "Computational Fact Validation from Knowledge Graph using Structured and Unstructured Information"
*** 11 recent publications were covered or listed in this issue ***
Masssly and Tilman Bayer
---
Wikimedia Research Newsletter
https://meta.wikimedia.org/wiki/Research:Newsletter/
* Follow us on Twitter: @WikiResearch
* Like us on Facebook: Facebook.com/WikiResearch/
* Receive this newsletter by mail: Research-newsletter Mailing List - Wikimedia
Apologies for cross-posting. Please share widely!
Giovanni
******************** CALL FOR CONTRIBUTIONS ********************
2nd Conference on Truth and Trust Online (TTO)
TTO 2020
Virtual, October 16-17, 2020
https://truthandtrustonline.com/
****************************************************************
The mission of the Conference on Truth and Trust Online (TTO),
now in its second edition, is to bring together all parties
working toward improving the truthfulness and trustworthiness
of online communications. Given the ongoing travel restrictions,
this year’s conference will be virtual, taking place online on
October 16-17, 2020.
We invite submissions of both technical papers and talk proposals
on technical solutions for addressing current challenges facing
social media platforms on the following indicative list of topics:
- Misinformation
- Disinformation
- Trustworthiness of COVID-19 news and guidance
- Hate speech
- Online harassment and cyberbullying
- Credibility
- Hyper-partisanship and bias
- Image/video verification
- Fake amplification
- Fake reviews
- Polarization and echo chambers
- Transparency in content and source moderation
- Privacy requirements
DEADLINES:
- Paper submission deadline: August 1, 2020
- Talk proposal submission deadline: August 15, 2020
SUBMISSION:https://easychair.org/conferences/?conf=tto2020
*Giovanni Luca Ciampaglia* ∙ glciampaglia.com
Assistant Professor
Computer Science and Engineering
<https://www.usf.edu/engineering/cse/> ∙ University
of South Florida <https://www.usf.edu/>
*Due to Florida’s broad open records law, email to or from university
employees is public record, available to the public and the media upon
request.*
Dear Wikipedia Developers & Researchers,
My name is Ethan, and I am a researcher working under the supervision
of Prof.Haiyi
Zhu <https://haiyizhu.com/> in the HCI Department at Carnegie Mellon
University. We are looking for participants to test our visualization
system of ORES <https://www.mediawiki.org/wiki/ORES>.
About our research
We are currently conducting a research study on Wikipedia's ORES system.
Our research focuses on building visualizations that help people
effectively understand ORES and build ORES-based applications.
About our study
If you have developed or used any ORES-based application, we would love to
invite you to participate in this research. The research will be a
think-aloud interview that takes approximately *45 minutes*. During the
research, we will ask you to interact with a visualization system we
developed for explaining aspects of the ORES models. We will also ask you
follow-up questions around your understanding of the visualization as well
as your thoughts on the AI models.
Compensation
All participants will be offered* $20 amazon gift cards*. If you are
interested in taking part in this research or would like more information,
please reply to this email.
I am looking forward to your response!
Best,
Ethan Ye
--
Zining(Ethan) Ye
Carnegie Mellon University, School of Design
Ziningy1(a)andrew.cmu.edu | 412-266-2205
<apologies for multiple posts>
PEER PRODUCTION AND OUR CRISES
Peer producers are people who create and manage common-pool resources together. It sometimes seems as if “peer production” and “digital commons” can be used interchangeably. Digital commons such as free and open source software and Wikipedia are non-rivalrous (they can be reproduced at little or no cost) and non-excludable (no-one can prevent others from using them, through property rights for example). So, practically speaking, proprietary objects could be produced by equal “peers”. We argue that peer production has a normative dimension so that what chiefly characterizes this mode of production is that “the output is orientated towards the further expansion of the commons; while the commons, recursively, is the chief resource in this mode of production” (Söderberg & O'Neil, 2014, p. 2). The Journal of Peer Production has tracked the evolution of peer production from open knowledge to open design and manufacturing. It approaches its ten-year anniversary in the time of the global pandemic, and of the continuing environmental crisis. The impacts of Covid-19 are profound, but will not last forever, though local infection pools may subsist in poorer countries for much longer than in the Global North. In contrast, the environmental crisis is here to stay.
THE ROLE OF THE JOURNAL OF PEER PRODUCTION
Significant social change is required to stave off climate destruction, and principles such as cooperation and trust, transparency in production, collective democratic decision-making, etc., can usefully contribute to necessary processes of “relocalization” and “degrowth”.* What should be done to develop the digital and physical commons? What role should the Journal of Peer Production play in this development? And what shape should it take? It is clear that in addition to maintaining its uniquely transparent curation and dissemination of academic research, the Journal of Peer Production needs to expand its work in several ways:
-Should it feature more practical advice to develop commons, such as toolkits and how-to guides?
-Should it comprise policy proposals to help grow the infrastructure which supports the commons?
-In other words, should it combine research and action?
The answer is "yes" in all three cases. To this end we seek creative, practical and policy-oriented ideas to help invent a new type of scientific journal that both fulfills strict academic criteria, and brings research work closer to practice. Our next issue, JOPP #15 will thus be a "TRANSITION" issue featuring, in addition to peer-reviewed research, experimental formats and "meta" articles.
JOPP #15 TRANSITION - Call for Papers
We seek investigations into societal transition (how can we move towards a society where contributions to the commons are valued and recognised?), into the journal's editorial transition (how should the Journal of Peer Production change to assist this societal transition), as well as idiosyncratic understandings of scientific and political transitions.
JOPP #15 TRANSITION - Peer-reviewed articles + Complement
We invite submissions of peer-reviewed academic papers from multiple fields on how "things can change". What are the sociological and historical conditions for transition to occur? For example: what is the impact of manifestos? When is innovation socialised? How can allies be enrolled? etc.
Editorial guidelines for peer-reviewed articles: max 8000 words; peer-reviewed in accordance with the JOPP peer review process
See http://peerproduction.net/peer-review/process/
For this TRANSITION issue, academic papers must be complemented by a shorter piece in which the contents of the academic paper are transformed into a different format. The nature of this transformation is up to the authors.
We can suggest the following: policy guidelines; practical toolkits; comic-books; etc.
Other authors may be enlisted to assist in the article's transition.
Editorial guidelines for complementary pieces: max 2000 words; reviewed by the editors.
JOPP #15 TRANSITION - Non peer-reviewed articles
We also invite submissions of non-peer reviewed academic papers dealing with transition. These will be reviewed by the editors.
A-Follow-up papers
Papers "following-up" on previous issues of JOPP, or on specific articles by the authors or others.
What has changed since this article was published?
B-Policy and strategic papers
Papers bringing together academics and policy makers.
Strategies for connecting to actors in government and/or civil society.
C-Meta papers
Papers on the question of impactful academic publishing: how can academics pursue a career and have social impact at the same time?
Papers on the transition of research fields: how do research fields evolve to better meet their aims?
Rewriting influential papers, or a chapter of a classic book, or revisiting one's own past paper: what has changed?
Editorial guidelines for A, B, and C: max 4000 words.
TRANSITION: TIMELINE
CFP released 30 June 2020
EOI peer-reviewed articles deadline (500-words max. extended abstract + 100-words max. complementary paper abstract) 30 July 2020
EOI non peer-reviewed articles deadline (250-words max. abstract) 30 July 2020
Authors advised 30 August 2020
First submission sent out for review 30 November 2020
Reviews due 30 January 2021
Revised submissions due 30 March 2021
Signals due 30 May 2021
JOPP # 15 released 30 June 2021
==-==-==-==-==-==-==-==-==-==-==
*The following is an excerpt from the final chapter of the forthcoming Handbook of Peer Production (Wiley, 2021), “Be Your Own Peer! Principles and Policies for the Commons” (O’Neil, Toupin, Pentzold):
The governance of peer produced projects, one of the central aspects of the studies of peer production, aspires to the self-regulation of participants in autonomous collectives. This governance raises the broader issue of political sovereignty. The appeal of self-governance for peer production participants can perhaps be explained by the amount of strategic control most citizens in liberal democracies have over their lives and environment. This control has been drastically reduced by unaccountable global actors – e.g. financial markets, extractive industrial interests, supranational trade agreements, and the list goes on – who influence and constrain the policy options of notionally democratic nation-states. In the early 2020s, racist nativism and authoritarianism are being embraced by some people in reaction to the failures of export-oriented, deregulated, and globalized neoliberalism. A way out of this political crisis is linked to a solution to the environmental crisis: we must head toward more democracy by relocalizing or deglobalizing, and towards more sustainability by degrowing, our economies.
As engaged researchers, we believe the Handbook of Peer Production needs to offer a response, however modest, to these political and ecological challenges. Addressing the macro-economic aspects of “deglobalization” would lead us far away from peer production, towards issues which would probably require a Handbook of their own. Accordingly, we focus here on relocalization as it relates to degrowth (décroissance), the downscaling of over-production and over-consumption (Kallis, 2019; Latouche, 2006). In a nutshell: unlimited growth and consumption are not sustainable, so we need more access to free public services, a shorter work week, and a turn towards climate-friendly industries. In this context, Stefania Barca (2019) suggests that the one question that matters is that posed by self-governing workers: “should surplus value be reinvested in production, or not”? Yet since only a handful of firms and industrial sectors are run following so-called “holacratic” (i.e., communal or participatory) principles, degrowth must – in a first stage at least – be deployed in a piecemeal, hybrid manner.
In the context of discussing the cooperative sector, Gibson-Graham (2003) suggest that if we perceive economic relations as already plural, then the revolutionary “project of replacement” can be modified into one of “strengthening already existing non-capitalist economic processes and building new non-capitalist enterprises,” of establishing “communal subjects” (p. 157). Several chapters in the Handbook of Peer Production [...] have discussed ways in which this “strengthening” has begun to occur at the municipal level. However, as noted by Adrian Smith (2014) in his account of London’s early-1980s Technology Networks (community-based workshops which provided open access to shared machine tools, technical advice, and prototyping services), a “key lesson from this history is that “radical aspirations invested in workshops, such as democratizing technology, will need to connect to wider social mobilizations capable of bringing about reinforcing political, economic and institutional change” (Smith, 2014, online). In other words, the ecology around peer production must be nurtured. Further, adopting strictly local settings leaves the public policy terrain open to neoliberal and/or reactionary perspectives.
References
Barca, S. (2019) The labor(s) of degrowth. Capitalism Nature Socialism, 30(2), 207–216.
Gibson-Graham, J.K. (2003). Enabling ethical economies: Cooperativism and class. Critical Sociology. 29(2): 123-164.
Kallis, G. (2019) Socialism without growth. Capitalism Nature Socialism, 30(2): 189-206.
Latouche, S. (2006) The globe downshifted. Le monde diplomatique. January.
https://mondediplo.com/2006/01/13degrowth
Smith, A. (2014) Technology Networks for socially useful production. Journal of Peer Production, 5: Shared Machine Shops. http://peerproduction.net/issues/issue-5-shared-machine-shops/peer-reviewed…
Söderberg, J., & O’Neil, M. (2014). Introduction. In: Söderberg, J., & Maxigas (Eds.), Book of Peer Production (pp. 2-3). Göteborg: NSU Press. http://peerproduction.net/projects/books/book-of-peer-production/
==-==-==-==-==-==-==-==-==-==-==
Hi all,
The Research team at the Wikimedia Foundation has officially started a new
Formal Collaboration
<https://www.mediawiki.org/wiki/Wikimedia_Research/Formal_collaborations>with
researchers from the Universidade Federal do Espirito (UFES, Brazil) and
Telefónica Research (Spain), to work collaboratively on the Exploration on
content propagation across Wikimedia projects
<https://meta.wikimedia.org/wiki/Research:Exploration_on_content_propagation….>
as part of the Knowledge Integrity program
<https://research.wikimedia.org/knowledge-integrity.html>.
Here are a few pieces of information about this collaboration that we would
like to share with you:
* We aim to keep the research documentation for this project in the
corresponding research page on meta
<https://meta.wikimedia.org/wiki/Research:Exploration_on_content_propagation….>
.
* Giovanni Comarela (UFES) and Souneil Park (Telefónica) will be
contributing to this project. We are thankful to them for agreeing to spend
their time and expertise on this project in the coming 3 months and to
those of you who have already worked with us as we were shaping the
proposal for this project and are planning to continue your contributions
to this program.
* I act as the point of contact for this research in the Wikimedia
Foundation. Please feel free to reach out to me (directly, if it cannot be
shared publicly) if you have comments or questions about the project.
Best,
Diego Sáez Trumper -- Research Scientist -- Wikimedia Foundation
Apologies for cross-posting
Over the last year, the DBpedia core team has consolidated great amount
of technology around DBpedia. This tutorial is targeted for developers
(in particular of DBpedia Chapters) that wish to learn how to replicate
local infrastructure such as loading and hosting an own SPARQL endpoint.
A core focus will also be the new DBpedia Stack, which contains several
dockerized applications that are automatically loading data from the
databus. The tutorial will cover the following topics:
- Using Databus collections (Download)
- Creating customized Databus collections
- Uploading data to the Databus
- Using collections in Databus-ready Docker applications
- Creating dockerized applications for the DBpedia Stack
The first tutorial will be held on July 1st, 2020 at 9:00-10:00 am
CEST.The tutorial will be repeated once more at a later time.
# Quick Facts
- Web URL:https://wiki.dbpedia.org/tutorials/1st-dbpedia-stack-tutorial
- When: July 1st, 2020 9:00-10:00 am CEST
- Where: The tutorial will be organized online. Registration is required
though.
- Databus: https://databus.dbpedia.org/
# Registration
Attending the DBpedia Stack tutorial is free. Registration is required
though. After the registration for the event, you will receive an email
with more instructions. Please register here to be part of the meeting:
https://docs.google.com/forms/d/e/1FAIpQLSfI3x5YE6bYmxTM57001MBfy5_1EjyjUV5…
# Program
- Please check the schedule for the upcoming DBpedia Stack Tutorial
here: https://wiki.dbpedia.org/tutorials/1st-dbpedia-stack-tutorial
# Organisation
- Milan Dojchinovski, AKSW/KILT, DBpedia Association
- Jan Forberg, AKSW/KILT, DBpedia Association
- Sebastian Hellmann, AKSW/KILT, DBpedia Association
We are looking forward to meeting you online!
With kind regards,
The DBpedia Team
Hi all,
join the teams from Analytics and Research for their monthly office hours
next Wednesday, 2020-06-24 from 9.00-10.00am (UTC)*. Bring all your
research/analytics questions and ideas to discuss projects, data, analysis,
etc. To participate, please join the IRC channel: #wikimedia-research [1].
More detailed information can be found here [2].
Note the earlier starting time to previous meetings -- starting this month
we are experimenting with alternating time-slots from month to month to
provide different options for participation and accommodate a wider range
of timezones.
Looking forward to your participation,
Martin
[1] irc://chat.freenode.net:6667/wikimedia-research
[2] https://www.mediawiki.org/wiki/Wikimedia_Research/Office_hours
* find local times here:
https://www.timeanddate.com/worldclock/fixedtime.html?iso=20200624T09
--
Martin Gerlach
Research Scientist
Wikimedia Foundation