Thank you everyone for your comments and suggestions on the topic of gaining access to deleted articles! I will reach out to legal@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/Acade... 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@lists.wikimedia.org wrote:
Send Wiki-research-l mailing list submissions to wiki-research-l@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@lists.wikimedia.org
You can reach the person managing the list at wiki-research-l-owner@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:
- Re: Requesting access to deleted pages for research purposes (WereSpielChequers)
- 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@gmail.com To: Research into Wikimedia content and communities wiki-research-l@lists.wikimedia.org Subject: Re: [Wiki-research-l] Requesting access to deleted pages for research purposes Message-ID: < CAAanWP26Z5C_YjsRagonNd9yLh+L+eWyicFyUiN-dd2_t37SJw@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@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@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@gmail.com cell: 416-806-0041 220 Gilmour Avenue Toronto, Ontario M6P 3B4 _______________________________________________ Wiki-research-l mailing list Wiki-research-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
Wiki-research-l mailing list Wiki-research-l@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@dfki.de (Serge Autexier) To: wiki-research-l@lists.wikimedia.org Subject: [Wiki-research-l] CICM 2020, July 26-31: Call for Online Participation Message-ID: 20200710152534.D461C335C8F5@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/oS5BVGDf6LgDGDiK8SCIENTIFIC 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@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
End of Wiki-research-l Digest, Vol 179, Issue 7
Hi,
At the top of that page, (20 | 50 | 100 | 250 | 500) allows you to control how many edits are listed at a time, and "older 50" will show you the next set of edits. That said, I prefer the desktop version, as the design is more compact.
https://en.wikipedia.org/w/index.php?title=Wikipedia:WikiProject_Deletion_so...
Here's the 5000 most recent edits, a few years at once:
https://en.wikipedia.org/w/index.php?title=Wikipedia:WikiProject_Deletion_so...
Nick
On Sat, Jul 11, 2020 at 8:32 PM Mackenzie Lemieux < mackenzie.lemieux@gmail.com> wrote:
Thank you everyone for your comments and suggestions on the topic of gaining access to deleted articles! I will reach out to legal@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/Acade... 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
Hi Mackenzie,
I've looked at the logs and nothing has been deleted from the history of that page.
But rather than wade through the history, you might want to go to the archives, they are linked from the top of the page,and they go back to 2007, so they cover two thirds of the life of Wikipeda, and the era when four fifths of all the edits Wikipedai has ever had have taken place.
https://en.wikipedia.org/wiki/Wikipedia:WikiProject_Deletion_sorting/Academi...
https://en.wikipedia.org/wiki/Wikipedia:WikiProject_Deletion_sorting/Academi... Regards
Jonathan
On Sun, 12 Jul 2020 at 01:32, Mackenzie Lemieux mackenzie.lemieux@gmail.com wrote:
Thank you everyone for your comments and suggestions on the topic of gaining access to deleted articles! I will reach out to legal@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/Acade... 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@lists.wikimedia.org> wrote:
Send Wiki-research-l mailing list submissions to wiki-research-l@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@lists.wikimedia.org
You can reach the person managing the list at wiki-research-l-owner@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:
- Re: Requesting access to deleted pages for research purposes (WereSpielChequers)
- 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@gmail.com To: Research into Wikimedia content and communities wiki-research-l@lists.wikimedia.org Subject: Re: [Wiki-research-l] Requesting access to deleted pages for research purposes Message-ID: < CAAanWP26Z5C_YjsRagonNd9yLh+L+eWyicFyUiN-dd2_t37SJw@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@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@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@gmail.com cell: 416-806-0041 220 Gilmour Avenue Toronto, Ontario M6P 3B4 _______________________________________________ Wiki-research-l mailing list Wiki-research-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
Wiki-research-l mailing list Wiki-research-l@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@dfki.de (Serge Autexier) To: wiki-research-l@lists.wikimedia.org Subject: [Wiki-research-l] CICM 2020, July 26-31: Call for Online Participation Message-ID: 20200710152534.D461C335C8F5@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/oS5BVGDf6LgDGDiK8SCIENTIFIC 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@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@gmail.com cell: 416-806-0041 220 Gilmour Avenue Toronto, Ontario M6P 3B4 _______________________________________________ Wiki-research-l mailing list Wiki-research-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
Dear MacKenzie,
One other thing re those AFD logs, AFD is only one of our deletion processes, and possibly not the most important one for your purposes.
AFD is a seven day process for articles that are expected to be contentious deletions. We have other processes that are supposed to be for less contentious subjects, I suspect that many, possibly most of the articles on academics that get deleted are via the speedy deletion process, in particular by code A7 "no credible assertion of importance or significance". I have seen people argue that merely being a university professor is not a credible assertion of importance or significance, and less contentiously (in Wikipedia terms) if the only claim of significance in an article is that someone is an assistant professor, then I would not be surprised if the article was deleted per A7.
One problem with articles being deleted per A7 is that unless you can look at the article you usually don't know whether the article was about the academic you were interested in or the adolescent "pro skateboarder" of the same name. Prod and BLPProd will be similar, though I doubt many articles about academics will have been deleted per BLPProd as that is for completely unsourced biographies of living people.
Regards
WereSpielChequers
On Sun, 12 Jul 2020 at 01:32, Mackenzie Lemieux mackenzie.lemieux@gmail.com wrote:
Thank you everyone for your comments and suggestions on the topic of gaining access to deleted articles! I will reach out to legal@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/Acade... 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@lists.wikimedia.org> wrote:
Send Wiki-research-l mailing list submissions to wiki-research-l@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@lists.wikimedia.org
You can reach the person managing the list at wiki-research-l-owner@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:
- Re: Requesting access to deleted pages for research purposes (WereSpielChequers)
- 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@gmail.com To: Research into Wikimedia content and communities wiki-research-l@lists.wikimedia.org Subject: Re: [Wiki-research-l] Requesting access to deleted pages for research purposes Message-ID: < CAAanWP26Z5C_YjsRagonNd9yLh+L+eWyicFyUiN-dd2_t37SJw@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@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@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@gmail.com cell: 416-806-0041 220 Gilmour Avenue Toronto, Ontario M6P 3B4 _______________________________________________ Wiki-research-l mailing list Wiki-research-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
Wiki-research-l mailing list Wiki-research-l@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@dfki.de (Serge Autexier) To: wiki-research-l@lists.wikimedia.org Subject: [Wiki-research-l] CICM 2020, July 26-31: Call for Online Participation Message-ID: 20200710152534.D461C335C8F5@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/oS5BVGDf6LgDGDiK8SCIENTIFIC 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@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@gmail.com cell: 416-806-0041 220 Gilmour Avenue Toronto, Ontario M6P 3B4 _______________________________________________ Wiki-research-l mailing list Wiki-research-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wiki-research-l
wiki-research-l@lists.wikimedia.org