Days: Monday, August 1st Tuesday, August 2nd Wednesday, August 3rd Thursday, August 4th Friday, August 5th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
| 09:15 | Welcome |
| 09:30 | Advancing Science with Platforms and Driving Scenarios: a perspective from a researcher at Microsoft Research (abstract) |
| 11:00 | Managing a life that also includes research (abstract) |
| 11:45 | How logic-based approaches can be used in data management |
Lunches will be held in Taub hall and in The Grand Water Research Institute.
| 14:00 | Navigating through the academic jungle (abstract) |
| 14:45 | From PhD to industry: A recent graduate’s perspective (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
| 11:10 | Information Structures for Privacy and Fairness (abstract) |
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
| 17:30 | Thinking Fast and Slow in AI (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)
View this program: with abstractssession overviewtalk overviewside by side with other conferences
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
| 16:00 | Complexity Measures for Reactive Systems (abstract) |
View this program: with abstractssession overviewtalk overviewside by side with other conferences
| 09:15 | Welcome PRESENTER: Marijana Lazić |
| 09:30 | Formal methods for Machine Learning |
| 11:00 | How to be an Abstraction Engineer (abstract)  |
| 11:45 | How to Give a Good (Research) Talk |
Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).
| 14:00 | On Time and Space (of Humans) (abstract) |
| 14:45 | From PhD to industry: A recent graduate’s perspective (abstract) |