FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
LMML 2022 PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-12:40 Session 10: Spotlight talks
12:30
MCP: Capturing Big Data by Satisfiability (abstract)
PRESENTER: Miki Hermann
15:30-16:00Coffee Break