FPBrno Meetup 2

[Matej Kollar]

Hi all.

I have managed to talk to all the necessary people so
we can have another meetup. Ideal time window seems
to be between 2015-09-29 and 2015-10-01 (inclusive).
Now it is your turn: please fill in a doodle

http://doodle.com/poll/9zvsznifkacrigu8

so I will know also your time preference when planing
stuff. (Those are starting times, ending will be most
likely open.)

Peter promised an interestingly sounding opening talk

Types as values:
Derive correctness from practicality

so I think there definitely is something to look
forward to. And there may even be some treats ;-).

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

[Libor Škarvada]

On Mon, Sep 14, 2015 at 09:19:36PM +0200, Matej Kollar wrote:
> I have managed to talk to all the necessary people so
> we can have another meetup. Ideal time window seems
> to be between 2015-09-29 and 2015-10-01 (inclusive).
> Now it is your turn: please fill in a doodle
>
> http://doodle.com/poll/9zvsznifkacrigu8

Hello,
I updated doodle data so the intersection is nonempty again.
Looking forward to the meetup.
Libor

[Matej Kollar]

You have significantly simplified my decision making.
Thanks :-).

[Matej Kollar]

On Mon, Sep 14, 2015 at 09:19:36PM +0200, Matej Kollar wrote:

> Hi all.
>
> I have managed to talk to all the necessary people so
> we can have another meetup. Ideal time window seems
> to be between 2015-09-29 and 2015-10-01 (inclusive).
> Now it is your turn: please fill in a doodle
>
> http://doodle.com/poll/9zvsznifkacrigu8

Thanks to all participants. Next meetup will take place
on 2015-09-30 at 19:00+0200.

Btw: you do not have to be sad if you havent participated
in the poll... you can still come. We will try to choose
place big enough to accomodate couple more participants ;-).

Matej.

[Matej Kollar]

Hello all.

Just a reminder: tomorrow is the day :-). Looking forward
to meet you in front of FI (N 49°12.595', E 16°35.924')
around 18:55. (Or directly in A220 if you know your
way around the building).

Should there be any issues on site (you get lost,
you will be coming a little late, ...), you can reach me at
+420 730 (eb4195b649a7a78927e1ff0da67b0224).

Program:

* Opening talk by Peter (about 30 minutes)
* Socializing activity (couple of minutes)
* Informal part

I am looking forward to the event profoundly :-).

Matej.

PS: md5 of string of length 6. No whitespace
Sorry for the inconvenience, mailing list is public.
Bruteforcing 10^6 possibilities is not
that bad, right? ;-)