Vienna Summer of Logic 2014

Организатор: Технический университет г. Вена, Австрия

Организатор: Технический университет г. Вена, Австрия

Даты:  9 – 24 июля 2014

Описание программы:

Международная летняя школа по логике проводится на базе Технического университета г. Вена, Австрия. Ожидается, что в этом году в ней примут участие более 2000 исследователей из разных стран. Программа школы включает в себя ряд конференций по трем основным направлениям:

    1. Logic in Computer Science / Federated Logic Conference

      • 26th International Conference on Computer Aided Verification (CAV) (18-22 июля 2014) Подробнее 
      • 27th IEEE Computer Security Foundations Symposium (CSF) Подробнее
      • 30th International Conference on Logic Programming (ICLP)
      • 7th International Joint Conference on Automated Reasoning (IJCAR) Подробнее
      • 5th Conference on Interactive Theorem Proving (ITP) Подробнее 
      • Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
      • 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
      • 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
      • FLoC Workshops
      • FLoC Olympic Games (System Competitions) Подробнее

        2. Mathematical Logic

          3. Logic in Artificial Intelligence

            • 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
            • 27th International Workshop on Description Logics (DL)
            • 15th International Workshop on Non-Monotonic Reasoning (NMR) 
            • International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)

            Требования к кандидатам:

            К участию приглашаются молодые исследователи (бакалавры старших курсов, магистранты, аспиранты, докторанты) со знанием английского языка на среднем уровне

            Cрок подачи заявок: до 20 декабря 2013 г.

            Подробнее о школе