ViennaSummerOfLogic

The largest conference in the history of Logic. Vienna, Austria. July 9-24, 2014

[Maria Popova @themarginalian]

Truth beyond logic and time beyond clocks — beautiful read on the Vienna Circle of artists and scientists, and how mathematician Kurt Gödel shaped the modern mind https://t.co/1ztIhuJJGq

[VCLA at TU Wien @vclaTUwien]

Vienna Center for Logic and Algorithms at TU Wien @tuvienna supporting t WiL 2018 Women in Logic Workshop. Get your Network ready & support early-career women #logic @FLoC2018 #LiCS #womenintech #womeninscience #highered @acmsiglog @LOGIC_list

[FWF - Research Policy @FWFOpenAccess]

How Viennese scientists fought the dogma, propaganda and prejudice of the 1930s | Book review of @FWF_at former Vice President Karl Sigmund "Exact Thinking in Demented Times: The Vienna Circle and the Epic Quest for the Foundations of Science" https://t.co/8ghMd0CZ85

[FLoC'18 Oxford @FLoC2018]

It's official! https://t.co/FZ6hF1XdsB is live (and useful), and we've made an announcement on https://t.co/eyZE0g61BO @CompSciOxford

[VCLA at TU Wien @vclaTUwien]

Modern logic is overshadowed by mathematics #LogicLounge #teachers #CS @tuvienna #FMCAD

[ViennaSummerOfLogic @SummerOfLogic]

Next #LogicLounge Oct 6 @tuvienna: M Huth & J Makowsky - Logic in Computer Science: Teaching Perspective https://t.co/Lmsz5Ig6iV @vclaTUwien https://t.co/C7CZ7kq5xS

[VCLA at TU Wien @vclaTUwien]

6.Okt #LogicLounge @tuvienna M. Huth & J. Makowsky. Wie bringt #Logik #Informatik bei? #schule40 https://t.co/pNHWLnuymL

[VCLA at TU Wien @vclaTUwien]

Extended deadline Helmut Veith Stipend for female students at @tuvienna Apply by November 30. @OCG_aktuell @f_e_magazin @informatik_at

[ViennaSummerOfLogic @SummerOfLogic]

This September, #Vienna is host to the next big federated #ComputerScience conference, this time #ALGO2017 https://t.co/B2GwJp4ubR @tuvienna

[ViennaSummerOfLogic @SummerOfLogic]

Next #LogicLounge is coming to #CAV2017, #Heidelberg! @zollofab on “Social Dynamics in the Post-Truth Society” https://t.co/8gLf1bWSu1

[ViennaSummerOfLogic @SummerOfLogic]

The Spring School 2016 brings LOVE for LOgic and VErification back to Vienna! https://t.co/PhEgreJjOV #SummerOfLogic

[ViennaSummerOfLogic @SummerOfLogic]

Next #logiclounge: Cliff B. Jones (Newcastle) & Tanja Traxler (@derStandardat) on the IBM Vienna Lab during 60s/70s https://t.co/jTk8AWwqGH

[Elke Ziegler @elke_ziegler]

Definitely a highlight for me: talking with Peter Norvig (Research Director Google) on #AI @SummerOfLogic

[ViennaSummerOfLogic @SummerOfLogic]

#LogicLounge is back! P.Norvig (CEO @googleresearch) + G.Widmer (@jkulinz) discuss "How artificial is intelligence?" https://t.co/n4y64hx6J7

[ViennaSummerOfLogic @SummerOfLogic]

. @radiofm4 dedicated yesterday's program to logic and broadcast interviews from the #SummerOfLogic. http://t.co/LWjj5bnAzE (Sat 15th)

[Prof. Barry O'Sullivan, MRIA @BarryOSullivan]

The largest event in the history of logic was held earlier this year in Vienna @SummerOfLogic - a brilliant event! @georgeboole200 #GB200

[ViennaSummerOfLogic @SummerOfLogic]

. @RrrichardZach on LogicLounge RT: Bringing Logic (and Philosophy, CS) to the Masses http://t.co/RX2t9jbAiz #SummerOfLogic

[ViennaSummerOfLogic @SummerOfLogic]

Vienna Center for Logic & Algorithms **International Student Awards** for outstanding works in Logic and CS announced http://t.co/kb3fbSA9zV

[ViennaSummerOfLogic @SummerOfLogic]

Missed one of the VSL keynotes by Scott, Papadimitriou, Wilkie, Baader, Clarke? (Re)watch them now! http://t.co/JQVBFi3SKR #SummerOfLogic

[Moshe Vardi @vardi]

Specialists Gather in Praise of Logic #summeroflogic http://t.co/cMC1U70hnE