Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A C D F I L M P R S T W Y

A
abstraction	How to be an Abstraction Engineer
Academic Career	Navigating through the academic jungle
Academic Environment	Managing a life that also includes research
Advice	How to Give a Good (Research) Talk From PhD to industry: A recent graduate’s perspective Navigating through the academic jungle From PhD to industry: A recent graduate’s perspective
Applications	How logic-based approaches can be used in data management
automated reasoning	From PhD to industry: A recent graduate’s perspective
C
computing	How to be an Abstraction Engineer
D
Data Management	How logic-based approaches can be used in data management
F
formal methods	Formal methods for Machine Learning
I
Industry	Advancing Science with Platforms and Driving Scenarios: a perspective from a researcher at Microsoft Research From PhD to industry: A recent graduate’s perspective
L
Logic	How logic-based approaches can be used in data management
M
machine learning	Formal methods for Machine Learning
Mathematics	How to be an Abstraction Engineer
Mentoring	How to Give a Good (Research) Talk From PhD to industry: A recent graduate’s perspective Navigating through the academic jungle From PhD to industry: A recent graduate’s perspective Welcome Welcome
P
Personal Advice	Managing a life that also includes research
Personal Experience	Advancing Science with Platforms and Driving Scenarios: a perspective from a researcher at Microsoft Research
Personal Lessons	On Time and Space (of Humans)
R
Research Career	Advancing Science with Platforms and Driving Scenarios: a perspective from a researcher at Microsoft Research
S
safety	Formal methods for Machine Learning
T
Talks	How to Give a Good (Research) Talk
Time Management	On Time and Space (of Humans)
W
Welcome	Welcome Welcome
Work-life Balance	On Time and Space (of Humans)
Workshop	Welcome Welcome
Y
Young Researcher	Managing a life that also includes research