Венское лето логики
 | Эта статья нуждается в дополнительных цитатах для проверки . ( май 2014 г. ) |
Венское лето логики — научное мероприятие лета 2014 года, объединившее 12 крупных конференций и несколько семинаров из областей математической логики , логики в информатике и логики в искусственном интеллекте . [1] Встречи проходили с 9 по 24 июля 2014 года и привлекли более 2000 ученых и исследователей. [2] [3]
Мероприятие было организовано Обществом Курта Гёделя Венского технологического университета . [4] Участие в собраниях включает в себя: [5]
В «Логика в информатике» потоке (представляющем Федеративную конференцию по логике (FLoC)):
- Международная конференция по компьютерной верификации (CAV)
- IEEE Симпозиум по основам компьютерной безопасности (CSF)
- Международная конференция по логическому программированию (ICLP)
- Международная совместная конференция по автоматическому рассуждению (IJCAR)
- Конференция по интерактивному доказательству теорем (ITP)
- Совместное заседание конференции EACSL Ежегодной по логике компьютерных наук (CSL) и Симпозиума ACM/IEEE по логике в компьютерных науках (LICS)
- Международная конференция по методам и приложениям переписывания (RTA), совместная с Международной конференцией по типизированным лямбда-исчислениям и приложениям (TLCA)
- Международная конференция по теории и приложениям тестирования выполнимости (SAT)
- более 70 семинаров по FLoC
- Олимпийские игры FLoC (системные соревнования)
- SAT / SMT Летняя школа
В «Математическая логика» потоке :
- Логический коллоквиум 2014 (LC)
- Степени логики , алгебры и истины 2014 (LATD)
- Семинар по композиционному значению в логике (GeTFun 2.0)
- Мастерская Бесконечности (INFINITY)
- Мастер-класс по логике и играм (LG)
- Семинар по неклассическим доказательствам: теория, приложения и инструменты (NCPROOFS)
- Курта Гёделя Конкурс стипендий
В «Логика в искусственном интеллекте» потоке :
- Международная конференция по принципам представления и рассуждения знаний (КР)
- Международный семинар по описательной логике (DL)
- Международный семинар по немонотонным рассуждениям (NMR)
- Международный семинар по представлению знаний в здравоохранении 2014 (KR4HC)
Ссылки
[ редактировать ]- ^ «Базовые логические исследования, имеющие решающее значение для компьютерной и программной инженерии» . Научные вычисления . 3 июня 2014 г. Проверено 13 июня 2014 г.
- ^ Фельзер, Рудольф (10 декабря 2013 г.). «Венское лето логики 2014» . Компьютервоче . Проверено 30 декабря 2013 г.
- ^ «Венское лето логики» . Проверено 8 марта 2016 г.
- ^ «Венское лето логики» . Проверено 12 июня 2014 г.
- ^ «Венское лето логики» . Проверено 12 июня 2014 г.