News

Semantics & Verification, Spring 2006

---

• April 20th, 2006.
  Tomorrow is the last lecture. If you have any questions regarding the course, you are more than welcome to ask. There will be enough space for answering your questions. Don't forget that there is the last tutorial (a very interesting one!!!) in the morning so bring your laptops.
  
  
• April 11th, 2006.
  The detailed list of examn questions is now available under Course Info. At the last lecture on April 21, Jiri will go through the list and answer any question you may have.
  
  
• April 8th, 2006.
  The deadline for handing in solutions to the 2nd miniproject, the "Gossiping Girls", has now passed. Solutions are received from students on the list here. Please check that youi number is on the list. If it ist not there, and you believe it should be, pleas contact me (Kim: kgl@cs.aau.dk) as soon as possible.
  
  
• April 6th, 2006.
  The exercises for lecture 13 as well as slides for lecture 14 are now out. Note that both the tutorial and the lecture tomorrow will take place in the usual lecture room B3-104.
  
  
• April 4th, 2006.
  The slides for lecture 13 are now out. Both the morning tutorial (focusing on second miniproject) as well as the lecture will take place in KS3 4.110!!.
  
  
• April 1st, 2006.
  The reading material for next lecture (lecture 13) is now to be found on the lecture plan. Note that the lecture will take place in KS3 4.110!!. During the preceeding exercises/tutorial you should finish the work on the second mini project and write down the report. The location(s) for this will be announced on asap..
  
  
• March 23th, 2006.
  After a number of requests we have now succeeded in getting the two lecture rooms E3-209 and E3-109 (Fredrik Bajersvej 7E) for Fridays Miniproject. So DO NOT show up in KS3 1.104. We will assist you in these two lecture rooms plus the 3 group rooms in E3-2xx.
  
  
• March 22th, 2006.
  The second Mini Project, The Gossiping Girls, is now available on the course webpage. Deadline for handing in solution is Friday April 7 at 23.59 (as usual). Note that according to the schedule the SV course is again placed in KS3 1.104 on Friday. I will try to see if we can get back to the lecture room in Fredrik Bajersvej. However, if you do not hear anything we will meet 8.15 in KS3 -- please bring extension cords (forlængerledninger) for your laptops.
  
  
• March 20th, 2006.
  Slides (including printer friendly 3x2 version) are now out for Wednesday Lecture 11. Not all slides may actually be covered during the lecture. Please go to the UPPAAL homepage (www.uppaal.com) and download version 3.4.11. Try it out on the examples included as demos.
  
  
• March 20th, 2006.
  Reports accepted for the first mini project are listed here. Verify that your student number is on the list and notify the lecturer (Jiri Srba) about possible inconsistences. If your number is not on the list, you will not be given pensum dispensation for the corresponding question about "Alternating bit protocol and its modelling in CWB".
  
  
• March 17th, 2006.
  Solutions from todays tutorial (exercise set 9) is now out. Also plan and reading material for Lecture 11 is now to be found at the couse web-page.
  
  
• March 15th, 2006.
  The exercise set for the tutorial on Friday morning is out now.
  
  
• March 14th, 2006.
  For those of you wanting to have a preview of next lecture: plan and reading material for Lecture 10 is now to be found at the course web-page.
  
  
• March 12th, 2006.
  The deadline for handing in the first mini project is this Friday, March 17th, at 23:59! More details are here.
  
  
• March 8th, 2006.
  Kim G. Larsen has overtaken the course and his first lecture starts this Friday.
  
  
• Older news are here.