| 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 | |||||||||||||