MIRIxVancouver workshop: Who's interested?

[Evan]

Andrew McKnight and I want to host a MIRIxVancouver workshop in Vancouver sometime in October. 

http://intelligence.org/mirix/

Who's interested in attending or getting involved?

[Eric Chisholm]

There is certainly a set of MIRIx workshops I would go, if they include nate soares and if they involve discussing those papers I fake having read

--

---
You received this message because you are subscribed to the Google Groups "Vancouver Rationalists" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationa...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Kenneth Bruskiewicz]

>  I fake having read

Discipline, man!

> workshop

I'm not sure if I have the time to volunteer, unfortunately; it depends on the commitment. If it takes little longer than the workshop itself I would be likely to consider it.

--

Kenneth (ˈke.nɪθ, n.): Honest guy drafting dishonest futures. Frameworks for thinking productively and getting creative. Scholarship at the edge of application and vice versa. Voting for a dangerous, kinder humanity. Lets the work speak.

[Wolf Tivy]

If it falls on a day I can show up, I'm interested.

On Sep 17, 2014 1:19 AM, "Evan" <egba...@gmail.com> wrote:

--

[John Salvatier]

I've included a few people from Seattle who might be interested because they attended the Seattle MIRIx workshop.

I'm interested, but probably can't make it as I'm busier than normal right now.

On a side note, I'll be visiting Vancouver Thursday-Saturday this week! Let me know if you want to have dinner. 

[Max Carpendale]

I'm interested if I can understand the papers.

[James Wright]

What was the format at MIRIx Seattle? Are you planning something similar?

      James

Sent from my phone and whatnot

[John Salvatier]

In Seattle, Quinn Maurmann (who organized) gave tutorials on model theory, then Godel's completeness/incompleteness theorems, and then Lob's theorem. Interlaced with working problems on the same topics. Quinn had some nice writeups that I'm sure he'd love to share. These were basically critical.

Then on the second half of Sunday, we read through the first half of the Probabilistic Logic paper and worked some problems there. Then we had some discussion of a Lob's theorem equivalent in Probabilistic Logic.

[Andrew McKnight]

Advice from Patrick LaVictoire on how to host a MIRIx:

• Message Luke M for help
• Gather at least 4 people
• Start with 1 weekend noon to 5
• Focus on getting projects started
• Bring snacks
• Have spaces for subgroups
• Whiteboards
• Do Topic Brainstorming
• Form Working Groups
• Take frequent breaks and encourage others to do so
• Finish with silly ritual

His general message was that if you want to turn it into a monthly thing (which I do) then the idea is to get off to a good start and work on topics the participants are interested in. Start as basic as is required. This is a bit different from what happened in Seattle and I agree with John that having problems to work through was critical.

[Quinn Maurmann]

I would certainly be interested in doing this.

As John mentioned, for the Seattle workshop in August, I prepared some notes and problems for the relevant logic background material, and we spent most of the weekend working through them. (skipping the optional last section on random graphs) Then we talked a bit about the Definability of Truth in Probabilistic Logic paper, and a bit about an idea I had that it seemed like one should be able to prove an analogue of Lob's Theorem for that logic. A week or two later, I finally got to the bottom of why it wasn't quite working, wrote up the whole thought process, and linked it to LW discussion (where it unfortunately did not start any sort of discussion).

To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationalists+unsub...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

---
You received this message because you are subscribed to the Google Groups "Vancouver Rationalists" group.

To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationalists+unsub...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

---
You received this message because you are subscribed to the Google Groups "Vancouver Rationalists" group.

To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationalists+unsub...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

---
You received this message because you are subscribed to the Google Groups "Vancouver Rationalists" group.

To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationalists+unsub...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

---
You received this message because you are subscribed to the Google Groups "Vancouver Rationalists" group.

To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationalists+unsub...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--

---
You received this message because you are subscribed to the Google Groups "Vancouver Rationalists" group.

To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationalists+unsub...@googlegroups.com.

[zola...@gmail.com]

I would be interested in this as well.

[James Wright]

I'd be interested to participate, with the usual hedging about whether I'm free that day.

      James

To unsubscribe from this group and stop receiving emails from it, send an email to vancouver-rationa...@googlegroups.com.

[Andrew McKnight]

I'm thinking of hosting this at my place October 25th and 26th from 10am to 5pm with lunch in the middle each day. Does that work for people?

[James Wright]

Sadly, that is the one weekend in October when I am almost certainly not available.  Did you say you were planning to make this a monthly-ish affair though?  Maybe I could come to one of the later ones.

      James

[Andrew McKnight]

I'm hosting something a bit smaller than a MIRIx (MIRIxx?) next Saturday November 29th from noon to 5pm on Corrigibility. Message me for details or connect with me on facebook so I can invite you to the meetup. If you don't feel like you have the requisite math background, then you can still come if you make up for it by being extra familiar with the related non-math content. There will be a cap of about 10 people.

https://www.facebook.com/andrew.mcknight.142

On Mon, Sep 29, 2014 at 12:53 PM, Me via Boomerang <the...@gmail.com> wrote:

Message moved to top of inbox by Boomerang (view this conversation).

Don't want this notification email in the future? Go to https://b4g.baydin.com/settings and uncheck the 'At the top of your Inbox' option under Settings. Please note that your Boomeranged messages would no longer return to the top of your Inbox.

[James Wright]

I'm interested in coming, would love to see the details.

Thanks!
      James

Sent from my phone and whatnot

[Quinn Maurmann]

I forgot that weekend was thanksgiving, so it's unlikely I'll be able to make it actually.

--

---
You received this message because you are subscribed to a topic in the Google Groups "Vancouver Rationalists" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/vancouver-rationalists/BJIpCijsrH8/unsubscribe.
To unsubscribe from this group and all its topics, send an email to vancouver-rationa...@googlegroups.com.

[Evan]

More interest has been expressed than I expected since I started this thread. It's promising to me that there's so much interest. This is still the sort of event that I can throw together, so I'll let you know if I have plans.