DIMACS Workshop on Partial Order Methods in Verification (POMIV): Program


                             Preliminary schedule:


	Tuesday, July 23
------------------------------------------------------------------- 
       19:00 - 21:00 Wine and cheese reception
------------------------------------------------------------------- 
------------------------------------------------------------------- 


DAY 1:	Wednesday, July 24
------------------------------------------------------------------- 
        8:45 - 9:00
Opening of the workshop: Welcome and information
------------------------------------------------------------------- 

SESSION 1      Trace Theory                      Chair: V. Pratt

        9:00 - 9:50       ADDRESS
A. Mazurkiewicz: A prefix function view of states and events

        9:50 - 10:20           
V. Diekert: Infinite traces.

------------------------------------------------------------------- 
        10:20 - 10:40           BREAK
------------------------------------------------------------------- 

SESSION 2       States and Locations              Chair: A. Emerson

        10:40 - 11:30     ADDRESS
W. Thomas: Automata theory over partial orders.

- - - - 11:30 - 11:40 - - - - - BREAK - - - - -

        11:40 - 12:10        
I. Castellani: A survey of location based semantics.

        12:10 - 12:40       
M. Shields: Algebraic manipulations and vector languages.

------------------------------------------------------------------- 
        12:40 - 14:00           LUNCH
------------------------------------------------------------------- 

SESSION 3       Partial Order Verification   Chair: P.S.  Thiagarajan

        14:00 - 14:30      
S. Katz: Proving Execution Sequences Equivalent Under a Partial Order.

        14:30 - 15:00     
W. Penczek: A complete axiomatization of a first-order temporal logic
    over trace systems.

        15:00 - 15:30    
W. Reisig: The notion of rounds in distributed algorithms and
  their correctness proof.

------------------------------------------------------------------- 
        BREAK: 15:30-16:00
------------------------------------------------------------------- 

SESSION 4       Semantics                       Chair: M. Nielsen

        16:00 - 16:30    
V. Pratt: From partial orders to partial distributive lattices.

        16:30 - 17:20     ADDRESS
G. Winskel: Presheaf models for concurrency.

------------------------------------------------------------------- 
------------------------------------------------------------------- 

DAY 2:  Thursday, July 25

SESSION 5      Models of Concurrency             Chair: G. Winskel

        9:00 - 9:50       ADDRESS
M. Nielsen: Partial Order Games and Logics.

        9:50 - 10:20     
M.Z. Kwiatkowska: On topological hierarchies of temporal properties.

------------------------------------------------------------------- 
        10:20 - 10:40           BREAK
------------------------------------------------------------------- 

SESSION 6       Concurrency Theory                 Chair: W. Thomas

        10:40 - 11:30     ADDRESS
P.S. Thiagarajan: Branching Time Partial Order Based Behaviors.

- - - - 11:30 - 11:40 - - - - - BREAK - - - - 

        11:40 - 12:10     
A. Rabinowicz: A solution of an interleaving decision problem
    by a partial order technique.

        12:10 - 12:40    
R. Alur: Partial-order logics: complexity and expressiveness.
 
------------------------------------------------------------------- 
        12:40 - 14:00           LUNCH
------------------------------------------------------------------- 

SESSION 7       Partial Order Verification      Chair: G. Holzmann

	14:00 - 14:30	
A. Valmari: Stubborn Set Methods for Process Algebras.

	14:30 - 15:00	
D. Peled: Verification using representatives.

	15:00 - 15:30  
M. Pistore: History Dependent Verification for Partial Order Systems.

------------------------------------------------------------------- 
	15:30 - 16:00		BREAK
------------------------------------------------------------------- 

SESSION 8       Models of Concurrency        Chair: A. Mazurkiewicz

	16:00 - 16:30	 
G. Rozenberg: Proportion Systems.

	16:30 - 17:20	  ADDRESS
R. van Glabbeek: Observing partial orders in concurrent systems.

------------------------------------------------------------------- 
        WORKSHOP DINNER
------------------------------------------------------------------- 
------------------------------------------------------------------- 
 
DAY 3:  Friday, July 26

SESSION 9      Branching Time                        Chair: D. Peled

        9:00 - 9:50       ADDRESS 
A. Emerson: Branching Time Temporal Logics Methods for the Verification
   of Concurrent Systems.

        9:50 - 10:20   
P. Wolper: Partial-Order Methods for Model Checking: From
    Linear Time to Branching Time.

------------------------------------------------------------------- 
        10:20 - 10:40           BREAK
------------------------------------------------------------------- 

SESSION 10      Practical Methods             Chair: R. van Glabbeek

        10:40 - 11:10   
P. Godefroid: On the Costs and Benefits of using Partial-Order
      Methods for the Verification of Concurrent Systems.

        11:10 - 11:40   
E. Best: Partial Order Verification with PEP.

        11:40 - 12:10  
D. Luckham: Rapide: A Language and Toolset for Simulation of
	Distributed Systems by Partial Orderings of Events.

------------------------------------------------------------------- 
			   END OF CONFERENCE
------------------------------------------------------------------- 




Previous: Participation
Next: Registration
Index
DIMACS Homepage
Contacting the Center
Document last modified on August 24, 1998.