First MIRIxUW workshop on Saturday, October 4

[Sam Eisenstat]

Hello,

The first MIRIxUW workshop will be this Saturday, from 1-6pm, in the Math and Computing building (MC). We will meet in MC 1085 if it is available; if it is in use, we will gather outside the room and then walk to another big room with a whiteboard.

We can discuss various directions for potential research. I am somewhat familiar with and interested in logical uncertainty, so I will be prepared to explain a bit about that, and we can choose to focus on it if other people are interested. Some resources on logical uncertainty are:

Gaifman http://www.columbia.edu/~hg17/synthese-paper-as-published.pdf

Christiano, Yudkowsky, Herreshoff, and Barasz http://intelligence.org/files/DefinabilityTruthDraft.pdf

Hahn http://intelligence.org/files/ScientificInduction.pdf

Christiano http://intelligence.org/files/Non-Omniscience.pdf

There will be snacks during the workshop, and if you come to dinner after the workshop, your meals will be reimbursed.

Best,
Sam

[Tobias Fritz]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Sam, Jess,

that sounds great! I'd definitely participate -- if I was in town...
Currently I'm in London (UK), but I'll get back to Waterloo next
Tuesday, and will take part in anything that will take place after that.

best,
Tobias

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBAgAGBQJULVfZAAoJEHzujRQ4aKxMo7wH/0g7d/JE2fqayBmQ46j3ni+N
wxTKoOezGe3h3XdELxoLVkNQGkpX8zmUY9a/OZa1qRwk6Nf6wYAlnJQ4xpZtQLuQ
lnip3e7eirf8i65tSUMWCPhA4hl2J+kfEAkpATIzLOS0xDHj2adlp7fPY5GLZwcQ
q6yxz2sjWH6JPupVjZLLhIUgLq0GMqQOATAamRK/99cBwqEglbI32UXok1mOGnKE
dA6TpUucnl6KiZtJTtOaV7Gsq+LrDsI3YEVVY9n3FqoTvtMoQm6dpi1dM60wUCHH
YdEOu2Yu/E+nzkFh9OHv1nWT0jU/yAIfWioxd124mwccnZh20Lm6TbxMvyKP0Zs=
=KWXc
-----END PGP SIGNATURE-----