From: H.J.S. Basten
To:
Date: Tue, 19 Aug 2008 15:04:39 +0200
Subject: [pem-list] PEM Talks 25-8 rescheduled to 29-8

Dear all,

Due to a number of conflicting events the previously announced PEM
talks of next Monday are rescheduled to Friday, August 29. The location
and time are the same: room M279 (CWI) at 10:00 hrs. We hope to see you
all there.

Kind regards,
Bas Basten


Talk 2: First-Order Logic as a Lightweight Software Specification
Language
Speaker: Michel Rijnders

Abstract: This master's project Software Engineering investigated
first-order logic's suitability for lightweight software specification.
First-order logic was compared with Alloy (http://alloy.mit.edu/). Since
automatic analysis is an important part of lightweight software
specification, the study also involved extending the Paradox model
finder (http://www.cs.chalmers.se/~koen/folkung/) to offer functionality
similar to that of the Alloy Analyzer.