Programa

Ayuda

8/7/2002	Lunes
	-	Sala 1	Sala 2
9:0 - 9:50		Invited Talk
10:0 - 11:15		Track A(1)	Track A(2)
11:15 - 11:35	Caf?
11:35 - 12:0		Formal opening ceremony
12:0 - 12:50		Track A(3)	Track A(4)
12:50 - 13:40		Track A(5)	Track A(6)
13:40 - 15:0	Almuerzo
15:0 - 15:45		Conferencia invitada
16:0 - 17:15		Track A(7)	Track A(8)
17:15 - 17:40	Caf?
17:40 - 18:55		Track A(9)	Track A(10)
20:30 - 22:0	Welcome reception

9/7/2002	Martes
	-	Sala 1	Sala 2
9:0 - 9:50		Conferencia invitada
10:0 - 11:15		Track A(11)	Track B(1)
11:15 - 11:40	Caf?
11:40 - 12:30		Track A(12)	Track B(2)
12:40 - 13:30		Track A(13)	Track B(3)
13:30 - 15:0	Almuerzo
15:30 - 16:20		Track A(14) Best paper and Best Student Paper	Track B(4) Best Student Paper
16:35 - 17:25		Premio G?edel
17:30 - 18:15		Premio EACTS
18:30 - 19:30		Asamblea EACTS

10/7/2002	Miercoles
	-	Sala 1	Sala 2
9:0 - 9:50		Conferencia invitada
10:0 - 11:15		Track A(15)	Track B(5)
11:15 - 11:55	Caf?
11:40 - 12:30		Track A(16)	Track B(6)
12:40 - 13:30		Track A(17)	Track B(7)
13:30 - 15:0	almuerzo
15:30 - 16:45		Track A(18)	Track A(19)
16:45 - 17:10	Caf?
17:10 - 18:25		Track A(20)	Track A(21)
21:0 - 0:0	Cena de gala

11/7/2002	Thursday
	-	Sala 1	Sala 2
0:0 - 0:0			Global Computing Event
8:45 - 9:45		Conferencia invitada
10:30 - 11:45		Track B(8)
11:45 - 12:10	Caf?
12:10 - 13:0		Track A(22)
13:0 - 14:30	Almuerzo
14:30 - 15:55		Track A(23)
16:0 - 16:50		Track A(24)
16:50 - 17:10	Caf?
17:10 - 18:25		Track A(25)

12/7/2002	Viernes
	Sala 1	Sala 2	Sala B	Sala 5	Salom Blanco
0:0 - 0:0	Computability and Complexity in Analysis (CCA 2002)	7th International Workshop on Formal Methods for Industrial Critical Systems	Foundations of Wide Area Network Computing	Unification in Non-Classical Logics	Formal methods and component interaction

13/7/2002	s?bado
	Sala 1	Sala 2	Sala B	Sala 5		Salom Blanco
0:0 - 0:0	Computability and Complexity in Analysis	7th International Workshop on Formal Methods for Industrial Critical Systems	Foundations of Wide Area Network Computing	Unification in Non-Classical Logics	Algorithmic Methods and Models for Optimization of Railways (ATMOS 2002)	Formal methods and component interaction

Fichero con el Programa de la conferencia

[Principal] [Programa] [Articulos aceptados] [Enviar Articulos] [Noticias] [Fechas Importantes] [Informacion] [Conferenciantes Invitados] [Enlaces] [Contacte con Nosotros] [Patrocinadores] [Peticion de Articulos] [Organizacion] [Comite de Programa] [Talleres y tutoriales] [Ayuda]