FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Thomas Henzinger
Organization: IST Austria
Web page: http://www.ist.ac.at/~tah
Pages in this Program
All Proceedings Papers
CAV All Papers
CAV All Papers: Papers with Abstracts
CAV on Sunday, July 15th
CAV Program
LICS on Thursday, July 12th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
Paper: A Theory of Register Monitors
Paper: Infinite-Duration Richman Bidding Games
Paper: Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes
Paper: Space-time Interpolants
Program
Program for Sunday, July 15th
Program for Sunday, July 8th
Program for Thursday, July 12th
SR on Sunday, July 8th
SR Program
SR SR18 papers
SR SR18 papers: Papers with Abstracts