Possible talk

[John Bourke]

Hi there,

it was nice to meet some of you at last week's functional programming meetup.  As I said then I'm a mathematician and am keen to understand a bit of functional programming and type theory - especially in relation to category theory.

I mentioned that I could give a talk on something related, for instance, to homotopy type theory - say, about higher groupoids which are related to types.  I'd try to keep the necessary background pretty minimal.  Would anybody be interested?

I'm leaving Brno at the start of August and don't have too many free dates.  The best dates for me would be Wednesday 27th, Thursday 28th or Friday 29th of July after 5pm.  Monday 19th of July might also be possible.

By the way, my name is John Bourke and my webpage is here:

http://www.math.muni.cz/~bourkej/

All the best,

John.

[Miroslav Prýmek]

Hi!

I really regret I could not participate on the last meeting. Anyway:

On 07/06/2016 18:30, John Bourke wrote:
> I mentioned that I could give a talk on something related, for instance,
> to homotopy type theory - say, about higher groupoids which are related
> to types. I'd try to keep the necessary background pretty minimal.
> Would anybody be interested?

I would be very interested, especially if the talk would be closely
related to or would lead into any kind of ("sketch"?) solutions of
existing programming languages problems. I totally don't have enough
math background to appreciate solutions to purely abstract math-only
problems but when the problem is something (well-educated)
programmer (using interesting languages) can face, mathematically sound
solutions are very interesting to me - even if the problem is kind of
"esoteric" one ;)

I hope you could spend your time on such a talk, it would be very
appealing to me.

thanks in advance

M. Prymek

[Adam Krupicka]

Greetings,

I think this is a great topic and I would make sure to attend.


Hope to see you soonish,
A. K.

> --
> You received this message because you are subscribed to the Google Groups "Functional Programming Brno" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fpbrno+un...@googlegroups.com.
> To post to this group, send email to fpb...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fpbrno/CAARwaqDkugdp6xQCAAO3GCg-OnHD12LKPysPLOFurXm3LaTEHw%40mail.gmail.com.
> For more options, visit https://groups.google.com/d/optout.

[Matej Kollar]

Just letting you all know: things are in progress :-).
--
\f.(\x.f(xx))(\x.f(xx))
(lambda f: (lambda x: lambda: f(x(x)))(lambda x: lambda: f(x(x))))

[Tomas Janousek]

Hi Matej,

On Mon, Jul 11, 2016 at 11:26:39PM +0200, Matej Kollar wrote:
> Just letting you all know: things are in progress :-).

Following up on our discussion at last meetup regarding possible space for
meetups, our ex-classmate Honza Bleha (currently community manager at Kiwi.com
(former Skypicker), formerly at Red Hat) posted recently that Kiwi.com offers
a space near the Brno Exhibition Center (Hlinky street) for technical events:
https://www.facebook.com/blehajan/posts/10210327161521870

As I suspect you might not be on Facebook, I thought you might otherwise miss
this.

(That being said, this particular talk is likely to have a small audience so
any pub with a separate room with projector would probably do.)

Regards,
--
Tomáš Janoušek, a.k.a. Pivník, a.k.a. Liskni_si, http://work.lisk.in/