Beschreibung
TAMC 2017 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory.
Programm
20th April 2017
08.00 - 08.45 Registration
08.45 - 09.00 Opening
09.00 - 10.00 Invited Speaker 1: M. Kwiatkowska
10.00 - 10.30 Coffee
10.30 - 12.30 Contributed Talks, parallel sessions A1 and A2
12.30 - 14.00 Lunch
14.00 - 15.00 Invited Speaker 2: P. Lu
15.00 - 15.30 Coffee
15.30 - 16.30 Invited Speaker 3: J. Zucker
16.30 - 17.00 Coffee
17.00 - 18.30 Contributed Talks, parallel sessions B1 and B2
18.30 - Apero
21st April 2017
08.30 - 09.30 Invited Speaker 4: M. E. Maietti
09.30 - 10.00 Coffee
10.00 - 12.00 Contributed Talks, parallel sessions C1 and C2
12.00 - 13.30 Lunch
13.30 - 14.30 Invited Speaker 5: S. Wolf
14.30 - 15.00 Coffee
15.00 - 17.00 Contributed Talks, parallel sessions D1 and D2
17.00 - 17.30 Coffee
17.30 - 18.30 Contributed Talks, parallel sessions E1 and E2
19.00 - Social Dinner
22nd April 2017
08.30 - 09.30 Invited Speaker 6: J. A. Makowsky
09.30 - 10.00 Coffee
10.00 - 12.00 Contributed Talks, parallel sessions F1 and F2
12.00 - 13.30 Lunch
13.30 - 14.30 Invited Speaker 7: C. Martín-Vide
14.30 - 15.00 Coffee
15.00 - 16.00 Contributed Talks, parallel sessions G1 and G2
16.15 - 17.00 Alternative Approach 1: T.V. Gopal
17.15 - 18.00 Alternative Approach 2: Y. Sergeyev
18.00 - 18.30 General discussions
18.30 End