Subject: PEM Talk Dennis Dams, next Wednesday 13.00 hrs
From: "H.J.S. Basten" 
To: pem-list , sen-list
Bcc: "Dams, Dennis (Dennis)"
Date: Mon, 20 Sep 2010 14:57:34 +0200

Dear all,

Next Wednesday September 22, Dennis Dams from Bell Labs will be visiting
SEN1. At 1pm he will give a talk about a variety of his recent
activities. You are cordially invited to attend.


Title: Immersion (and more) at Bell Labs

Abstract:

This talk will highlight several activities at Alcatel-Lucent's Bell
Laboratories, in the areas of software analysis, transformation, and
verification, as well as the ongoing interdisciplinary Bell Labs theme
around enhancing tools for video-conferencing and tele-working.

Bio:

Dennis Dams has a background in formal methods. At Eindhoven University
(NL) and Bell Labs, Murray Hill (USA), he has developed theory and tools
for the verification and analysis of programs. More recently, he has
been working in projects aimed at developing a platform for the creation
of networked applications that involve immersive communication.

Time: September 24, 13:00 hrs

Location: Room L016, CWI

Hope to see you all there!

Best regards,
Bas Basten

Subject: PEM Talk Dennis Dams, next Wednesday 13.00 hrs
From: "H.J.S. Basten"
To: pem-list, sen-list
Bcc: "Dams, Dennis (Dennis)"
Date: Mon, 20 Sep 2010 15:04:20 +0200

Dear all,

The previous invitation contained an incorrect date, the talk will be
held on Wednesday September 22. I hope to see you then.

Regards,
Bas Basten