FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Alur, Rajeev	Formal methods for Machine Learning
B
Bjørner, Nikolaj	Advancing Science with Platforms and Driving Scenarios: a perspective from a researcher at Microsoft Research
C
Cohen, Liron	Managing a life that also includes research
F
Fortin, Marie	Welcome
H
Haase, Christoph	Navigating through the academic jungle
L
Lazić, Marijana	Welcome
P
Peterfreund, Liat	How logic-based approaches can be used in data management
R
Rozier, Kristin Yvonne	On Time and Space (of Humans)
S
Shankar, Natarajan	How to be an Abstraction Engineer
Silva, Alexandra	How to Give a Good (Research) Talk
Stoilkovska, Ilina	From PhD to industry: A recent graduate’s perspective From PhD to industry: A recent graduate’s perspective
U
Urban, Caterina	Welcome

Disclaimer | Powered by EasyChair Smart Program