Thursday July 25th

All sessions
See also the by-slot program


LICSIDAYPAPM-PROBMIVLLFCSVERIFYCiADUNIFCADE-T1CADE-T2 CADE-T3WG16HYLO

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:25-10:30 in Aud. 8
UNIF #1 (w. invited talk)

09:30-10:30 in Aud. 3
PAPM-PROBMIV #1: 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

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