Vídeňské logické léto - Vienna Summer of Logic - Wikipedia
 | tento článek potřebuje další citace pro ověření. (Květen 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Logo vědecké akce
The Vídeňské logické léto byla vědecká událost v létě 2014, která spojila 12 významných konferencí a několik workshopů z oborů matematická logika, logika v informatice a přihlášení umělá inteligence.[1] Setkání se konala od 9. do 24. července 2014 a přilákala více než 2000 vědců a výzkumných pracovníků.[2][3]
Akci organizoval Společnost Kurta Gödela na Vídeňská technická univerzita.[4] Zúčastněné schůzky zahrnují:[5]
V Logika v informatice proud (představující Federovaná logická konference (FLoC) ):
- Mezinárodní konference dne Ověření pomocí počítače (CAV)
- IEEE Symposium základů počítačové bezpečnosti (CSF)
- Mezinárodní konference o logickém programování (ICLP)
- Mezinárodní společná konference o automatizovaném uvažování (IJCAR)
- Konference o prokazování interaktivních vět (ITP)
- Společné zasedání výročního programu EACSL Konference o logice počítačových věd (CSL) a ACM / IEEE Symposium on Logic in Computer Science (LICS)
- Mezinárodní konference o technikách a aplikacích přepisování (RTA) společně s Mezinárodní konference o zadaných lambda kalkulech a aplikacích (TLCA)
- Mezinárodní konference o teorii a aplikacích testování uspokojivosti (SAT)
- více než 70 FLoC workshopy
- FLoC olympijské hry (systémové soutěže)
- SAT /SMT Letní škola
V Matematická logika proud:
- Logické kolokvium 2014 (LC)
- Logika, Algebra a Stupně pravdy 2014 (LATD)
- Workshop o kompozičním významu v logice (GeTFun 2.0)
- Workshop nekonečna (INFINITY)
- Workshop na Logika a Hry (LG)
- Workshop o neklasických důkazech: teorie, aplikace a nástroje (NCPROOFS)
- Kurt Gödel Společenská soutěž
V Přihlaste se Umělá inteligence proud:
- Mezinárodní konference o zásadách zastoupení a uvažování o znalostech (KR)
- Mezinárodní workshop o logice popisu (DL)
- Mezinárodní seminář o nemonotónním uvažování (NMR)
- Mezinárodní workshop o Reprezentace znalostí pro zdravotnictví 2014 (KR4HC)
Reference
- ^ „Základní logický výzkum zásadní pro počítač, softwarové inženýrství“. Vědecké výpočty. 3. června 2014. Citováno 13. června 2014.
- ^ Felser, Rudolf (10. prosince 2013). „Vienna Summer of Logic 2014“. Computerwoche. Citováno 30. prosince 2013.
- ^ „Vídeňské léto logiky“. Citováno 8. března 2016.
- ^ „Vídeňské léto logické organizace“. Citováno 12. června 2014.
- ^ „Vídeňské léto logiky“. Citováno 12. června 2014.