FLoC '02 - Thursday July 25th

Thursday July 25th

All sessions
See also the by-slot program

LICS	IDAY	PAPM-PROBMIV	LL	FCS	VERIFY	CiAD	UNIF	CADE-T1	CADE-T2 CADE-T3	WG16	HYLO
				08:45-09:00 in Aud. 5 FCS Opening Remarks	08:45-10:30 in Aud. 6 VERIFY #1: Applications of ATP in Verification
09:00-10:30 in Aud. 1 LICS #14 (w. invited tutorial)	09:00-10:30 in Aud. 2 IDAY #1 (w. invited talks)	09:10-09:30 in Aud. 3 PAPM-PROBMIV Welcome and Opening		09:00-10:30 in Aud. 5 FCS #1: Foundations of Security		09:00-10:30 in Aud. 7 CiAD #1 (w. invited talk)		09:00-10:30 in Aud. 9 CADE-T1 #1: ACL2 Architecture and Applications	09:00-10:30 in Aud. 10 CADE-T3	09:00-10:30 in A101 WG16 #1	09:00-10:30 in A102 HYLO #1 (w. invited talk)
		09:10-09:30 in Aud. 3 PAPM-PROBMIV Welcome and Opening					09:25-10:30 in Aud. 8 UNIF #1 (w. invited talk)
		09:30-10:30 in Aud. 3 PAPM-PROBMIV #1: Invited talk					09:25-10:30 in Aud. 8 UNIF #1 (w. invited talk)
R E F R E S H M E N T S
11:00-12:30 in Aud. 1 LICS #15	11:00-12:30 in Aud. 2 IDAY #2 (invited talks)	11:00-12:20 in Aud. 3 PAPM-PROBMIV #2: Numerical analysis algorithms	11:00-12:40 in Aud. 4 LL #1 (invited lectures)	11:00-12:30 in Aud. 6 FCS+VERIFY #2: Logical Approaches		11:00-12:30 in Aud. 7 CiAD #2 (w. invited talk)	11:00-12:30 in Aud. 8 UNIF #2	11:00-12:30 in Aud. 9 CADE-T1 #2: ACL2: The Method Demo	11:00-12:30 in Aud. 10 CADE-T3	11:00-12:30 in A101 WG16 #2	11:00-12:30 in A102 HYLO #2
L U N C H
14:00-15:30 in Aud. 1 LICS #16	14:00-15:30 in Aud. 2 IDAY #3 (w. invited talk)	14:00-15:20 in Aud. 3 PAPM-PROBMIV #3: Symbolic computation		14:00-15:30 in Aud. 6 FCS+VERIFY #3: VERIFY Invited talk		14:00-15:30 in Aud. 7 CiAD #3 (w. invited talk)	14:00-15:30 in Aud. 8 UNIF #3	14:00-15:30 in Aud. 9 CADE-T1 #3: ACL2: Flying Demo	14:00-15:30 in Aud. 10 CADE-T2	14:00-15:30 in A101 WG16 #3: Business meeting	14:00-15:30 in A102 HYLO #3 (w. invited talk)
R E F R E S H M E N T S
16:00-17:00 in Aud. 1 LICS #17 (w. short presentations)	16:00-17:00 in Aud. 2 IDAY #4 (invited talk)	16:00-17:20 in Aud. 3 PAPM-PROBMIV #4: Non-interleaving models	16:00-17:30 in Aud. 4 LL #2	16:00-17:00 in Aud. 6 FCS+VERIFY #4: Verification of Security Protocols		16:00-17:30 in Aud. 7 CiAD #4 (w. invited talk)		16:00-17:30 in Aud. 9 CADE-T1 #4: ACL2: Additional Topics	16:00-17:30 in Aud. 10 CADE-T2	16:00-17:00 in A101 WG16 #4	16:00-17:30 in A102 HYLO #4
			16:00-17:30 in Aud. 4 LL #2			16:00-17:30 in Aud. 7 CiAD #4 (w. invited talk)		16:00-17:30 in Aud. 9 CADE-T1 #4: ACL2: Additional Topics	16:00-17:30 in Aud. 10 CADE-T2		16:00-17:30 in A102 HYLO #4

		18:30-19:30 in Aud. 3 PAPM-PROBMIV PAPM-ProbMiV business meeting