FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
MENTORING WORKSHOP PROGRAM

Days: Monday, August 1st Tuesday, August 2nd Wednesday, August 3rd Thursday, August 4th Friday, August 5th

Monday, August 1st

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

08:30-09:00Coffee & Refreshments
09:15-10:30 Session 27
Location: Taub 7
09:15
Welcome
09:30
Advancing Science with Platforms and Driving Scenarios: a perspective from a researcher at Microsoft Research (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 31G
Location: Taub 7
11:00
Managing a life that also includes research (abstract)
11:45
How logic-based approaches can be used in data management
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 34H
Location: Taub 7
14:00
Navigating through the academic jungle (abstract)
14:45
From PhD to industry: A recent graduate’s perspective (abstract)
15:30-16:00Coffee Break
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
Tuesday, August 2nd

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

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:10-12:10 Session 48: Keynote
11:10
Information Structures for Privacy and Fairness (abstract)
12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

15:30-16:00Coffee Break
Wednesday, August 3rd

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

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

15:30-16:00Coffee Break
18:30-20:30 Walking tour (at Haifa)

pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)

Thursday, August 4th

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

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

15:30-16:00Coffee Break
16:00-17:00 Session 70: Plenary
16:00
Complexity Measures for Reactive Systems (abstract)
Friday, August 5th

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

08:30-09:00Coffee & Refreshments
09:15-10:30 Session 74
Location: Taub 6
09:15
Welcome
PRESENTER: Marijana Lazić
09:30
Formal methods for Machine Learning
10:30-11:00Coffee Break
11:00-12:30 Session 76H
Location: Taub 6
11:00
How to be an Abstraction Engineer (abstract)
11:45
How to Give a Good (Research) Talk
12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

14:00-15:30 Session 78E
Location: Taub 6
14:00
On Time and Space (of Humans) (abstract)
14:45
From PhD to industry: A recent graduate’s perspective (abstract)
15:30-16:00Coffee Break