Re: pre-workshop event?

[Thijs Schreijer <thijs@...>]

I'd like to propose Mikkeller bar, 34 Mason street.

On Sun, Oct 15, 2017 at 10:55 PM +0200, "Roberto Ierusalimschy" <roberto@inf.puc-rio.br> wrote:

Will there be a "pre-workshop event" (i.e. a get together in some nice
bar) in SF this evening?

-- Roberto