From: Jurgen Vinju
To:
Date: Fri, 14 Oct 2005 15:08:07 +0200
Subject: PEM talks announcement

   Dear colleagues,

   After  a long long break, we have a PEM! You are invited to attend the
   following presentation.

   This announcement can be found at <http://www.cwi.nl/~pem>

                          Epistemic Model Checking

   Date:    20.10.05
   Time:    10:00
   Venue:   F.009 (UvA)
   Speaker: Jan van Eijck
   Title:   Epistemic Model Checking

   Epistemic  logic  is  the logic of knowledge of groups of agents about
   the state of world and about each others knowledge of the state of the
   world. Dynamic epistemic logic is the study of how states of knowledge
   of  groups  of  agents  evolve  over  time,  as  the result of acts of
   communication  such  as  making  public announcements, passing private
   messages, revealing secrets, telling lies, and so on.

   We  will  first  present  some  famous examples of epistemic reasoning
   about  the  effects  of  communication,  some of them probably already
   known  to  the  audience in the guise of logical puzzles, and show how
   these are modelled in dynamic epistemic logic.

   Next,  we  will  demonstrate  a tool that can be used for showing what
   goes  on  during  a series of epistemic updates: the dynamic epistemic
   modeling   tool  DEMO.  DEMO  allows  (among  other  things)  modeling
   epistemic  updates,  graphical  display  of  update results, graphical
   display  of  acts  of  communication,  formula evaluation in epistemic
   models.  We will demonstrate how DEMO formula evalution can be used as
   a   model   checking   technique  for  verification  of  communication
   protocols.

   Some background:

   http://www.cwi.nl/~jve/demo/DEMO.pdf

   http://www.cwi.nl/~jve/papers/05/tfp/meoc.pdf

   http://homepages.cwi.nl/~jve/papers/05/lcc/lcc.pdf
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________