| Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) | Тема этой статьи может не соответствовать Википедии общее руководство по известности. Пожалуйста, помогите установить известность, указав надежные вторичные источники которые независимый темы и обеспечить ее подробное освещение, помимо банального упоминания. Если известность не может быть установлена, статья, вероятно, будет слился, перенаправлен, или же удалено. Найдите источники: «Федеративная логическая конференция» – Новости · газеты · книги · ученый · JSTOR (Сентябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
| Эта статья слишком полагается на Рекомендации к основные источники. Пожалуйста, улучшите это, добавив вторичные или третичные источники. (Сентябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
(Узнайте, как и когда удалить этот шаблон сообщения) |
В Федеративная логическая конференция (FLoC) является международным конгломератом нескольких математическая логика и Информатика связанные с научные конференции которые касаются пересечения двух полей. FLoC традиционно включает:
Первый FLoC был проведен в 1996 г. DIMACS; впоследствии они проводились примерно каждые четыре года. FLoC 2018 прошел в Оксфорд.
внешняя ссылка