TAAC'2012, Розклад конференції

Неділя 11.11.2012

1. 07:00 - 23:00 Приїзд та поселення учасників конференції

Понеділок 12.11.2012

1. 09:00 - 10:00 Реєстрація учасників конференції
2. 10:00 - 10:30 Церемонія відкриття конференції (ауд. № 01)
3. 10:30 - 11:30 Лекція "Logical Petri nets and their extensions. A brief survey." (ауд. № 01)
4. 11:30 - 12:30 Лекція "Themes in typed lambda calculi and their applications in the foundations of computation and mathematics" (ауд. № 01)
5. 12:30 - 13:30 Лекція "Lambda-function in Java" (ауд. № 01)
6. 13:30 - 14:30 Обід
7. 14:30 - 18:30 Засідання напрямку "Artificial Intelligence" (ауд. № 610)
8. 19:30 - 22:00 Екскурсія в астрономічну обсерваторію

Вівторок 13.11.2012

1. 08:45 - 12:00 Засідання напрямків:
   • "Applied Mathematics and System Analysis" (ауд. № 705)
   • "Computer Science + Software Engineering"(ауд. № 610)
2. 12:00 - 13:00 Лекція "Privacy-preserving technologies" (ауд. № 01)
3. 13:00 - 14:00 Обід
4. 14:00 - 15:00 Лекція "The contraction method and random recursive equations" (ауд. № 01)
5. 15:00 - 16:00 Лекція "Practical aspects of NLP work" (ауд. № 01)
6. 17:00 - 20:00 Екскурсія по Києву

Середа 14.11.2012

1. 08:45 - 12:30 Засідання напрямків:
   • "Applied Mathematics and System Analysis"(ауд. № 705)
   • "Computer Science + Software Engineering"(ауд. № 610)
2. 12:30 - 13:30 Лекція "Enabling unsupervised classification of social media via clever linguistic tricks" (ауд. № 01)
3. 13:30 - 14:30 Обід
4. 14:30 - 17:00 Засідання напрямку "Applied Mathematics and System Analysis" (ауд. № 705)
5. 18:30 - 23:00 Вечірка

Четвер 15.11.2012

1. 10:30 - 12:00 Круглий стіл
2. 12:00 - 13:00 Лекція "Industrial experience of applying genetic algorithm approach to 3D packing problem" (ауд. № 01)
3. 13:00 - 14:00 Обід
4. 15:00 - 17:00 Екскурсія в червоний корпус

П'ятниця 16.11.2012

1. 10:30 - 11:30 Церемонія закриття (ауд. № 01)
2. 11:30 - 23:00 Від’їзд учасників