Second Call for Papers & Updates
9th Conference on Intelligent Computer Mathematics
- CICM 2016 -
July 25-29, 2016
University of Bialystok, Poland
http://www.cicm-conference.org/2016
+----------------------------- NEWS ---------------------------------+
| Abstract Deadline: March 9th, 2016 |
| CICM will host *5* workshops (Formal Mathematics for |
| Mathematicians, Mathematical User Interfaces, Openmath, Proof |
| Engineering (Constructing, Maintaining and Understanding Large |
| Proofs) and Theorem Provers Components for Educational Software) |
| as well as 2 tutorials |
+--------------------------------------------------------------------+
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.
CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), and
Washington DC (USA 2015).
This is a call for papers for CICM 2016, which will be held in
Bialystok, Poland, July 25-29, 2016.
The principal tracks of the conference will be:
* Track: Calculemus (chair: Leonardo de Moura)
* Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa)
* Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller)
* Track: Systems & Data (chair: Moa Johansson)
* Track: Doctoral Programme (chair: Martin Suda)
Like in previous years, project descriptions are welcomed as well.
The overall programme is organized by the General Program Chair
Michael Kohlhase. The workshop and publicity chair is Serge Autexier.
The local arrangements will be coordinated by Adam Naumowicz.
We plan to have proceedings of the conference as in previous years
with Springer Verlag as a volume in Lecture Notes in Artificial
Intelligence (LNAI).
*New Important Dates*
Conference submissions
- Abstract submission deadline: *9. March 2016*
- Submission deadline: 16. March 2016
- Reviews sent to authors: 20. April 2016
- Rebuttals due: 23. April 2016
- Notification of acceptance: 5. May 2016
- Camera ready copies due: 20. May 2016
- Conference: 25.-29. July 2016
Work-in-progress and Doctoral Programme
- Submission deadline (Doctoral: Abstract+CV): 10. May 2016
- Notification of acceptance: 29. May 2016
- Camera ready copies due: 29. June 2016
More details on the conference are available from
http://www.cicm-conference.org/2016/cicm.php?menu=cfp
I've lurked on this list for about 6 months now. Basically I've been
looking for sources to address questions that I run across as an
editor, not as an academic.
I have to comment on Corneli's question and Darnell's answer: the
"category system is hopelessly muddled." I can only agree - in 10
years as a pretty active editor, I've never figured out what can be
done using the present categorization system. It's not because I'm
not interested in categories.
Please see (and comment on if you'd like) my informal investigation
on "What's in Wikipedia?" at
https://en.wikipedia.org/wiki/User:Smallbones/1000_random_results . If
nothing else, you might be interested in the graphic
https://commons.wikimedia.org/wiki/File:Size_of_English_Wikipedia_(1000_vol…
Re: the gender gap, please take a look at the bottom of the write-up
on how biographies (Women vs. Men) improve over time. It's got a new
(AFAIK) use of the ORES output.
All comments welcome - here, on the discussion page, or, if you really
want to lay into me, via e-mail.
Thanks,
Pete
User:Smallbones
(Cross-posting)
For Wikimedia folks who are interested in possible collaborations with OSM,
now seems like a good time to start thinking about possible presentations.
Staff from the Wikimedia Foundation, and/or Wikimedia volunteers from
around the US outside of the Seattle area, may want to start thinking about
travel plans.
For Wikimedia volunteers outside of Cascadia Wikimedians territory, you
might consider applying for WMF Travel and Participation Support grants [1].
If you're inside of Cascadia Wikimedians territory and would like to attend
the conference, we may have funds in our budget that can support your
attendance. Contact me off-list for details.
Regards,
Pine
[1] https://meta.wikimedia.org/wiki/Grants:TPS
---------- Forwarded message ----------
From: Clifford Snow <clifford(a)snowandsnow.us>
Date: Tue, Mar 1, 2016 at 5:18 PM
Subject: [opensource-107] Seattle to host the 2016 OpenStreetMap State of
the Map US Conference
To: opensource-107-announce(a)meetup.com
I am excited to announce that Seattle was chosen to host the OpenStreetMap
2016 State of the Map US Conference. The conference will take place July
23-25 on SeattleU's campus. We chose SeattleU for their low cost, proximity
to Seattle and access to public transit. The food trucks near by didn't
hurt either.
We are looking for help! Let us know if you want to help. Request for
presentation proposals should be coming fairly soon. Start thinking about
what you want to present or teach.
The formal announcement can be found at:
https://openstreetmap.us/2016/02/sotmus-2016/
Clifford
Call for Industry & Transfer Tutorials and Workshops
SEMANTiCS 2016 - The Linked Data Conference
Transfer // Engineering // Community
12th International Conference on Semantic Systems
Leipzig, Germany
September 12 - 15, 2016
http://www.semantics.cc
Important Dates
* Submission open on first-come, first-served basis until all slots are
filled
* SEMANTiCS 2016 Workshop Day: September 12, 2016
* SEMANTiCS 2016 Tutorial Day: September 15, 2016
Submissions via email: semantics2016workshopchairs(a)gmail.com
See also the Call for Scientific Workshops: http://semantics.cc/open-calls
#SEMANTiCS Industry & Transfer Tutorials and Workshops
SEMANTiCS 2016 is a major venue for industrial innovation and features
an industry & transfer tutorial and workshop program addressing the
diverse practical interests of its audience. This program is intended to
offer a rich diversity of high quality information valuable to
conference attendees and local participants seeking to pick up new
skills and stay up-to-date regarding the latest developments in the
community. We encourage submissions of proposals on all topics in the
general areas of SEMANTiCS 2016 and proposals bridging or introducing
new perspectives in these areas. Tutorials and workshops may incorporate
panel discussions, lightning talks, meetings, networking or hands-on
sessions, hackathons, and other practical formats where applicable.
Rooms for business or project meetings are available upon request as well.
#SEMANTiCS 2016 Tutorials and Workshop Scope & Goals
Satellite events at SEMANTiCS 2016 allow your organisation or project to
push your topics and gain increased visibility. The workshop and
tutorials will be announced on the SEMANTiCS and DBpedia website
(tutorials only) and will be seen by all participants. SEMANTiCS 2016
industry & transfer tutorials and workshops are incubators for
industrial and scientific communities that form and share a particular
research and development agenda. They provide a forum for presenting
widely recognized contributions and findings to a diverse and
knowledgeable community. Furthermore, the event can be used as a
dissemination activity in the scope of large research projects or as a
closed format for research/commercial project consortia meetings.
#Setup and requirements of SEMANTiCS Workshops and Tutorials
SEMANTiCS 2016 workshops and tutorials may be either half or full day
long. Workshops will be held on the day before the main SEMANTiCS 2016
conference (September 12, 2016), Tutorials will be held after the
conference (September 15, 2016) in parallel to the DBpedia Day.
Participation in SEMANTiCS 2016 workshops and tutorials is typically
free. Full service will be provided (Coffee, Lunch, Room, etc.). In
order to cover cost, organiser can choose to pay a cover charge per
participant or buy one of the sponsorship packages that include a
workshop slot (http://semantics.cc/sponsorship-packages). In exceptional
cases, we can also levy a ticket fee from participants.
#Tutorial and Workshop Proposal Submissions
Tutorials and workshop proposals must include the following information:
* full contact information of all organizers of the event and main
contact person
* proposed duration of the event (i.e., half or full day), different
sessions if applicable, together with justification that a high-quality
presentation will be achieved within the chosen time period
* outline of the themes and goals of the event, including a brief
abstract (less than 200 words) intended for the SEMANTiCS 2016 website
* a statement addressing why the event is important, why the event is
timely, how it is relevant to SEMANTiCS 2016, and why the presenters are
qualified for a high-quality introduction of the topic
* a description of the intended audience and the expected learning outcomes
* desired prerequisite knowledge of the audience
* desired minimum and maximum number of event participants, expected
number of participants, and (in case of previously held tutoreventials)
number of registered attendees and web site for previous editions of the
event
* any equipment, room capacity, or other logistic constraints
* a brief description of each organizer's background, including relevant
past experience in organizing events
Tutorial and workshop proposals must be submitted electronically via
semantics2016workshopchairs(a)gmail.com
Submission open on first-come, first-served basis until all slots are
filled
#Review and Evaluation Criteria
Tutorial and workshop proposals will be reviewed by the SEMANTiCS 2016
Workshop Chairs, as well as by the SEMANTiCS 2016 organizing committee,
according to the following criteria:
* The potential to advance the state of semantic web research and practice
* The organizers' commitment to stimulate discussion at the event
* The organizers' experience and ability to lead a successful event
* Timeliness and expected interest in the event topics
* The balance and synergy between all SEMANTiCS 2016 events
The following ‘horizontals’ (topics) and ‘verticals’ (industries) are of
interest:
Horizontals
* Enterprise Linked Data & Data Integration
* Corporate Knowledge Graphs
* Semantics on the Web & schema.org
* Business Models, Governance & Data Strategies
* Knowledge Discovery & Intelligent Search
* Smart Connectivity & Interlinking
* Data Quality Management
* Big Data & Text Analytics
* Data Portals & Knowledge Visualization
* Semantic Information Management
* Document Management & Content Management
* Terminology, Thesaurus & Ontology Management
* Language Technologies
* Data Science (Data Mining, Machine Learning, Network Analytics)
* Economics of data, data services and data ecosystems
* Community, Social & Societal Aspects
Verticals
* Industry & Engineering
* Life Sciences & Health Care
* Public Administration
* Galleries, Libraries, Archives & Museums (GLAM)
* Education & eLearning
* Media & Data Journalism
* Publishing, Marketing & Advertising
* Tourism & Recreation
* Financial & Insurance Industry
* Telecommunication & Mobile Services
* Energy, Smart Homes & Smart Grids
* Transport, Environment & Geospatial
* Agriculture & Farming
In case you have additional questions concerning the submission process,
please do not hesitate to contact us at
semantics2016workshopchairs(a)gmail.com
We are looking forward to your contribution!
Workshop & Tutorial Chair: Thomas Moser (St. Pölten University of
Applied Sciences)
Deputy Workshop & Tutorial Chair: Kay Müller (AKSW/KILT, Leipzig University)
#About SEMANTiCS
The annual SEMANTiCS conference is the meeting place for researchers and
professionals who push the boundaries of semantic computing and who
understand its benefits and encounter its limitations. Every year,
SEMANTiCS attracts professionals and researchers alike ranging from
NPOs, through public administrations to the largest companies in the world.
The success of last year’s conference in Vienna with more than 280
attendees from 22 countries proves that SEMANTiCS 2016 will continue a
long tradition of bringing together colleagues from around the world.
There will be presentations on industry implementations, use case
prototypes, best practices, panels, papers and posters to discuss
semantic systems in birds-of-a-feather sessions as well as informal
settings. SEMANTiCS addresses problems common among information
managers, software engineers, IT-architects and various specialist
departments working to develop, implement and/or evaluate semantic
software systems.
The SEMANTiCS program is a rich mix of technical talks, panel
discussions of important topics and presentations by people who make
things work - just like you. In addition, attendees can network with
experts in a variety of fields. These relationships provide great value
to organisations as they encounter subtle technical issues in any stage
of implementation. The expertise gained by SEMANTiCS attendees has a
long-term impact on their careers and organisations. These factors make
SEMANTiCS the major industry related event across Europe for our community.
Call for Scientific Workshops
SEMANTiCS 2016 - The Linked Data Conference
Transfer // Engineering // Community
12th International Conference on Semantic Systems
Leipzig, Germany
September 12 - 15, 2016
http://www.semantics.cc
Important Dates (11:59 pm, Hawaii time)
* Workshop Proposal Submission Deadline: April 3, 2016
* Workshop Proposal Notification of Acceptance: April 10, 2016
* Workshop Website/Call for Papers Online: April 15, 2016
* Workshop Paper Submission Deadline: June 9, 2016
* Workshop Paper Camera-Ready Deadline: July 26, 2016
* SEMANTiCS 2016 Workshop Day: September 12, 2016
Submissions via Easychair:
https://easychair.org/conferences/?conf=semantics2016research
See also the Call for Industry & Transfer Tutorials and Workshops:
http://semantics.cc/open-calls
#SEMANTiCS 2016 Scientific Workshops Scope & Goals
SEMANTiCS 2016 scientific workshops provide a forum for groups of
researchers and practitioners to discuss topics in semantic web research
and industrial applications. They provide opportunities for researchers
and practitioners to exchange and discuss scientific and engineering
ideas before these ideas have matured to warrant conference or journal
publication. SEMANTiCS 2016 scientific workshops also serve as
incubators for scientific communities that form and share a particular
research agenda.
The workshops may be either half or full day long and will be held on
the day before the main SEMANTiCS 2016 conference (September 12th,
2016). Participation in SEMANTiCS 2016 scientific workshops is typically
free. The workshops can produce workshop proceedings to be published in
CEUR Workshop Proceedings (http://ceur-ws.org/). The best accepted
workshop papers will be considered for publication in the SEMANTiCS 2016
conference proceedings, furthermore, a selection of workshop papers will
be invited to present a poster at the SEMANTiCS 2016 conference.
#Scientific Workshop Proposal Submissions
Submissions via Easychair:
https://easychair.org/conferences/?conf=semantics2016research
Workshop proposals must include the following information (please be
brief and concise, max. 5 pages):
* full contact information of all organizers of the workshop and main
contact person
* desired length of the workshop (i.e., half or full day)
* outline of the themes and goals of the workshop, including a brief
abstract (less than 200 words) intended for the SEMANTiCS 2016 website
* concise motivation of the workshop's relevance to the field of
semantic web
* participant solicitation and selection process
* desired minimum and maximum number of workshop participants, expected
number of participants, and (in case of previously held workshops)
number of registered attendees and web site for previous editions of the
workshop
* structure of the workshop and plans for generating and stimulating
discussion
* any equipment, room capacity, or other logistic constraints
* a brief description of each organizer's background, including relevant
past experience in organizing conferences and workshops
* if applicable, a draft version of the call for papers
#Review and Evaluation Criteria
Scientific workshop proposals will be reviewed by the SEMANTiCS 2016
Workshop Chairs, as well as by the SEMANTiCS 2016 organizing committee,
according to the following criteria:
* The potential to advance the state of semantic web research and practice
* The organizers' commitment to stimulate discussion at the workshop
* The organizers' experience and ability to lead a successful workshop
timeliness and expected interest in the workshop topics
* The balance and synergy between all SEMANTiCS 2016 events
The following ‘horizontals’ (topics) and ‘verticals’ (industries) are of
interest:
Horizontals
* Enterprise Linked Data & Data Integration
* Corporate Knowledge Graphs
* Semantics on the Web & schema.org
* Business Models, Governance & Data Strategies
* Knowledge Discovery & Intelligent Search
* Smart Connectivity & Interlinking
* Data Quality Management
* Big Data & Text Analytics
* Data Portals & Knowledge Visualization
* Semantic Information Management
* Document Management & Content Management
* Terminology, Thesaurus & Ontology Management
* Language Technologies
* Data Science (Data Mining, Machine Learning, Network Analytics)
* Economics of data, data services and data ecosystems
* Community, Social & Societal Aspects
Verticals
* Industry & Engineering
* Life Sciences & Health Care
* Public Administration
* Galleries, Libraries, Archives & Museums (GLAM)
* Education & eLearning
* Media & Data Journalism
* Publishing, Marketing & Advertising
* Tourism & Recreation
* Financial & Insurance Industry
* Telecommunication & Mobile Services
* Energy, Smart Homes & Smart Grids
* Transport, Environment & Geospatial
* Agriculture & Farming
In case you have additional questions concerning the submission process,
please do not hesitate to contact us at
semantics2016workshopchairs(a)gmail.com
We are looking forward to your contribution!
Workshop & Tutorial Chair: Thomas Moser (St. Pölten University of
Applied Sciences)
Deputy Workshop & Tutorial Chair: Kay Müller (AKSW/KILT, Leipzig University)
#About SEMANTiCS
The annual SEMANTiCS conference is the meeting place for researchers and
professionals who push the boundaries of semantic computing and who
understand its benefits and encounter its limitations. Every year,
SEMANTiCS attracts professionals and researchers alike ranging from
NPOs, through public administrations to the largest companies in the
world. SEMANTiCS workshop attendees learn from industry experts and top
researchers about emerging trends and hot topics in the fields of
semantic software, enterprise data, linked data & open data strategies,
methodologies in knowledge modelling and text & data analytics. Since
the SEMANTiCS community is highly diverse, both workshops participants
and organisers will benefit from the experience.
The success of last year’s conference in Vienna with more than 280
attendees from 22 countries proves that SEMANTiCS 2016 will continue a
long tradition of bringing together colleagues from around the world.
There will be presentations on industry implementations, use case
prototypes, best practices, panels, papers and posters to discuss
semantic systems in birds-of-a-feather sessions as well as informal
settings. SEMANTiCS addresses problems common among information
managers, software engineers, IT-architects and various specialist
departments working to develop, implement and/or evaluate semantic
software systems.
The SEMANTiCS program is a rich mix of technical talks, panel
discussions of important topics and presentations by people who make
things work - just like you. In addition, attendees can network with
experts in a variety of fields. These relationships provide great value
to organisations as they encounter subtle technical issues in any stage
of implementation. The expertise gained by SEMANTiCS attendees has a
long-term impact on their careers and organisations. These factors make
SEMANTiCS the major industry related event across Europe for our community.
Hi all – heads up that we extended the submission deadline for the Wiki
Workshop at ICWSM '16 to *Wednesday, March 3, 2016*. (The second deadline
remains unchanged: March 11, 2016).
You can check the workshop's website
<http://snap.stanford.edu/wikiworkshop2016/> for submission instructions or
follow us at @wikiworkshop16 <https://twitter.com/wikiworkshop16> for live
updates.
Looking forward to your contributions.
Dario
Hi Bruno,
I have been using the WikiExtractor for this task:
https://github.com/attardi/wikiextractor
Hope this helps.
Cheers,
Marco
On 2/22/16 23:32, wiki-research-l-request(a)lists.wikimedia.org wrote:
> Date: Mon, 22 Feb 2016 23:12:08 +0100
> From: "Federico Leva (Nemo)"<nemowiki(a)gmail.com>
> To: Research into Wikimedia content and communities
> <wiki-research-l(a)lists.wikimedia.org>
> Subject: Re: [Wiki-research-l] "Quick" request
> Message-ID:<56CB87B8.9050008(a)gmail.com>
> Content-Type: text/plain; charset=utf-8; format=flowed
>
> Bruno Goncalves, 22/02/2016 22:58:
>> >There used to be official HTML dumps
>> >https://dumps.wikimedia.org/other/static_html_dumps/ but they haven't
>> >been updated in almost a decade:)
> The job is effectively done by Kiwix now.
> http://download.kiwix.org/zim/wikipedia/
> For instance:
> wikipedia_en_all_nopic_2015-05.zim 17-May-2015 10:27 15G
>
> There are several tools to extract the HTML from a ZIM file:
> http://www.openzim.org/wiki/Readers
>
> Nemo
.svg){kind=link}