|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
| Ugo Dal Lago Pages in this Program All Proceedings Papers | DCM DCM Pre-proceedingsd | DCM DCM Pre-proceedingsd: Papers with Abstracts | DCM on Sunday, July 8th | DCM Program | FSCD on Monday, July 9th | FSCD Program | GS on Sunday, July 8th | GS Program | LCC on Friday, July 13th | LCC Program | LICS on Wednesday, July 11th | LICS Program | LMW on Sunday, July 8th | LMW Program | Paper: On Higher-Order Probabilistic Computation | Program | Program for Friday, July 13th | Program for Monday, July 9th | Program for Sunday, July 8th | Program for Wednesday, July 11th |
|
|
|