FPBrno Meetup 5

[Matej Kollar]

Hi all.

It is my pleasure to announce that yet another FPBrno meetup is on its
way :-). This time John Bourke will have a talk with the title

Types and higher groupoids

There are 3 possible dates to pick from:

http://doodle.com/poll/7waykhx6m8p9ddau

I am looking forward to meeting you all there.

Matej
--
\f.(\x.f(xx))(\x.f(xx))
(lambda f: (lambda x: lambda: f(x(x)))(lambda x: lambda: f(x(x))))

[Matej Kollar]

> http://doodle.com/poll/7waykhx6m8p9ddau

And to prevent unneeded voting procrastination... ;-)

Voting deadline: Thursday 2016-07-14 23:59:59 CEST

[Matej Kollar]

On Tue, Jul 12, 2016 at 02:16:39PM +0200, Matej Kollar wrote:
> Hi all.
>
> It is my pleasure to announce that yet another FPBrno meetup is on its
> way :-). This time John Bourke will have a talk with the title
>
> Types and higher groupoids
>
> There are 3 possible dates to pick from:
>
> http://doodle.com/poll/7waykhx6m8p9ddau
>
> I am looking forward to meeting you all there.
>
> Matej

Hi all... the talk will take place on Wednesday 2016-07-20 18:00:00 CEST.
(Unless something changes...)

Topic: Types and Higher Groupoids
Length: ~1 hour
Place: to be determined, probably somewhere near Kotlarska

If you know someone that might be interested in the topic be sure
to spread the word ;-).

[Tomas Janousek]

Hi,

On Fri, Jul 15, 2016 at 08:03:41AM +0200, Matej Kollar wrote:
> Hi all... the talk will take place on Wednesday 2016-07-20 18:00:00 CEST.
> (Unless something changes...)

Not 2016-07-27? Doodle tells me it's 27.

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

[Matej Kollár]

Tomas Janousek <to...@nomi.cz> wrote on Fri, 15 Jul 2016 08:22:54 +0200:
> On Fri, Jul 15, 2016 at 08:03:41AM +0200, Matej Kollar wrote:
> > Hi all... the talk will take place on Wednesday 2016-07-20 18:00:00 CEST.
> > (Unless something changes...)
>
> Not 2016-07-27? Doodle tells me it's 27.

Oops... You are correct, my mistake :-). It will be 2016-07-27.

Matej
--
...lambda_rulez...

[Matej Kollar]

Hi all.

The next meetup will be this Wednesday. Here are final details:

* Topic: Types and higher groupoids
* Speaker: John Bourke
* Date: This Wednesday (2016-07-27)
* Meeting point:
* When: 17:50
* Where: Faculty of Science at Kotlarska, in front of Mathematics
department (Building 8).
(N 49°12.24228', E 16°35.87083', <https://mapy.cz/s/U8EA>)
* Where (in case you know your way around the Faculty):
Lecture room M5 on the ground floor of Mathematics department.
* When: 18:00.

I am looking forward to meeting you all there :-).