Flint Fridays?

[Fredrik Johansson]

Hi all,

How about a virtual meeting to chat about Flint or related projects (Arb, Nemo, etc.), open to anyone interested?

I propose Friday at 14:00 CET, but I'm happy to pick some other time slot if that doesn't work. It could be a recurring thing if there is interest.

We can use this BBB: https://webconf.u-bordeaux.fr/b/fre-um4-k9z

(You will need to email me in private to get an access code.)

Fredrik

[fieker]

I am fundamentally happy to participate, but this Firday is good friday
(easter) and thus almost everyone is off work.

(and the next 2, that is me personally, so ignore it, I have oral
exams...)


> --
>
> ---
> You received this message because you are subscribed to the Google Groups "flint-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to flint-devel...@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/flint-devel/CAJdUXTJNLC5r6n2m%2B07j8ozhUS8QJMuvgxpS2KgtCqaXoNpMUg%40mail.gmail.com.

[Bill Hart]

I am also on holidays this Friday. But am happy to participate from
the next Friday onwards. Note that I have a regular meeting at 3pm, in
the unlikely event that we ever have more than an hour of stuff to
discuss.

> To view this discussion on the web, visit https://groups.google.com/d/msgid/flint-devel/20210401071824.GF1329012%40mathematik.uni-kl.de.

[Fredrik Johansson]

All right, let's try to have a first session next Friday, for anyone available :-)

Fredrik

To view this discussion on the web, visit https://groups.google.com/d/msgid/flint-devel/CAB0xFnt%2BTJyy2-qEs-CHYGpqwqir-3pd0tZ9exgKtw6qrk4tqg%40mail.gmail.com.

[Fredrik Johansson]

I will be around the same time tomorrow (14:00 CET) if people want to chat again.

Fredrik

[Fredrik Johansson]

We will have a meeting again today at 14:00 CET.

Fredrik

[Fredrik Johansson]

As last week; I will be online at 14:00 CET and anyone is welcome to join.

Fredrik

[Fredrik Johansson]

Weekly reminder: Flint Fridays again today at 14:00 CET.

Fredrik

[Fredrik Johansson]

After skipping last week, Flint Fridays will be back today at 14:00 CET.

Fredrik

[Fredrik Johansson]

Flint Fridays again today at 14:00 CET.

Fredrik

[Brent W. Baccala]

I logged in, but left at five minutes after the hour when the video conference hadn't started.

Or had it?  Any chance I didn't login right?  I had put in the access code the night before so I wouldn't have to look it up in the morning, and left the screen at the page when it prompted me for my name.  I don't know if that screwed things up or not...

    agape

    brent

[Bill Hart]

We did meet today. Something must have gone wrong.

See you next week?

Bill.

> --
>
> ---
> You received this message because you are subscribed to the Google Groups "flint-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to flint-devel...@googlegroups.com.

> To view this discussion on the web, visit https://groups.google.com/d/msgid/flint-devel/b94912e6-2862-4740-bd93-110a3a5ecef8n%40googlegroups.com.

[Fredrik Johansson]

We will be online again today at 14:00 CET (in one hour).

Fredrik

[Fredrik Johansson]

Flint Friday again today at 14:00 CET (in one hour).

Fredrik

[Fredrik Johansson]

Flint Friday again at 14:00 CET.

Fredrik

[Fredrik Johansson]

I'm a bit sick this week, but available for Flint Friday today at 14:00 CET if people want to chat.

Fredrik

[Brent W. Baccala]

 I won't be tuning in today.  It's just a bit too early for me here in the U.S.

I'll keep you informed on the mailing list about my progress.

    agape

    brent