Wiki-research-l July 2020

wiki-research-l@lists.wikimedia.org

29 participants
25 discussions

Start a nNew thread

Qid to Page ID
by Haifeng Zhang 22 Jul '20

22 Jul '20

Hi all, Are you aware of any API that maps wikidata QIDs to their article Page IDs? Thanks, Haifeng

3 4

Breakdown of edits (IP or registered users)
by Thomas Stieve 19 Jul '20

19 Jul '20

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

1 0

call for papers - International Journal on Natural Language Computing (IJNLC)
by chungcha＠ccsit2019.org 18 Jul '20

18 Jul '20

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

1 0

[Announcement] A new formal collaboration in Research
by Martin Gerlach 17 Jul '20

17 Jul '20

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

1 0

New Research: Characterizing Existing Practices for Identifying and Mitigating Knowledge Gaps
by Jim Maddock 16 Jul '20

16 Jul '20

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

1 0

[Wikimedia Research Showcase] July 15, 2020: Medical Knowledge on Wikipedia
by Janna Layton 16 Jul '20

16 Jul '20

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/>

1 2

Wikidata Workshop: Second Call for Papers
by Lucie Kaffee 14 Jul '20

14 Jul '20

*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

1 0

Blocking Wikipedia by Country in 2016
by Thomas Stieve 13 Jul '20

13 Jul '20

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

2 1

Re: [Wiki-research-l] Wiki-research-l Digest, Vol 179, Issue 7
by Mackenzie Lemieux 13 Jul '20

13 Jul '20

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

3 3

CICM 2020, July 26-31: Call for Online Participation
by serge.autexier＠dfki.de 10 Jul '20

10 Jul '20

===================================================================== 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)

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Wiki-research-l July 2020