Vienna Summer of Logic 2014

Vienna Summer of Logic 2014

42

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

Даты:  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 г.

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