FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jean-Francois Raskin
Organization: Université Libre de Bruxelles (U.L.B.)
Web page: http://www.ulb.ac.be/di/ssd/jfr
Pages in this Program
All Proceedings Papers
LICS on Monday, July 9th
LICS PDF files
LICS PDF files: Papers with Abstracts
LICS Program
MoRe on Friday, July 13th
MoRe Papers
MoRe Papers: Papers with Abstracts
MoRe Program
Paper: Beyond admissibility: Dominance between chains of strategies
Paper: Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives
Paper: Parameterized complexity of games with monotonically ordered omega-regular objectives
Paper: Rational Synthesis Under Imperfect Information
Paper: Safe and Optimal Scheduling of Hard and Soft Tasks
Program
Program for Friday, July 13th
Program for Monday, July 9th
Program for Saturday, July 7th
SR on Saturday, July 7th
SR Program
SR SR18 papers
SR SR18 papers: Papers with Abstracts