14th of October
13th of October
As we anticipated, there will be no lecture on Thursday 16 Oct.
There will be a tutorial on Friday 17 Oct at 1515 in group room
3217, where we will do more examples, both with SPIN and without.
10th of October
It will not be needed to do demos for DCHAT. You can submit your
code as soon as you consider that it is ready!
We have extended the deadline for DCHAT to Wednesday 15th of
The tutorial today will be held in room EB.
6th of October
The tutorial on Fri 10 Oct at 1515 will do more SPIN examples, of
your choosing. The idea is that you attempt to verify some programs
using SPIN, and show them at the tutorial. We'll try to help with
any bugs. If you are planning to attend this SPIN tutorial, please
let us know via the Google group so we know how big a room to book.
8th of October
Tomorrow, Thursday 9 October, we have a lecture by Behrouz Talebi on
the SPIN model checker and its programming language, Promela.
THIS MATERIAL IS NOT REQUIRED FOR THE EXAM!
But it will help you understand proofs about programs. You can
easily code in Promela all the examples in the book, and check
properties. So you can check your informal proofs.
Lastly, it will give you practice with fomal logic, which is needed
for a small (1/6) part of the exam.
6th of October
We will have another meeting with the course representatives on
Thursday 9 Oct, after the lecture. Please give your feedback to
your class representative before then.
Prasad will be away on Thursday 16 Oct. We are trying to arrange a
guest lecture on SPIN, which might replace Prasad's lecture on that
day. Otherwise, there will be no lecture on Thu 16 Oct.
3rd of October
We have extended the deadline for CCHAT to Wednesday 8th of
October. However you can still do verbal demos for CCHAT on
Monday 6th of October.
The Tutorial today will be held in group room 3215 in the long
hallway (same floor as café linsen).
2nd of October
If you wish to attend tomorrow's tutorial (Fri 3 Oct), please mail
the Google group so we know how big a room to book.
1st of October
Some students have asked about solutions to the problems in the
book. Our understanding is that it is the author's intention to not
make written solutions available to students, and that we teachers
too are requested to not put solutions on the net. But of course we
can orally present solutions, which we do during tutorials (as many
as we can manage). So one way is to ask classmates who have
attended those sessions. Another is to experiment with code. You
can also pick specific problems that you find interesting and ask to
discuss them in tutorials or possibly in lectures, whenever we can
find time for them.
30th of September
During the second half of the last lecture we showed a small demo of
how to use the genserver, which we provide for CCHAT and how to run
it in a distributed environment. If you want to review the code and
run it yourself, you can find the files and a Tutorial about how to
run it in the following link
27th of September
26th of September
Today's tutorial will take place in room 4207 at the usual time
23rd of September
At the meeting with the student representatives today, we decided to
organize a student poster exhibition. The idea is that you
(individually or in teams of any size) prepare a brief presentation
on any paper or work you choose, classic or recent, in an area at
least distantly related to concurrency. You do not give a lecture
to the class; instead, you prepare a few minutes' worth of slides,
diagrams, animation or films (any or all of those) and stand next to
a handwritten poster announcing your topic. Visitors come to you if
they wish, and ask whatever they want. You answer as best you can.
Participation is entirely voluntary and carries no credit towards
your grade. You do a presentation if you wish, and visit the
exhibition if you wish. The purpose is only to give you an occasion
to get (back) into the habit of finding out something and telling
others about it.
We will decide when and where to hold the exhibition once we know
how many students would like to take part, so please express your
interest via the Google group. If you wish, we can help you pick a
paper. We thought Monday two weeks from now during the lab session
would be a good time, so we would like to hear from you soonish.
A new schedule for the verbal lab demos was agreed at the meeting
yesterday with the student representatives. It separates the
supervision sessions and the demos, thus ensuring that you know when
you can get help.
Lab supervision will remain at the original time slots:
Mondays 15:15 - 17:00
Thursdays 10:00 - 11:45
Verbal demos will be held during the extra time slots:
Mondays 17:15 - 19:00
Fridays 10:00 - 11:45
Note: During these demo slots, any time not booked for demos can be
used to help you with the labs.
NOTE: This means that those of you who signed up for a demo on
Thursday will need to come to the friday or monday sessions. Many
apologies for the inconvenience. Schedule-wise, the most important
thing is to meet the deadline on Fire.
22nd of September
20th of September
On Thursday 25th of September we will have a guest lecture by Cons T
Åhs from Cisco, on Erlang programming. It will take place as usual at
08:00 in room EB.