Federovaná logická konference - Federated Logic Conference

Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto problémech na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: „Federovaná logická konference“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Září 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) tento článek příliš spoléhá na Reference na primární zdroje. Vylepšete to přidáním sekundární nebo terciární zdroje. (Září 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

The Federovaná logická konference (FLoC) je mezinárodní konglomerace několika matematická logika a počítačová věda příbuzný akademické konference které se zabývají průnikem dvou polí. FLoC tradičně zahrnuje:

• Ověření pomocí počítače (CAV)
• Logika v informatice (LICS)
• Techniky a aplikace přepisování (RTA)
• Mezinárodní společná konference o automatizovaném uvažování (IJCAR), který sám konglomeruje Konference o automatizovaném odpočtu (CADE), Věta prokazující logiku vyšších řádů (TPHOLs) a Automatické uvažování s analytickými tabulkami a souvisejícími metodami (TABLEAUX).
• Mezinárodní konference o logickém programování (ICLP)

První FLoC se konal v roce 1996 v DIMACY; následně se konaly zhruba každé čtyři roky. FLoC 2018 se konal v Oxford.

externí odkazy

• Webové stránky FLoC 2002 (Kodaň)
• Webové stránky FLoC 2006 (Seattle)
• Webové stránky FLoC 2010 (Edinburgh)
• Webové stránky Vienna Summer of Logic / FLoC 2014 (Vídeň)
• Webové stránky FLoC 2018 (Oxford)