Pursuant to prior discussions about the need for a research
policy on Wikipedia, WikiProject Research is drafting a
policy regarding the recruitment of Wikipedia users to
participate in studies.
At this time, we have a proposed policy, and an accompanying
group that would facilitate recruitment of subjects in much
the same way that the Bot Approvals Group approves bots.
The policy proposal can be found at:
http://en.wikipedia.org/wiki/Wikipedia:Research
The Subject Recruitment Approvals Group mentioned in the proposal
is being described at:
http://en.wikipedia.org/wiki/Wikipedia:Subject_Recruitment_Approvals_Group
Before we move forward with seeking approval from the Wikipedia
community, we would like additional input about the proposal,
and would welcome additional help improving it.
Also, please consider participating in WikiProject Research at:
http://en.wikipedia.org/wiki/Wikipedia:WikiProject_Research
--
Bryan Song
GroupLens Research
University of Minnesota
Hi!
I am doing a PhD on online civic participation project
(e-participation). Within my research, I have carried out a user
survey, where I asked how many people ever edited/created a page on a
Wiki. Now I would like to compare the results with the overall rate of
wiki editing/creation on country level.
I've found some country-level statistics on Wikipedia Statistics (e.g.
3,000 editors of Wikipedia articles in Italy) but data for UK and
France are not available since Wikipedia provides statistics by
languages, not by countries. I'm thus looking for statistics on UK and
France (but am also interested in alternative ways of measuring wiki
editing/creation in Sweden and Italy).
I would be grateful for any tips!
Sunny regards, Alina
--
Alina ÖSTLING
PhD Candidate
European University Institute
www.eui.eu
CICM 2014 - Conferences on Intelligent Computer Mathematics
July 7-11, 2014 at University of Coimbra, Portugal
http://www.cicm-conference.org/2014
Call for Papers
** Extended Deadline: March 14th, 2014 **
-------------------------------------------------------------------
* Co-located Workshops *
- CCA'14: Workshop on Compact Computer Algebra
(organiser: Elena Smirnova)
- MathUI'14: Workshop on Mathematical User Interfaces
(organisers: Andrea Kohlhase, Paul Libbrecht)
- OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)
- Workshop on The Notion of Proof
(organisers: Jesse Alama, Reinhard Kahle)
- ThEdu'14: Workshop on Theorem Provers Components for Educational
Software (organisers: Walther Neuper, Pedro Quaresma)
-------------------------------------------------------------------
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas. The Conferences on Intelligent Computer Mathematics (CICM)
offer a venue for discussing these areas and their synergy.
CICM has been held annually as a joint meeting since 2008, colocating
related conferences and workshops to advance work in these subjects.
Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend
(Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen
(Germany 2012) and Bath (U.K. 2013).
This is a call for papers for CICM 2014, which will be held at the
University of Coimbra, 7-11 July 2014, following the 10th
International Workshop on Automated Deduction in Geometry.
The principal tracks of the conference will be:
Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: James Davenport
DML (Digital Mathematical Libraries)
Chair: Petr Sojka
MKM (Mathematical Knowledge Management)
Chair: Josef Urban
Systems and Projects
Chair: Alan Sexton
The local arrangements will be coordinated by the Local Arrangements
Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall
programme will be organised by the General Program Chair, Stephen Watt
(U. Western Ontario, Canada).
The proceedings of the conference will be published by Springer Verlag
as a volume in Lecture Notes in Artificial Intelligence (LNAI).
As in previous years, it is anticipated that there will be a number
co-located workshops, including one to mentor doctoral students giving
presentations.
----------------------------------------------------------------
Important dates
----------------------------------------------------------------
Conference submissions:
Abstract submission (extended): ** 14 March 2014 **
Submission deadline (extended): ** 14 March 2014 **
Reviews sent to authors: 4 April 2014
Rebuttals due: 8 April 2014
Notification of acceptance: 14 April 2014
Camera ready copies due: 25 April 2014
Work in progress and Doctoral Programme submissions:
Submission deadline: 28 April 2014
(Doctoral: Abstract+CV)
Notification of acceptance: 19 May 2014
Camera ready copies due: 26 May 2014
Conference: 7-11 July 2014
----------------------------------------------------------------
Tracks
----------------------------------------------------------------
================================================================
Track Calculemus: Symbolic Computation and Mechanised Reasoning
================================================================
Calculemus 2014 invites the submission of original research
contributions to be considered for publication and presentation at the
conference. Calculemus is a series of conferences dedicated to the
integration of computer algebra systems (CAS) and systems for
mechanised reasoning like interactive proof assistants (PA) or
automated theorem provers (ATP). Currently, symbolic computation is
divided into several (more or less) independent branches: traditional
ones (e.g., computer algebra and mechanised reasoning) as well as
newly emerging ones (on user interfaces, knowledge management, theory
exploration, etc.) The main concern of the Calculemus community is to
bring these developments together in order to facilitate the theory,
design, and implementation of integrated mathematical assistant
systems that will be used routinely by mathematicians, computer
scientists and all others who need computer-supported mathematics in
their every day business.
All topics in the intersection of computer algebra systems and
automated reasoning systems are of interest for Calculemus. These
include but are not limited to:
* Automated theorem proving in computer algebra systems.
* Computer algebra in theorem proving systems.
* Adding reasoning capabilities to computer algebra systems.
* Adding computational capabilities to theorem proving systems.
* Theory, design and implementation of interdisciplinary systems for
computer mathematics.
* Case studies and applications that involve a mix of computation and
reasoning.
* Case studies in formalization of mathematical theories.
* Representation of mathematics in computer algebra systems.
* Theory exploration techniques.
* Combining methods of symbolic computation and formal deduction.
* Input languages, programming languages, types and constraint languages,
and modeling languages for mathematical assistant systems.
* Homotopy type theory.
* Infrastructure for mathematical services.
================================================================
Track DML: Digital Mathematical Libraries
================================================================
Mathematicians dream of a digital archive containing all validated
mathematical literature ever published, reviewed, properly linked, and
verified. It is estimated that the entire corpus of mathematical
knowledge published over the centuries does not exceed 100,000,000
pages, an amount easily manageable by current information
technologies.
The track objective is to provide a forum for the development of
math-aware technologies, standards, algorithms and formats for the
fulfillment of the dream of a global digital mathematical library
(DML). Computer scientists (D) and librarians of the digital age (L)
are especially welcome to join mathematicians (M) and discuss many
aspects of DML preparation.
Track topics are all topics of mathematical knowledge management and
digital libraries applicable in the context of DML building, including
the processing of mathematical knowledge expressed in scientific
papers in natural languages:
* Math-aware text mining (math mining) and MSC classification
* Math-aware representations of mathematical knowledge
* Math-aware computational linguistics and corpora
* Math-aware tools for [meta]data and fulltext processing
* Math-aware OCR and document analysis
* Math-aware information retrieval
* Math-aware indexing and search
* Authoring languages and tools
* MathML, OpenMath, TeX and other mathematical content markup
languages
* Web interfaces for DML content
* Mathematics on the web, math crawling and indexing
* Math-aware document processing workflows
* Archives of written mathematics
* DML management, business models
* DML rights handling, funding, sustainability
* DML content acquisition, validation and curation
* Reports and experience from running existing DMLs
================================================================
Track MKM: Mathematical Knowledge Management
================================================================
Mathematical Knowledge Management is an interdisciplinary field of
research in the intersection of mathematics, computer science, library
science, and scientific publishing. The objective of MKM is to develop
new and better ways of managing sophisticated mathematical knowledge,
based on innovative technology of computer science, the Internet, and
intelligent knowledge processing. MKM is expected to serve
mathematicians, scientists, and engineers who produce and use
mathematical knowledge; educators and students who teach and learn
mathematics; publishers who offer mathematical textbooks and
disseminate new mathematical results; and librarians and
mathematicians who catalog and organize mathematical knowledge.
The track is concerned with all aspects of mathematical knowledge
management. A non-exclusive list of important topics includes:
* Representations of mathematical knowledge
* Authoring languages and tools
* Repositories of formalized mathematics
* Deduction systems
* Mathematical digital libraries
* Diagrammatic representations
* Mathematical OCR
* Mathematical search and retrieval
* Math assistants, tutoring and assessment systems
* MathML, OpenMath, and other mathematical content standards
* Web presentation of mathematics
* Data mining, discovery, theory exploration
* Computer algebra systems
* Collaboration tools for mathematics
* Challenges and solutions for mathematical workflows
================================================================
Track Systems and Projects
================================================================
The Systems and Projects track of the Conferences on Intelligent
Computer Mathematics is a forum for presenting available systems and
new and ongoing projects in all areas and topics related to the CICM
conferences:
* Deduction and Computer Algebra (Calculemus)
* Digital Mathematical Libraries (DML)
* Mathematical Knowledge Management (MKM)
The track aims to provide an overview of the latest developments and
trends within the CICM community as well as to exchange ideas between
developers and introduce systems to an audience of potential users.
----------------------------------------------------------------
Submission Instructions
----------------------------------------------------------------
Electronic submission is done through Easychair
http://www.easychair.org/conferences/?conf=cicm2014
All papers should be prepared in LaTeX and formatted according to the
requirements of Springer's LNCS series (the corresponding style files
can be downloaded from http://www.springer.de/comp/lncs/authors.html).
By submitting a paper the authors agree that if it is accepted at
least one of the authors will attend the conference to present it.
Submissions to the research tracks (Calculemus, DML, MKM) must not
exceed 15 pages in the LNCS style and will be reviewed and evaluated
with respect to relevance, clarity, quality, originality, and impact.
Shorter papers, e.g., for system descriptions, are welcome. Authors
will have an opportunity to respond to their papers' reviews before
the programme committee makes a decision.
System descriptions and projects descriptions should be 2-4 pages in
the LNCS style and should present
* newly developed systems,
* systems not previously been presented to the CICM community, or
* significant updates to existing systems.
Systems must either be available for download or currently executable
by the general public as a web application.
Project presentations should describe
* projects that are new or about to start,
* ongoing projects that have not yet been presented to the CICM community or
* significant new developments in ongoing previously presented projects.
Presentations of new projects should mention relevant previous work
and include a roadmap that outlines concrete steps. All project
submissions must have a live project website and should contain links
to demos, videos, downloadable systems or downloadable datasets.
Accepted conference submissions from all tracks will be published as a
volume in the series Lecture Notes in Artificial Intelligence (LNAI)
by Springer. In addition to these formal proceedings, authors are
permitted and encouraged to publish the final versions of their papers
on arXiv.org.
Work-in-progress submissions are intended to provide a forum for the
presentation of original work that is not yet in a suitable form for
submission as a full paper for a research track or system description.
This includes work in progress and emerging trends. Their size is not
limited, but we recommend 5-10 pages.
The programme committee may offer authors of rejected formal
submissions the opportunity to publish their contributions as
work-in-progress papers instead. Depending on the number of
work-in-progress papers accepted, they will be presented at the
conference either as short talks or as posters. The work-in-progress
proceedings will be published as a technical report, as well as online
with CEUR-WS.org.
----------------------------------------------------------------
Doctoral Programme
----------------------------------------------------------------
Chair: David Wilson (University of Bath, UK)
CICM is an excellent opportunity for graduate students to meet
established researchers from the areas of computer algebra, automated
deduction, and mathematical publishing.
The Doctoral Programme provides a dedicated forum for PhD students to
present and discuss their ideas, ongoing or planned research, and
achieved results in an open atmosphere. It will consist of
presentations by the PhD students to get constructive feedback,
advice, and suggestions from the research advisory board, researchers,
and other PhD students. Each PhD student will be assigned to an
experienced researcher from the research advisory board who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.
Students at any stage of their PhD can apply and should submit the
following documents through EasyChair:
* A two-page abstract of your thesis describing your 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.)
Submission Deadline: 28 April 2014.
----------------------------------------------------------------
Programme Committee
----------------------------------------------------------------
General chair: Stephen Watt (University of Western Ontario, Canada)
Calculemus track
James Davenport, University of Bath, UK (Chair)
Matthew England, University Of Bath, UK,
Dejan Jovanović, SRI, USA
Laura Kovács, Chalmers University of Technology, Sweden
Assia Mahboubi, INRIA, France
Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland
Grant Passmore, U. Cambridge and U. Edinburgh, UK
Florian Rabe, Jacobs University Bremen. Germany
Claudio Sacerdoti Coen, University of Bologna, Italy
Freek Wiedijk, Radboud University Nijmegen, Netherlands
(Other invitations pending)
DML track
Petr Sojka, Masaryk University, Brno, CZ (Chair)
Akiko Aizawa, NII, University of Tokyo, Japan
Łukasz Bolikowski, ICM, University of Warsaw, Poland
Thierry Bouche, Université Joseph Fourier, Grenoble, france
Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France
Janka Chlebíková, School of Computing, University of Portsmouth, UK
Michael Kohlhase, Jacobs University Bremen, Germany
Jiří Rákosník, Institute of Mathematics AS CR, CZ
David Ruddy, Cornell University, USA
Volker Sorge, University of Birmingham, UK
Frank Tompa, University of Waterloo, Canada
Richard Zanibbi, Rochester Institute of Technology, USA
MKM track
Josef Urban, Radboud University Nijmegen, The Netherlands (Chair)
Rob Arthan, Queen Mary University of London, UK
David Aspinall, Univerity of Edinburgh, UK
Michael Beeson, San Jose State University, USA
Claudio Sacerdoti Coen, University of Bologna, Italy
Thomas Hales, University of Pittsburgh, USA
Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL
Peter Jipsen, Chapman University, USA
Cezary Kaliszyk, University of Innsbruck, Austria
Michael Kohlhase, Jacobs University Bremen, Germany
Christoph Lange, University of Birmingham, UK
Paul Libbrecht, Weingarten University of Education, Germany
Ursula Martin, Queen Mary University of London, UK
Bruce Miller, NIST, USA
Adam Naumowicz, University of Bialystok, Poland
Florian Rabe, Jacobs University Bremen, Germany
Alan Sexton, University of Birmingham, UK
Enrico Tassi, INRIA, France
Stephen Watt, University of Western Ontario, Canada
Makarius Wenzel, Université Paris-Sud 11, France
Freek Wiedijk, Radboud University Nijmegen, The Netherlands
Systems & Projects track
Alan Sexton, University of Birmingham, UK (Chair)
Christoph Lange, University of Bonn, Germany
Jesse Alama, Technical University of Vienna, Austria
Rob Arthan, Queen Mary University of London, UK
Deyan Ginev, Jacobs University Bremen, Germany
Jónathan Heras, University of Dundee, Scotland
Mateja Jamnik, University of Cambridge, UK
Predrag Janičić, University of Belgrade, Serbia
Christoph Lüth, DFKI and University of Bremen, Germany
Bruce Miller, NIST, Gaithersburg, Maryland, USA
Hendrik Tews, TU Dresden, Germany
Starting tomorrow (February 26), we will be broadcasting the monthly showcase of the Wikimedia Research and Data team.
The showcase is an opportunity to present and discuss recent work researchers at the Foundation have been conducting. The showcase will start at 11.30 Pacific Time and we will post a link to the stream a few minutes before it starts. You can also join the conversation on the #wikimedia-office IRC channel on freenode (we’ll be sticking around after the end of the showcase to answer any question).
This month, we’ll be talking about Wikipedia mobile readers and article creation trends:
Oliver Keyes
Mobile session times
A prerequisite to many pieces of interesting reader research is being able to accurately identify the length of users' 'sessions'. I will explain one potential way of doing it, how I’ve applied it to mobile readers, and what research this opens up. (20 mins)
https://meta.wikimedia.org/wiki/Research:Mobile_sessions
Aaron Halfaker
Wikipedia article creation research
I'll present research examining trends in newcomer article creation across 10 languages with a focus on English and German Wikipedias. I'll show that, in wikis where anonymous users can create articles, their articles are less likely to be deleted than articles created by newly registered editors. I’ll also show the results of an in-depth analysis of Articles for Creation (AfC) which suggest that while AfC’s process seems to result in the publication of high quality articles, it also dramatically reduces the rate at which good new articles are published. (30 mins)
https://meta.wikimedia.org/wiki/Research:Wikipedia_article_creation
Looking forward to seeing you all tomorrow!
Dario
***Apologies for duplicate postings***
The paper deadline for the 2014 ACM Web Science Conference (WebSci'14) has
passed. We are thrilled to announce that we received 160 paper submissions!
Paper notifications are scheduled for 13 April.
We are, however, still accepting late-breaking extended abstract submissions (2
pages) for posters and "lightning talk" presentations, until 23 March. For
details, see http://www.websci14.org/#call-for-papers-and-posters
Also, the Data Visualization Challenge is accepting submissions through 15
April, and is offering $1000 in prizes! For details, see:
http://websci14.org/#call-for-data-visualization-challenge.
ACM Web Science 2014 will be held 23-26 June 2014 at Indiana University,
Bloomington. Further information available at http://www.websci14.org/. For
questions, contact webscience-14-organizers(a)googlegroups.com
<mailto:[email protected]>.
--
Giovanni Luca Ciampaglia
Postdoctoral fellow
Center for Complex Networks and Systems Research
Indiana University
✎ 910 E 10th St ∙ Bloomington ∙ IN 47408
☞ http://cnets.indiana.edu/
✉ gciampag(a)indiana.edu
✆ 1-812-855-7261
Hi everybody,
with CSCW just concluded and conferences like CHI and WWW coming up we have a good set of papers to review for the February issue of the Research Newsletter [1]
Please take a look at: https://etherpad.wikimedia.org/p/WRN201402 and add your name next to any paper you are interested in reviewing. As usual, short notes and one-paragraph reviews are most welcome.
Instead of contacting past contributors only, this month we’re experimenting with a public call for reviews cross-posted to analytics-l and wiki-research-l. if you have any question about the format or process feel free to get in touch off-list.
Dario Taraborelli and Tilman Bayer
[1] http://meta.wikimedia.org/wiki/Research:Newsletter
>> Is anyone working on a general user survey?
Sorry I left the 'l' off the end of this link:
http://lists.wikimedia.org/pipermail/advocacy_advisors/2014-February/000394…
Here are some related links:
http://meta.wikimedia.org/wiki/EU_policy/Surveyhttp://lists.wikimedia.org/pipermail/advocacy_advisors/2014-February/000388…http://lists.wikimedia.org/pipermail/advocacy_advisors/2014-February/000390…
> Our advocacy orientation isn't well aligned with the issues that most
> affect Wikimedians at present, because previous surveys had ... flaws.
Here are 16 proposed additions followed by the earlier list of 24 from
the EU policy survey:
1. Labor rights, e.g., linking to fixmyjob.com
2. Support the ratification of the Convention on the Rights of the
Child and its protocols without reservation
3. Increase infrastructure spending
4. Increase education spending
5. Public school class size reduction
6. College subsidy with income-based repayment terms
7. More steeply progressive taxation
8. Negative interest on excess reserves
9. Telecommuting
10. Workweek length reduction
11. Single-payer health care
12. Renewable power purchase
13. Increased data center hardware power efficiency
14. Increased security against eavesdropping
15. Metropolitan broadband
16. Oppose monopolization of software, communications, publishing, and
finance industries
---
A. Open Access (Scientific Research)
B. Database Rights
C. Freedom of Information
D. Orphan Works
E. Broadband Internet Access
F. Data Protection
G. Human Rights
H. Freedom of Panorama
I. Open (Government) Data
J. Censorship
K. Copyright on Government Works
L. Internet Neutrality
M. Three-strikes laws
N. Cultural Heritage
O. Data Retention
P. Provider/Hoster Liability
Q. Copyright Enforcement
R. Geodata
S. Open Educational Resources
T. Software Patents
U. Research Funding
V. Surveillance
W. Public Broadcasting
X. Frequency Allocation
Best regards,
James Salsman