About the lecture on Friday 20th

Moderator: Automated Theorem Proving

aeflores
Moderator
Moderator
Beiträge: 5
Registriert: 4. Apr 2013 14:58

About the lecture on Friday 20th

Beitrag von aeflores » 16. Jun 2014 15:10

The exercises lecture on Friday, June 20th will take place as usual. Anyone willing to attend can do so.

However, given the multiple requests of changing the lecture, I set up an extra time slot on Wednesday, June 18th to discuss the same exercises sheet (Exercises 4). You can vote for the time slot at http://doodle.com/brgnq3i8u56nhwrc until tomorrow (Tuesday 19th) at 3pm. At that time I will publish the final time for the extra lecture.
To sum up, you can attend to the lecture on Friday June 20th, to the one on Wednesday, June 18th or to both if one time is not enough.

Antonio Flores

aeflores
Moderator
Moderator
Beiträge: 5
Registriert: 4. Apr 2013 14:58

Re: About the lecture on Friday 20th

Beitrag von aeflores » 17. Jun 2014 15:50

Given that there was no participation in the doodle, the lecture will take place on Friday.
I will post the solutions after the lecture as usual. For the ones that cannot attend, I remind you that you can post any questions you may have in the forum or via e-mail.

Antworten

Zurück zu „Automated Theorem Proving“