CombLog'04, IST, Lisbon, Portugal, July 28-30 Room PC02.1
Wednesday Thursday Friday
08h30m
  Registration
09h00m A Sernadas P Mateus A Zanardo
       
D Gabbay J Halpern D de Jongh
     
     
M Finger L Vigan˛ P Veloso
10h30m      
       
11h00m      
  C Sernadas A Zanardo  
    F Wolter
C Caleiro A Sernadas  
12h00      
 
14h00m J Goguen M Coniglio W Carnielli
      M Coniglio
D Pigozzi A Tarlecki  
    J Marcos
     
V Verd˙ T Mossakowski J Bueno
15h30m      
       
16h00m      
  JY BÚziau    
  J Goguen G Sandu
A Costa-Leite    
17h00m      
V Costa R Diaconescu
17h30m    
20h00m
      Formal dinner