About next meeting on Tuesday 2nd of October
13 views
Skip to first unread message
Yegor Guskov
Oct 1, 2012, 3:40:41 PM10/1/12
to manchester-type-th...@googlegroups.com
Dear everyone,
We can try to have a meeting tomorrow as usual at 17:00 in LF15 to
discuss the plans for this year with everybody and maybe even learn
something about the subject from each other.
Yegor
We can try to have a meeting tomorrow as usual at 17:00 in LF15 to
discuss the plans for this year with everybody and maybe even learn
something about the subject from each other.
Yegor
reg...@cs.man.ac.uk
Oct 1, 2012, 5:34:31 PM10/1/12
to Yegor Guskov, manchester-type-th...@googlegroups.com
I'm afraid I can't generally do Tuesday. But if you do meet it'll be interesting to hear what you discuss.
I'm looking forward to Coq.
Giles
Sent from my HTC
I'm looking forward to Coq.
Giles
Sent from my HTC
Francis Southern
Oct 2, 2012, 4:34:11 AM10/2/12
to manchester-type-th...@googlegroups.com
I think that if Giles can't do Tuesday,
then we should definitely change the day, but we should still meet
today to have a chat and get the ball rolling.
Francis
Francis
Reply all
Reply to author
Forward
0 new messages