Workshop · Vienna, Austria

ParamSAT

February 11 & 12, 2027

Schedule

Jump to: Thursday · Feb 11 Friday · Feb 12

Thursday

Feb 11, 2027
9:30 – 10:30
Speaker 1
Title 1
Spotlight [slides]
10:30 – 11:00
☕ Coffee break
11:00 – 12:15
Graph Problems · Chair: N.N.
Speaker A
Title
[slides]
Speaker B
Title
[slides]
Speaker C
Title
[slides]
12:15 – 14:00
🍽 Lunch break
14:00 – 15:00
Speaker 2
Title
Spotlight [slides]
15:00 – 15:50
SAT Solving · Chair: N.N.
Speaker
Title
[slides]
Speaker
Title
[slides]
15:50 – 16:20
☕ Coffee break
16:20 – 17:20
Speaker 1
Title 1
Spotlight [slides]
17:20 – 18:10
Parameterized Complexity · Chair: N.N.
Speaker
Title
[slides]
Speaker
Title
[slides]

Friday

Feb 12, 2027
10:00 – 11:00
Speaker
Title
Spotlight [slides]
11:00 – 11:30
☕ Coffee break
11:30 – 12:20
TBA · Chair: N.N.
Speaker
Title
[slides]
Speaker
Title
[slides]
12:20 – 14:00
🍽 Lunch break
14:00 – 15:00
Speaker
Title
Spotlight [slides]
15:00 – 15:30
☕ Coffee break