NICTA Formal Methods Program 

           Workshop on symbolic methods for uncertainty 

           Monday May 29 

           Level 1, 223 Anzac Parade, Kensington, Sydney 

           Preliminary Program 


       Intending participants, please RSVP to Belinda.Selig@nicta.com.au 


9:00 Arrivals

9:30 Session 1: Modelling Uncertainty in Wireless Networks  
  
  Annabelle McIver   "Formalising uncertainties in wireless networks"

  Peng Gao           "Formal Verification and Simulation for Performance Analysis for 
                      Probabilistic Broadcast Protocols" 

10:30 coffee break 

11:00 Session 2: Interactions of Probability and Non-determinism 

  Yuxin Deng (work with Rob van Glabbeek/Carroll Morgan) 
                     "Fully abstract semantics of CSP with probabilistic 
                      and nondeterministic choice." 

  Ron van der Meyden "Preservation of Epistemic Properties in Security Protocol Implementations"

12:00 lunch 

1:00 Session 3: The duality of planning and model checking  

  Ansgar Fehnker     "An overview of Directed Model Checking" 

  Jussi Rintannen    "Approaches to planning under partial observability" 

  Peter Gammie       "Model Checking & synthesis for the Logic of Knowledge" 


2:30 coffee break 

3:00 Session 4: Algorithmic techniques for specific properties  

  Chenyi Zhang       "Algorithmic Methods for Information Flow"        

  Jussi Rintannen    "Symbolic approaches to diagnosability testing" 

4:00 Sesion 5:  Discussion 

5:00 close