TTCS 2015

Sponsors

WEDNESDAY - 26 August, 2015

DAYSWednesdayThursdayFriday

8:15 - 9:15 Registration

9:15 - 9:30 Opening

9:30 – 10:30
Session 1: Invited talk

Invited talk

 

Michael Fellows
Charles Darwin University, Australia

New Directions in Parameterized Algorithmics

 

10:30 - 11:00 Coffee / tea break

11:00 - 12:00
Session 2: Contributed Talks

Contributed Talks

11:00 - 11:30
Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy
Stephane Le Roux

 

11:30 - 12:00
Efficient computation of generalized Ising polynomials on graphs with fixed clique-width
Tomer Kotek and Johann Makowsky

 

12:00 - 14:00 Lunch 
14:00 - 15:00
Session 3: Contributed Talks

Contributed Talks

14:00 - 14:30
Plane Geodesic Spanning Trees, Hamiltonian Cycles, and Perfect Matchings in a Simple Polygon
Ahmad Biniaz, Anil Maheshwari, Michiel Smid and Prosenjit Bose

 

14:30 - 15:00
‎Visibility Graphs ‎of ‎Anchor ‎Polygons
Hossein Boomari and Alireza Zarei

 

15:00 - 15:30 Coffee / tea break

15:30 - 17:00
Session 4: Contributed Talks

Contributed Talks

15:30 - 16:00
‎Deterministic Algorithm for 1-Median 1-Center Two-Objective Optimization Problem
Vahid Roostapour, Iman Kiarazm and Mansoor Davoodi

 

16:00 - 16:30
Rainbow Domination and Related Problems on Some Classes of Perfect Graphs
Wing-Kai Hon, Ton Kloks, Hsian-Hsuan Liu and Hung-Lung Wang

 

16:30 - 17:00
Multi Robots Cooperation for Finding Target in Street
Mohammad Abouei Mehrizi, Mohammad Ghodsi and Azadeh Tabatabaei

 

THURSDAY - 27 August, 2015

DAYSWednesdayThursdayFriday

9:30 – 10:30
Session 5: Invited talk

Invited talk

 

Mehrnoosh Sadrzadeh
Queen Mary University of London, UK

Vector Space Models of Natural Language: mining data from corpora, composing, and reasoning

 

10:30 - 11:00 Coffee / tea break

11:00 - 12:00
Session 6: Contributed Talks

Contributed Talks

11:00 - 11:30
Incorporating Local Word Relationships into Probabilistic Topic Model
Marziea Rahimi, Morteza Zahedi and Hoda Mashayekhi

 

11:30 - 12:00
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
Silvano Dal Zilio and Bernard Berthomieu

 

12:00 - 14:00 Lunch 

14:00 - 21:00 Social Event

 Details to be announced

FRIDAY - August 28, 2015

DAYSWednesdayThursdayFriday

9:30 – 10:30
Session 7: Invited talk

Invited talk

 

Anuj Dawar
Cambridge University, UK

On Symmetric and Choiceless Computation

 

10:30 - 11:00 Coffee / tea break

11:00 - 12:00
Session 8: Contributed Talks

Contributed Talks

11:00 - 11:30
Some properties of continuous Yao graph
Davood Bakhshesh and Mohammad Farshi

 

11:30 - 12:00
Minimizing Walking Length in Map Matching
Amin Gheibi, Anil Maheshwari and Jorg Sack

 

12:00 - 14:00 Lunch 

14:00 - 15:00
Session 9: Ph.D. Symposium

Ph.D. Symposium

14:00 - 14:30
Reasoning about Compliance with Reference Architecture
Alireza Farhadi

 

14:30 - 15:00
Token-based Function Computation with Memory
Saber Salehkalybar

 

15:00 - 15:30 Coffee / tea break

15:30 - 16:30
Session 10: Ph.D. Symposium

Ph.D. Symposium

15:30 - 16:00
A Fast Applicable Approximation Algorithm For Quadratic Bezier Curve, By Fewest Circular-Arcs
Within A Tolerance-Band

Seyyed Amir Hossein Siahpooshha

 

16:00 - 16:30
Simple, Faster Kinetic Data Structures
Zahed Rahmati