One question

[Jan Malakhovski]

When? We probably know where.

Mondays, Saturdays and Sundays are out. Mornings are out.

[Alexey Sergushichev]

It seems, I'm not going to take part in these seminars anymore.

---
Alexey Sergushichev

> --
> You received this message because you are subscribed to the Google Groups "Type Theory for Vegetables" group.
> To post to this group, send email to type-theory-f...@googlegroups.com.
> To unsubscribe from this group, send email to type-theory-for-veg...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/type-theory-for-vegetables?hl=en.
>

[Dmitry Gerasimov]

Thursday evenings after 7 PM, better somewhat like 7:30 PM to have time to take snack.

[Andrew Shulayev]

Thursday evenings are great for me too.

[Jan Malakhovski]

Then we are able to start tomorrow. I think I'm going to be ready to
explain how you could have invented SN proof for simply typed lambda.
Any objections?

> --
> You received this message because you are subscribed to the Google Groups
> "Type Theory for Vegetables" group.

> To view this discussion on the web visit
> https://groups.google.com/d/msg/type-theory-for-vegetables/-/JBreDXlUaNkJ.

[Alex Kasatkin]

Sorry. We're speaking about Thursday and tomorrow will be Tuesday. Where I'm wrong?

On Tuesday, October 2, 2012 12:42:26 AM UTC+4, Jan Malakhovski wrote:

Then we are able to start tomorrow. I think I'm going to be ready to
explain how you could have invented SN proof for simply typed lambda.
Any objections?

On Mon, Oct 1, 2012 at 9:27 PM, Andrew Shulayev <ash....@gmail.com> wrote:
> Thursday evenings are great for me too.
>
>
> On Monday, 1 October 2012 21:06:02 UTC+4, Dmitry Gerasimov wrote:
>>
>> Thursday evenings after 7 PM, better somewhat like 7:30 PM to have time to
>> take snack.
>>
>> On Monday, October 1, 2012 11:56:29 AM UTC+4, Jan Malakhovski wrote:
>>>
>>> When? We probably know where.
>>>
>>> Mondays, Saturdays and Sundays are out. Mornings are out.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Type Theory for Vegetables" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/type-theory-for-vegetables/-/JBreDXlUaNkJ.
>
> To post to this group, send email to
> type-theory-f...@googlegroups.com.
> To unsubscribe from this group, send email to

> type-theory-for-vegetables+unsub...@googlegroups.com.

[Дмитрий Герасимов]

Tomorrow? Tomorrow is Tuesday, not Thursday.

BTW, where are we at the moment? Is the information at http://oxij.org/activity/ttfv/ correct?

--
Dmitry Gerasimov, NRU ITMO, study group 3538

[Kirill Elagin]

2012/10/1 Jan Malakhovski <jan.mal...@gmail.com>

Any objections?

Yeah, how 'bout that: tomorrow is not Thursday.

I like this: Tuesday 19:00, Wednesday 19:00. I'm not really happy with Thursdays, but if you really want Thursdays, we finish at 20:00. Friday 14:00 (or, better, 16:00, but that lecture is not important at all).

 

--

Кирилл Елагин 

[Andrey Komarov]

Could you tell me exactly when meeting will be? Tomorrow(Tuesday) or Thursday?

I prefer Thursday or Wednesday evening

вторник, 2 октября 2012 г., 0:42:26 UTC+4 пользователь Jan Malakhovski написал:

Then we are able to start tomorrow. I think I'm going to be ready to
explain how you could have invented SN proof for simply typed lambda.
Any objections?

On Mon, Oct 1, 2012 at 9:27 PM, Andrew Shulayev <ash....@gmail.com> wrote:
> Thursday evenings are great for me too.
>
>
> On Monday, 1 October 2012 21:06:02 UTC+4, Dmitry Gerasimov wrote:
>>
>> Thursday evenings after 7 PM, better somewhat like 7:30 PM to have time to
>> take snack.
>>
>> On Monday, October 1, 2012 11:56:29 AM UTC+4, Jan Malakhovski wrote:
>>>
>>> When? We probably know where.
>>>
>>> Mondays, Saturdays and Sundays are out. Mornings are out.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Type Theory for Vegetables" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/type-theory-for-vegetables/-/JBreDXlUaNkJ.
>
> To post to this group, send email to
> type-theory-f...@googlegroups.com.
> To unsubscribe from this group, send email to

> type-theory-for-vegetables+unsub...@googlegroups.com.

[Jan Malakhovski]

On Tue, Oct 2, 2012 at 12:50 AM, Дмитрий Герасимов <karl...@gmail.com> wrote:
> Tomorrow? Tomorrow is Tuesday, not Thursday.

Ok, ok. I suppose I just wanted it to be tomorrow so hard (I was
thinking about SN while going home), that I misread this thing twice.

> BTW, where are we at the moment? Is the information at
> http://oxij.org/activity/ttfv/ correct?

It was not, now it is.

Anyway, I'm fine with both weekdays. Any strong objections against Thursdays?

[Kirill Elagin]

2012/10/1 Jan Malakhovski <jan.mal...@gmail.com>

On Tue, Oct 2, 2012 at 12:50 AM, Дмитрий Герасимов <karl...@gmail.com> wrote:
> Tomorrow? Tomorrow is Tuesday, not Thursday.

Ok, ok. I suppose I just wanted it to be tomorrow so hard (I was
thinking about SN while going home), that I misread this thing twice.

> BTW, where are we at the moment? Is the information at
> http://oxij.org/activity/ttfv/ correct?

It was not, now it is.

Anyway, I'm fine with both weekdays. Any strong objections against Thursdays?

http://www.ifmo.ru/schedule_search/1/4539/4539.htm

Strong enough? 

--
Кирилл Елагин

[Jan Malakhovski]

Ah, a strong objection. I'm not sure we'll be able to finish at 23:00
if we start at 20:00.

I'm still ready for tomorrow.

[Jan Malakhovski]

Suddenly, offline discussion moved proposed time to Friday 19:00
(plenty of time to inform everyone and refresh you knowledge of
\lambda_\to, btw).
Objections?

[Dmitry Gerasimov]

Well, I'm okay with Friday, except for time: let's start at 19:30?

[Jan Malakhovski]

Fine, let it be this Friday 19:30.

On Tue, 2 Oct 2012 13:14:42 -0700 (PDT)
Dmitry Gerasimov <karl...@gmail.com> wrote:

> Well, I'm okay with Friday, except for time: let's start at 19:30?
>

> --
> You received this message because you are subscribed to the Google Groups "Type Theory for Vegetables" group.

> To view this discussion on the web visit https://groups.google.com/d/msg/type-theory-for-vegetables/-/-roFapBhl80J.