ParamSAT

February 11 & 12, 2027, Vienna, Austria

Sponsors and partners:

TU Wien
 

  

Schedule

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

Organization: Robert Ganian, Marlene Gründel, Friedrich Slivovsky; Contact: paramsat@ac.tuwien.ac.at