[seqfan] Re: talk announcement: Proving properties of OEIS sequences with Walnut

[Jeffrey Shallit]

In case you missed the talk, it is now available at

https://cs.uwaterloo.ca/~shallit/walnut.html

On 2022-10-13 2:17 PM, Jeffrey Shallit wrote:
> I am writing to invite you to attend my talk on October 18.
>
> You are also welcome to forward this announcement to anyone you think 
> might be interested.
>
> *Title: "**Using Walnut to Prove Results About Sequences in the OEIS"**
> **Speaker:  Jeffrey Shallit, University of Waterloo**
> **Date:  October 18 2022**
> **Time:   12 Noon EDT (9 AM San Francisco; 6 PM France)
> Place:  On Zoom, see below for link
> *
> Abstract:   Walnut is free software, originally created by Hamoon 
> Mousavi, that can *rigorously* prove
> properties of various kinds of infinite sequences, such as the 
> Thue-Morse sequence, the Rudin-Shapiro sequence, the
> infinite Fibonacci word, the infinite Tribonacci word, and dozens of 
> related sequences.
>
> In this talk I will show how *you* can use Walnut to prove conjectures 
> about some sequences
> contained in the On-Line Encyclopedia of Integer Sequences (OEIS).  I 
> will illustrate
> the ideas with several examples, and also talk about the limitations 
> of Walnut.
> I'll also answer any questions you might have about how to use it.
>
> To join the talk, you will need Zoom.
> The link to join the talk is below.
>
>
> Links:
> the OEIS: https://oeis.org
>
> the Walnut page, where you can download it:
> https://cs.uwaterloo.ca/~shallit/walnut.html
>
> Zoom link for the talk:
> *https://uwaterloo.zoom.us/j/92294606020?pwd=bFU3emRFaUdVOXEwM0pDc004N0dHUT09*
>
> Meeting ID: 922 9460 6020
> Passcode: 940446
> One tap mobile
> +16469313860,,92294606020#,,,,*940446# US
> +16694449171,,92294606020#,,,,*940446# US
>
> Dial by your location
>         +1 646 931 3860 US
>         +1 669 444 9171 US
>         +1 669 900 9128 US (San Jose)
>         +1 719 359 4580 US
>         +1 253 215 8782 US (Tacoma)
>         +1 301 715 8592 US (Washington DC)
>         +1 309 205 3325 US
>         +1 312 626 6799 US (Chicago)
>         +1 346 248 7799 US (Houston)
>         +1 386 347 5053 US
>         +1 564 217 2000 US
>         +1 646 558 8656 US (New York)
>         833 548 0276 US Toll-free
>         833 548 0282 US Toll-free
>         877 853 5257 US Toll-free
>         888 475 4499 US Toll-free
>         +1 780 666 0144 Canada
>         +1 204 272 7920 Canada
>         +1 438 809 7799 Canada
>         +1 587 328 1099 Canada
>         +1 647 374 4685 Canada
>         +1 647 558 0588 Canada
>         +1 778 907 2071 Canada
>         833 955 1088 Canada Toll-free
>         855 703 8985 Canada Toll-free
> Meeting ID: 922 9460 6020
> Passcode: 940446
> Find your local number: https://uwaterloo.zoom.us/u/ab7RMHqW7v
>
> Join by SIP
> 92294606020 at zoomcrc.com
>
> Join by H.323
> 162.255.37.11 (US West)
> 162.255.36.11 (US East)
> 115.114.131.7 (India Mumbai)
> 115.114.115.7 (India Hyderabad)
> 213.19.144.110 (Amsterdam Netherlands)
> 213.244.140.110 (Germany)
> 103.122.166.55 (Australia Sydney)
> 103.122.167.55 (Australia Melbourne)
> 149.137.40.110 (Singapore)
> 64.211.144.160 (Brazil)
> 149.137.68.253 (Mexico)
> 69.174.57.160 (Canada Toronto)
> 65.39.152.160 (Canada Vancouver)
> 207.226.132.110 (Japan Tokyo)
> 149.137.24.110 (Japan Osaka)
> Meeting ID: 922 9460 6020
> Passcode: 940446
>
>
>
>
>