Dear all,
Hope all is well. Does anyone have information on the percentage of edits
performed by IP addresses (unregistered users) out of the total number of
edits per country for 2016? I don't think this information is publicly
available, but maybe I'm missing something.
Thank you!
Tom
--
Thomas Stieve
Ph.D. Candidate
School of Geography and Development
University of Arizona
INTERNATIONAL JOURNAL ON NATURAL LANGUAGE COMPUTING (IJNLC)
ISSN: 2278 - 1307 [ONLINE]; 2319 - 4111 [PRINT]
HTTP://AIRCCSE.ORG/JOURNAL/IJNLC/INDEX.HTML [1]
*** H-INDEX 16, I10-INDEX 25 ***
SCOPE & TOPICS
Natural Language Processing is a programmed approach to analyze text
that is based on both a set of theories and a set of technologies. This
forum aims to bring together researchers who have designed and build
software that will analyze, understand, and generate languages that
humans use naturally to address computers.
TOPICS OF INTEREST INCLUDE BUT ARE NOT LIMITED TO, THE FOLLOWING
* Phonology, Morphology
* Chunking/Shallow Parsing
* Parsing/Grammatical Formalisms
* Semantic Processing
* Lexical Semantics
* Ontology
* Linguistic Resources
* Statistical and Knowledge based methods
* POS tagging
* Discourse
* Paraphrasing/Entailment/Generation
* Machine Translation
* Information Retrieval
* Text Mining
* Information Extraction
* Question Answering
* Dialog Systems
* Spoken Language Processing
* Speech Recognition and Synthesis
PAPER SUBMISSION
Authors are invited to submit papers for this journal through E-mail:
IJNLCJOURNAL(a)AIRCCSE.ORG. SUBMISSIONS [2] must be original and should
not have been published previously or be under consideration for
publication while being evaluated for this Journal.
IMPORTANT DATES
* SUBMISSION DEADLINE : JULY 25, 2020
* Notification : August 25, 2020
* Final Manuscript Due : September 02, 2020
* Publication Date : Determined by the Editor-in-Chief
For other details please visit
HTTP://AIRCCSE.ORG/JOURNAL/IJNLC/INDEX.HTML
CONTACT US
Here's where you can reach us: IJNLCJOURNAL(a)AIRCCSE.ORG
SUBMISSION LINK:
HTTP://CONECO2009.COM/SUBMISSIONS/IMAGINATION/HOME.HTML [2]
Links:
------
[1] http://airccse.org/journal/ijnlc/index.html
[2] http://coneco2009.com/submissions/imagination/home.html
Hi all,
The Research team at the Wikimedia Foundation has officially started a new
Formal Collaboration [1] with a team from École Polytechnique Fédérale de
Lausanne (EPFL) in Switzerland to work collaboratively on Characterizing
Reader Navigation [2] as part of the Addressing Knowledge Gaps program [3].
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.[2]
* The following formal collaborators (cc-ed) will contribute to this
program: Akhil Arora, Alberto García Durán, Tiziano Piccardi, and Robert
West (all EPFL). We are thankful to them for agreeing to spend their time
and expertise on this project in the coming 6 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,
Martin
[1] https://www.mediawiki.org/wiki/Wikimedia_Research/Formal_collaborations
[2]
https://meta.wikimedia.org/wiki/Research:Characterizing_Readers_Navigation
[3] https://research.wikimedia.org/knowledge-gaps.html
--
Martin Gerlach
Research Scientist
Wikimedia Foundation
Hi,
My name is Jim Maddock, and I’m with a researcher at Northwestern
University working on identifying missing content on Wikipedia. As a first
step, we want to talk to members of Wikipedia’s editor community to better
understand how editors currently identify and add missing content.
Participants must be Wikipedia editors who speak English and will be
compensated for their time.
For more details about our project, please refer to our Wikimedia project
meta page
<https://meta.wikimedia.org/wiki/Research:Characterizing_Existing_Practices_…>.
If you are interested in participating, please fill out this screener and
consent form
<https://northwestern.az1.qualtrics.com/jfe/form/SV_etSLO6UsrgelpmR>.
Additionally, Feel free to reach out to me at maddock(a)u.northwestern.edu if
you have any thoughts and suggestions. Thanks!
Cheers,
Jim Maddock
***
Study Title: Characterizing Existing Practices for Identifying and
Mitigating Knowledge Gaps
PI: Darren Gergle
IRB Study #: STU00212033
Hi all,
The next Research Showcase will be live-streamed on Wednesday, July 15, at
9:30 AM PDT/16:30 UTC.
Wikipedia is one of the most important online resources for health
information. This has been especially highlighted during the Covid-19
pandemic: since the beginning of the year more than 5000 articles related
to Covid-19 have been created receiving more than 400M pageviews.
Therefore, for this month’s showcase our two invited speakers will help us
get a better understanding of the state of medical knowledge in Wikipedia.
In the first talk, Denise Smith will give an overview on how Wikipedia's
health content is used by different audiences (public, students, or
practitioners). In the second talk, Giovanni Colavizza will present results
on how editors on Wikipedia find, select, and integrate scientific
information on Covid-19 into Wikipedia articles.
YouTube stream: https://www.youtube.com/watch?v=qIV26lWrD9c
As usual, you can join the conversation on IRC at #wikimedia-research. You
can also watch our past research showcases here:
https://www.mediawiki.org/wiki/Wikimedia_Research/Showcase
This month's presentations:
Wikipedia for health information - Situating Wikipedia as a health
information resource
By Denise Smith (McMaster University, Health Sciences Library & Western
University, Faculty of Information & Media Studies)
Wikipedia is the most frequently accessed web site for health information,
but the various ways users engage with Wikipedia’s health content has not
been thoroughly investigated or reported. This talk will summarize the
findings of a comprehensive literature review published in February. It
explores all the contexts in which Wikipedia’s health content is used that
have been reported in academic literature. The talk will focus on the
findings reported in this paper, the potential impact of this study in
health and medical librarianship, the practice of medicine, and medical or
health education.
-
D.A. Smith (2020). "Situating Wikipedia as a health information resource
in various contexts: A scoping review". PLoS ONE.
https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0228786
COVID-19 research in Wikipedia
By Giovanni Colavizza (University of Amsterdam, Netherlands)
Wikipedia is one of the main sources of free knowledge on the Web. During
the first few months of the pandemic, over 4,500 new Wikipedia pages on
COVID-19 have been created and have accumulated close to 250M pageviews by
early April 2020.1 At the same time, an unprecedented amount of scientific
articles on COVID-19 and the ongoing pandemic have been published online.
Wikipedia’s contents are based on reliable sources, primarily scientific
literature. Given its public function, it is crucial for Wikipedia to rely
on representative and reliable scientific results, especially so in a time
of crisis. We assess the coverage of COVID-19-related research in Wikipedia
via citations. We find that Wikipedia editors are integrating new research
at an unprecedented fast pace. While doing so, they are able to provide a
largely representative coverage of COVID-19-related research. We show that
all the main topics discussed in this literature are proportionally
represented from Wikipedia, after accounting for article-level effects. We
further use regression analyses to model citations from Wikipedia and show
that, despite the pressure to keep up with novel results, Wikipedia editors
rely on literature which is highly cited, widely shared on social media,
and has been peer-reviewed.
-
G. Colavizza (2020). "COVID-19 research in Wikipedia". bioRxiv.
https://www.biorxiv.org/content/10.1101/2020.05.10.087643v2
--
Janna Layton (she/her)
Administrative Assistant - Product & Technology
Wikimedia Foundation <https://wikimediafoundation.org/>
--
Janna Layton (she/her)
Administrative Assistant - Product & Technology
Wikimedia Foundation <https://wikimediafoundation.org/>
*The First Wikidata Workshop*
Co-located with the 19th International Conference on Semantic Web (ISWC
2020).
Date: October 29, 2020
The workshop will be held online, afternoon European time.
Website: https://wikidataworkshop.github.io/
== Important dates ==
Papers due: August 10, 2020
Notification of accepted papers: September 11, 2020
Camera-ready papers due: September 21, 2020
Workshop date: October 29, 2020
== Overview ==
Wikidata is an openly available knowledge base, hosted by the Wikimedia
Foundation. It can be accessed and edited by both humans and machines and
acts as a common structured-data repository for several Wikimedia projects,
including Wikipedia, Wiktionary, and Wikisource. It is used in a variety of
applications by researchers and practitioners alike.
In recent years, we have seen an increase in the number of publications
around Wikidata. While there are several dedicated venues for the broader
Wikidata community to meet, none of them focuses on publishing original,
peer-reviewed research. This workshop fills this gap - we hope to provide a
forum to build this fledgling scientific community and promote novel work
and resources that support it.
The workshop seeks original contributions that address the opportunities
and challenges of creating, contributing to, and using a global,
collaborative, open-domain, multilingual knowledge graph such as Wikidata.
We encourage a range of submissions, including novel research, opinion
pieces, and descriptions of systems and resources, which are naturally
linked to Wikidata and its ecosystem, or enabled by it. What we’re less
interested in are works which use Wikidata alongside or in lieu of other
resources to carry out some computational task - unless the work feeds back
into the Wikidata ecosystem, for instance by improving or commenting on
some Wikidata aspect, or suggesting new design features, tools and
practices.
We also encourage submissions on the topic of Abstract Wikipedia,
particularly around collaborative code management, natural language
generation by a community, the abstract representation of knowledge, and
the interaction between Abstract Wikipedia and Wikidata on the one, and
Abstract Wikipedia and the language Wikipedias on the other side.
We welcome interdisciplinary work, as well as interesting applications
which shed light on the benefits of Wikidata and discuss areas of
improvement.
The workshop is planned as an interactive half-day event, in which most of
the time will be dedicated to discussions and exchange rather than frontal
presentations. For this reason, all accepted papers will be presented in
short talks and accompanied by a poster. We are considering online options
in response to ongoing challenges such as travel restrictions and the
recent Covid-19 pandemic.
== Topics ==
Topics of submissions include, but are not limited to:
- Data quality and vandalism detection in Wikidata
- Referencing in Wikidata
- Anomaly, bias, or novelty detection in Wikidata
- Algorithms for aligning Wikidata with other knowledge graphs
- The Semantic Web and Wikidata
- Community interaction in Wikidata
- Multilingual aspects in Wikidata
- Machine learning approaches to improve data quality in Wikidata
- Tools, bots and datasets for improving or evaluating Wikidata
- Participation, diversity and inclusivity aspects in the Wikidata ecosystem
- Human-bot interaction
- Managing knowledge evolution in Wikidata
- Abstract Wikipedia
== Submission guidelines ==
We welcome the following types of contributions:
- Full research paper: Novel research contributions (7-12 pages)
- Short research paper: Novel research contributions of smaller scope than
full papers (3-6 pages)
- Position paper: Well-argued ideas and opinion pieces, not yet in the
scope of a research contribution (6-8 pages)
- Resource paper: New dataset or other resource directly relevant to
Wikidata, including the publication of that resource (8-12 pages)
- Demo paper: New system critically enabled by Wikidata (6-8 pages)
Submissions must be as PDF or HTML, formatted in the style of the Springer
Publications format for Lecture Notes in Computer Science (LNCS). For
details on the LNCS style, see Springer’s Author Instructions.
The papers will be peer-reviewed by at least two researchers. Accepted
papers will be published as open access papers on CEUR (we only publish to
CEUR if the authors agree to have their papers published).
Papers have to be submitted through easychair:
https://easychair.org/conferences/?conf=wikidataworkshop2020
== Proceedings ==
The complete set of papers will be published with the CEUR Workshop
Proceedings (CEUR-WS.org).
== Organizing committee ==
- Lucie-Aimée Kaffee, University of Southampton
- Oana Tifrea-Marciuska, Bloomberg
- Elena Simperl, King’s College London
- Denny Vrandečić, Wikimedia Foundation
== Programme committee ==
- Dan Brickley, Google
- Andrew D. Gordon, Microsoft Research & University of Edinburgh
- Dennis Diefenbach, University Jean Monet
- Aidan Hogan, Universidad de Chile
- Markus Krötzsch, Technische Universität Dresden
- Edgar Meij, Bloomberg
- Claudia Müller-Birn, FU Berlin
- Finn Årup Nielsen, Technical University of Denmark
- Thomas Pellissier Tanon, Télécom ParisTech
- Lydia Pintscher, Wikidata, Wikimedia Deutschland
- Alessandro Piscopo, BBC
- Marco Ponza, University of Pisa
- Simon Razniewski, Max Planck Institute for Informatics
- Miriam Redi, Wikimedia Foundation
- Cristina Sarasua, University of Zurich
- Maria-Esther Vidal, TIB Hannover
- Pavlos Vougiouklis, Huawei Technologies, Edinburgh
- Zainan Victor Zhou, Google
--
Lucie-Aimée Kaffee
Hello all,
Hope all is well. Does anyone have or know where I can obtain information
about the official blocking of Wikipedia by the government per country
worldwide in Oct - Dec 2016? I am geolocating IP addresses globally in that
time period and need to know where the government forbade this activity.
Thank you for any help,
Tom
--
Thomas Stieve
Ph.D. Candidate
School of Geography and Development
University of Arizona
Thank you everyone for your comments and suggestions on the topic of
gaining access to deleted articles! I will reach out to legal(a)wikimedia.org
to inquire about researcher status.
I have one more question, do any of you know if there is a way to look at
the entire history of this page?
https://en.m.wikipedia.org/wiki/Wikipedia:WikiProject_Deletion_sorting/Acad…
If
I am unable to gain access to deleted articles, I figured I could try to
parse this page for data on factors leading to article flagging for
deletion, but I would need to go back in time longer than one month as the
page currently only goes back to June 18th.
let me know!
Warmly,
Mackenzie Lemieux
On Sat, Jul 11, 2020 at 5:00 AM <wiki-research-l-request(a)lists.wikimedia.org>
wrote:
> Send Wiki-research-l mailing list submissions to
> wiki-research-l(a)lists.wikimedia.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
> https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
> or, via email, send a message with subject or body 'help' to
> wiki-research-l-request(a)lists.wikimedia.org
>
> You can reach the person managing the list at
> wiki-research-l-owner(a)lists.wikimedia.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Wiki-research-l digest..."
>
>
> Today's Topics:
>
> 1. Re: Requesting access to deleted pages for research purposes
> (WereSpielChequers)
> 2. CICM 2020, July 26-31: Call for Online Participation
> (Serge Autexier)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 10 Jul 2020 16:05:07 +0100
> From: WereSpielChequers <werespielchequers(a)gmail.com>
> To: Research into Wikimedia content and communities
> <wiki-research-l(a)lists.wikimedia.org>
> Subject: Re: [Wiki-research-l] Requesting access to deleted pages for
> research purposes
> Message-ID:
> <
> CAAanWP26Z5C_YjsRagonNd9yLh+L+eWyicFyUiN-dd2_t37SJw(a)mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> Hi Mackenie,
>
> You may be correct in either or both of your hypotheses, but you might also
> want to check out two other related ones.
>
> 1 Some academic institutions may have an element of misogyny in their HR
> policies, leading to such situations as an academic becoming notable for
> their work to the point where they merit a Wikipedia article, before they
> become a full professor.
>
> 2 In Wikipedia's drive to address the gender skew in our content, we may
> have some editors creating articles on women who don't yet meet our
> notability criteria. Such articles are of course highly likely to be
> deleted.
>
> There is another way to approach this, check primary and secondary sources
> to see how Wikipedia compares against them. For example, we have articles
> on every female Fellow of the Royal Society, and we achieved that almost a
> decade ago. I don't know if we yet have articles on all the blokes.. I
> expect we have articles on every Nobel Prize Winner by now, but there will
> be less well known awards and lists of people in STEM.
>
> One problem in looking at deletion discussions is that they don't always
> say what the person is known for, and so you can have confusion between
> multiple people of the same name. I was once asked to restore a deleted
> article so that someone could look at what was there and see if they could
> make a clearer case re the notability of that eminent diplomat. After
> looking at the deleted article, I told them not to start from the deleted
> bit, and if it was the same person, to emphasise their subsequent career as
> a diplomat, rather than their adolescent career as a "pro skateboarder".
> So in order to find the articles on deleted female scientists, you either
> need a list of deleted female scientists, or to check a lot of other
> articles to find which are scientists.
>
> Hope that's useful
>
> WSC
>
> On Fri, 10 Jul 2020 at 00:17, Stuart A. Yeates <syeates(a)gmail.com> wrote:
>
> > I recently completed a project writing en.wiki articles for all female
> > and indigenous professors in my country, .nz.
> >
> > I now write pronounless biographies, because there were a significant
> > number whose gender wasn't apparent from their public persona. My
> > guess is that women and LGBTIA+ minorities are incentivised to remove
> > markers of their gender from their online presence to keep a lower
> > profile to avoid the trolls and bigots.
> >
> > There were also a number who clearly appeared to be a certain
> > ethnicity based on their staff photo, but where there were no reliable
> > sources as to that ethnicity.
> >
> > I also had a one person ask for their article to be deleted. [If this
> > is of interest I can send details to you directly, but I will not post
> > their details to a public forum and ask you refrain from this also.]
> >
> > I look forward to reading your experimental design taking these
> > factors into account.
> >
> > cheers
> > stuart
> > --
> > ...let us be heard from red core to black sky
> >
> > On Fri, 10 Jul 2020 at 06:43, Mackenzie Lemieux
> > <mackenzie.lemieux(a)gmail.com> wrote:
> > >
> > > Dear Wiki Community,
> > >
> > > My name is Mackenzie Lemieux and I am a neuroscience researcher at the
> > Salk
> > > Institute for Biological Studies and I am interested in exploring
> biases
> > on
> > > Wikipedia.
> > >
> > > My research hypothesis is that gender or ethnicity mediate the rate of
> > > flagging and deletion of pages for women in STEM. I hope to
> > > retrospectively analyze Wikipedia's deletion history, harvest the
> > > biographical articles about scientists that have been created over the
> > past
> > > n years and then confirm the gender and ethnicity of a large sample.
> > >
> > > It appears that we can identify deleted pages with Wikipedia's deletion
> > log
> > > <https://en.wikipedia.org/wiki/Wikipedia:Deletion_log>, but to
> actually
> > see
> > > the page that was deleted we need to be members of one of these
> Wikipedia
> > > user groups: Administrators
> > > <https://en.wikipedia.org/wiki/Wikipedia:Administrators>, Oversighters
> > > <https://en.wikipedia.org/wiki/Wikipedia:Oversight>, Researchers
> > > <https://en.wikipedia.org/wiki/Wikipedia:Researchers>, Checkusers
> > > <https://en.wikipedia.org/wiki/Wikipedia:CheckUser>.
> > >
> > > Does anyone have advice on how to obtain researcher status or is there
> > > anyone willing to collaborate who has access to the data we need?
> > >
> > > Warmly,
> > > Mackenzie Lemieux
> > >
> > >
> > > --
> > > Mackenzie Lemieux
> > > mackenzie.lemieux(a)gmail.com
> > > cell: 416-806-0041
> > > 220 Gilmour Avenue
> > > Toronto, Ontario
> > > M6P 3B4
> > > _______________________________________________
> > > Wiki-research-l mailing list
> > > Wiki-research-l(a)lists.wikimedia.org
> > > https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
> >
> > _______________________________________________
> > Wiki-research-l mailing list
> > Wiki-research-l(a)lists.wikimedia.org
> > https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
> >
>
>
> ------------------------------
>
> Message: 2
> Date: Fri, 10 Jul 2020 17:25:34 +0200 (CEST)
> From: serge.autexier(a)dfki.de (Serge Autexier)
> To: wiki-research-l(a)lists.wikimedia.org
> Subject: [Wiki-research-l] CICM 2020, July 26-31: Call for Online
> Participation
> Message-ID: <20200710152534.D461C335C8F5(a)gigondas.localdomain>
> Content-Type: text/plain; charset="UTF-8"
>
> =====================================================================
>
> 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)
>
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Wiki-research-l mailing list
> Wiki-research-l(a)lists.wikimedia.org
> https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
>
>
> ------------------------------
>
> End of Wiki-research-l Digest, Vol 179, Issue 7
> ***********************************************
>
--
Mackenzie Lemieux
mackenzie.lemieux(a)gmail.com
cell: 416-806-0041
220 Gilmour Avenue
Toronto, Ontario
M6P 3B4
=====================================================================
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)