FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Blanchette, Jasmin Christian	Hands-on: Elevator pitch
C
Cook, Byron	Learning from failure
D
David, Cristina	Should I join a startup?
G
Grumberg, Orna	Model checking and its applications
M
Melham, Tom	How to attend a conference?
P
Paulson, Lawrence C.	How to get a paper accepted?
S
Shankar, Natarajan	Computation and inference
Shoham, Sharon	Verification of infinite-state systems using decidable logic

Disclaimer | Powered by EasyChair Smart Program