Date for first meeting - Githubissues

vlopezj / coq-course

Coq course at Chalmers CSE

37 stars 10 forks source link

Closed vlopezj closed 7 years ago

vlopezj commented 7 years ago

Let's set a date for the first meeting of the course! It will take place some day between Jan 30th and Feb 3rd, and last for about 2 hours.

If you are in the list of participants, you should have received a link to the poll by e-mail. Otherwise, do complain.

Please make your selection before Tuesday 24th.

vlopezj commented 7 years ago

The date for the first meeting is Thursday 2nd February, 3pm-5pm. Welcome!

first-meeting