Day 1 (Nov. 28)
8:30 to 9:00 Registration
9:00 to 10:00
Chair: Nan Guan 		Conference Opening
Keynote Talk: Designed for Update
by Wang Yi
10:00 to 10:30 Break
10:30 to 12:00
Chair: Xuemei Peng		 Regular Session 1
1.1 Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm
1.2 Improving the Analysis of GPC in Real-Time Calculus
1.3 A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms
12:00 to 1:30 Lunch
1:30 to 3:30
Chair: Jasdeep Singh 		Invited Tutorial: On Solving String Constraints
by Yu-Fang Chen
3:30 to 4:00 Break
4:00 to 5:30
Chair: Yu-Yang Lin 		Regular Session 2
2.1 Simplifying the analysis of software design variants with a colorful Alloy
2.2 Response time analysis of typed DAG tasks for G-FP scheduling
2.3 A Verified Specification of TLSF Memory Management Allocator using State Monads
6:00 to 8:00 Conference Banquet
Day 2 (Nov. 29)
9:30 to 10:30
Chair: Yu-Fang Chen 		Keynote Talk: The Good, the Bad and the Ugly: a Practitioner's Perspective on Formal Methods
by Haibo Chen
10:30 to 11:00 Break
11:00 to 12:00
Chair: Yue Tang 		Regular Session 3 :
3.1 Mixed Criticality Scheduling of Probabilistic Real-Time Systems
3.2 A Bounded Model Checking Technique for Higher-Order Programs
12:00 to 1:30 Lunch
1:30 to 3:30
Chair: Alexis Linard 		Invited Tutorial: How to Use Formal Methods to Design Better Protocols for Industry
by Peter Hoefner
3:30 to 4:00 Break
4:00 to 5:00
Chair: Peter Hoefner 		Keynote Talk: The Rise of Model Counting: A Child of SAT Revolution
by Kuldeep Meel
6:00 to 8:00 Conference Dinner


Call For Paper
Important Dates

Abstract & Paper Submission: Jun. 21, 2019 (AoE)

Extended Abstract & Paper Submission: Jul. 5, 2019 (AoE)

Notification to authors: Aug. 31, 2019 (AoE)

Camera-ready versions: Sep. 15, 2019 (AoE)

Conference date: Nov 27-29, 2109


Previous Editions   SETTA2018  SETTA2017

Publisher

Sponsors