LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
PROGRAM FOR THURSDAY, JULY 7TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
09:00-09:25
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
09:25-09:50
Brendan Fong, Paolo Rapisarda, Pawel Sobocinski
09:50-10:15
Sarah Loos, André Platzer
10:15-10:40
Ventsislav Chonev, Joel Ouaknine, James Worrell
09:00-09:25
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank Wood
09:25-09:50
Ross Duncan, Kevin Dunne
10:15-10:40
Paul-André Melliès, Noam Zeilberger
11:10-12:10 Invited Talk: Maurice Herlihy
13:40-14:05
Kuen-Bang Hou Favonia, Eric Finster, Daniel R. Licata, Peter Lumsdaine
14:30-14:55
Guilhem Jaber, Nikos Tzevelekos
15:50-17:15 Awards Session