TTCS 2017

Sponsors

Poster

Previous Event

Conference Program
Tuesday, September 12th
08:30‑09:00 Registration
09:00‑09:30 Opening
09:30‑10:30 Track A: Invited Talk

Mahdi Cheraghchi. TBA

10:30‑11:00 Coffee Break
11:00-12:00 Track A: Contributed Talks
11:00‑11:30 Ardeshir Dolati. A Characterization of Horoidal Digraphs
11:30‑12:00 Mohsen Safari and Ali Ebnenasir. Locality‑Based Relaxation: An Efficient Method for GPU‑Based Computation of Shortest Path
12:00‑14:00 Lunch Break
14:00‑15:00 Track B: Invited Talk

Jaco van de Pol. TBA

Parallel Algorithms for Model Checking
15:00‑15:30 Coffee Break
15:30-16:30 Track B: Contributed Talks
15:30‑16:00 Kasper Dokter and Farhad Arbab. Exposing Latent Mutual Exclusion
16:00‑16:30 Alimujiang Yasen and Kazunori Ueda. Unification of Hypergraph Lambda‑Terms
Wednesday, September 13th
09:30‑10:30 Track A: Invited Talk

Łukasz Jeż. TBA

Online Packet Scheduling
10:30‑11:00 Coffee Break
11:00-12:00 Track A: Contributed Talks
11:00‑11:30 Massoud Aman, Mobarakeh Karimi and Ardeshir Dolati. Inverse multi‑objective shortest path problem under the bottleneck type weighted Hamming distance
11:30‑12:00 Saeid Hanifehnezhad and Ardeshir Dolati. Gomory‑Hu Tree and Pendant Pairs of a Symmetric Submodular System
12:00‑14:00 Lunch Break
14:00‑15:00 Track A: Ph.D. Symposium Talks
15:00‑16:00 Track A: Ph.D. Symposium talk by Jiří Sgall, Online bin packing: Old algorithms and new results
16:00‑20:00 Social event and dinner
Thursday, September 14th
09:30‑10:30 Track B: Invited Talk

Peter Csaba Ölveczky. TBA

Design and Validation of Cloud Storage Systems using Formal Methods
10:30‑11:00 Coffee Break
11:00‑12:30 Track B: Contributed Talks
11:00‑11:30 Tarmo Uustalu. Container combinatorics: monads and lax monoidal functors
11:30‑12:00 Luigi Liquori and Claude Stolze. A Decidable Subtyping Logic for Intersection and Union Types
12:00‑12:30 Closing
12:30‑14:00 Lunch Break