- 2013-11-18
-
Tentagranskning time announcement
The tentagranskning will be in the EDIT room (3364), on Wednesday 20/11 and Thursday 21/11, at 12:00 to 13:00.
- 2013-10-17
-
Extra lab session tomorrow instead of tutorial
The tutorial in 3507 tomorrow (Friday 18/11) will be replaced by a final lab supervision session.
- 2013-10-15
-
Grading guidelines for GU students.
The grading information has so far only reflected the requirements for Chalmers students. We have now added grading guidelines to the course info page for GU students as well.
- 2013-10-09
-
URGENT: Preparing for the exam on 24 Oct 2013.
For exam preparation, we'd like to once again direct your attention to the front matter of the upcoming exam. In addition, please join the Google group if you have not already done so, as instructions, study tips and a sample exam paper will be published there shortly.
- 2013-10-04
-
Lecture hall change
Due to the lack of space and poor air quality in EL41/42, we will switch lecture halls starting this Monday. On Mondays lectures will be in hall EE and on Thursdays lectures will be in hall ED.
- 2013-10-01
-
Course rep meeting
This Friday, there will be a meeting with the course representatives immediately after the tutorial session. If you have questions or feedback, please contact your course reps about it before then.
- 2013-09-16
-
Guest lecture announcement
In the coming weeks, we have a battery of quest lecturers, experts in their respective fields. Namely:
- Thu. 19/9: Michal Palka will be giving a lecture about JR
- Mon. 30/9: Cons Åhs will be giving a lecture about Erlang
- Mon. 14/10: Wolfgang Ahrendt will be giving a lecture about model checking with SPIN
- 2013-09-16
-
Getting started with Erlang
The free, online book Learn You Some Erlang For Great Good is an excellent resource for beginning Erlang programmers.
Thanks to Behrouz Talebi for posting this to the Google group.
- 2013-09-16
-
Lab updates: lab 3 in Erlang OR JR; deadlines pushed forward by one week
We have decided to offer a choice on whether to do the third lab in Erlang or JR. To accommodate this, the first deadlines for labs 3 and 4 have been pushed forward one week. Please see the timetable for more information.
- 2013-09-12
-
Info about the Friday tutorial
Tomorrow's tutorial will be from 1515 onwards, and will last as long as the students want, upto a maximum of 40 mins + 20 mins. We will have a meeting with the course reps after the tutorial. The tutorial is of course entirely optional.
The tutorial is meant firstly for questions by the students, and secondly for questions from me to them. Questions can include attempts at solving problems (from the book, or old exams, etc.). I cannot promise answers on the spot, but may have to carry questions over to the next tutorial.
- 2013-09-03
-
Fire system operational
You can now register and create a lab group in the Fire system.
- 2013-09-01
-
Updated lab deadlines
The second and final deadlines for labs 3 and 4 have been changed. Please take a look at the schedule and mark the new dates.
- 2013-08-30
-
Google calendar operational
The course now has a Google calendar on the timetable page, which will be updated on a weekly basis.
- 2013-08-23
-
Google group operational
This course has a Google group. Now you can sign up for it!
- 2013-08-20
-
Course webpage up
The course web page is now up and running.