FLoC '02 - Friday July 26th

Friday July 26th

All sessions
See also the by-slot program

IMLA	PAPM-PROBMIV	LL	FCS	VERIFY	CiAD	UNIF	RV	LFM	ITRS
							08:30-10:30 in Aud. 9 RV #1
08:50-10:30 in Aud. 2 IMLA #1 (w. invited talk)	08:50-09:50 in Aud. 3 PAPM-PROBMIV #5: Invited talk	09:00-10:40 in Aud. 4 LL #3 (invited lectures)	09:00-10:30 in Aud. 6 FCS+VERIFY #5: FCS Invited talk		09:00-10:30 in Aud. 7 CiAD #5 (w. invited talk)	09:00-10:30 in Aud. 8 UNIF #4 (w. invited talk)		09:00-10:30 in Aud. 10 LFM #1	08:45-10:30 in A101 ITRS #1
08:50-10:30 in Aud. 2 IMLA #1 (w. invited talk)	09:50-10:30 in Aud. 3 PAPM-PROBMIV #6: Security	09:00-10:40 in Aud. 4 LL #3 (invited lectures)	09:00-10:30 in Aud. 6 FCS+VERIFY #5: FCS Invited talk		09:00-10:30 in Aud. 7 CiAD #5 (w. invited talk)	09:00-10:30 in Aud. 8 UNIF #4 (w. invited talk)		09:00-10:30 in Aud. 10 LFM #1	08:45-10:30 in A101 ITRS #1
R E F R E S H M E N T S
11:00-12:30 in Aud. 2 IMLA #2	11:00-12:20 in Aud. 3 PAPM-PROBMIV #7: Model checking	11:00-12:30 in Aud. 4 LL #4	11:00-12:30 in Aud. 5 FCS #6: Programming Language Security	11:00-12:30 in Aud. 6 VERIFY #6: Specification and Verification	11:00-12:30 in Aud. 7 CiAD #6 (w. invited talk)	11:00-12:30 in Aud. 8 UNIF #5	11:00-12:30 in Aud. 9 RV #2 (w. invited talk)	11:00-12:30 in Aud. 10 LFM #2	11:00-12:30 in A101 ITRS #2
L U N C H
14:00-15:30 in Aud. 2 IMLA #3 (w. invited talk)	14:00-15:20 in Aud. 3 PAPM-PROBMIV #8: Short presentations	14:00-15:30 in Aud. 4 LL #5	14:00-15:40 in Aud. 6 FCS+VERIFY #7 (w. panel)		14:00-15:30 in Aud. 7 CiAD #7 (w. invited talk)	14:00-15:30 in Aud. 8 UNIF #6 (w. invited talk)	14:00-15:30 in Aud. 9 RV #3	14:00-15:30 in Aud. 10 LFM #3	14:00-15:30 in A101 ITRS #3 (w. invited talk)
R E F R E S H M E N T S
16:00-17:00 in Aud. 2 IMLA #4	16:00-16:40 in Aud. 3 PAPM-PROBMIV #9: Refinement strategies	15:50-16:50 in Aud. 4 LL #6			16:00-17:00 in Aud. 7 CiAD #8 (invited talk)	16:00-17:45 in Aud. 8 UNIF #7	16:00-17:00 in Aud. 9 RV #4	16:00-17:30 in Aud. 10 LFM #4: System Demonstrations	16:00-17:30 in A101 ITRS #4
16:00-17:00 in Aud. 2 IMLA #4	16:40-16:50 in Aud. 3 PAPM-PROBMIV Closing and Farewell	15:50-16:50 in Aud. 4 LL #6			16:00-17:00 in Aud. 7 CiAD #8 (invited talk)		16:00-17:00 in Aud. 9 RV #4
17:00-18:00 in Aud. 1 Keynote address (plenary talk)							17:00-18:00 in Aud. 1 Keynote address (plenary talk)