Kurt Gödel Society Martina Seidl / Knowledge Representation and Reasoning Incorporated / Kurt Gödel Society / /
Country
Austria / United States / /
Currency
EUR / / /
Facility
Vienna University of Technology Thomas Eiter / University of Vienna Thomas Krennwallner / Vienna University of Technology Gernot Salzer / Main Building / Vienna University of Technology Markus Pichlmair / Vienna University of Technology Hans Tompits / Vienna University of Technology Helmut Veith / Vienna University of Technology Thomas Henzinger / Vienna University of Technology Mantas Simkus / Vienna University of Technology Sy David Friedman / Vienna University of Technology / Vienna University of Technology Nysret Musliu / Vienna University of Technology Eva Nedoma / Vienna University of Technology Jakob Kellner / University of Vienna Georg Gottlob / Vienna University of Technology VSL AT A GLANCE DATES / Japan Advanced Institute of Science / Vienna University of Technology Oliver Lehmann / Vienna University of Technology Katarina Jurik / Vienna University of Technology Thomas Pani / Vienna University of Technology Norbert Preining / Vienna University of Technology Magdalena Ortiz / /
IndustryTerm
technology areas / conference site / transport solutions / media reports / /
MusicGroup
Video Recording of Invited Talks Budget / /
Organization
Vienna University of Technology Mantas Simkus / Scientific Foundation / IJCAI / VSL Organizing Committee / Vienna University of Technology Nysret Musliu / University of Vienna / Japan Advanced Institute of Science and Technology / Vienna University of Technology Gernot Salzer / Oxford University / Executive Board / Austria TECHNICAL SECRETARIAT / Vienna University of Technology / ORGANIZING COMMITTEE / /
Person
Bernhard Gramlich / Stefan Woltran / Stefan Hetzl / Daniel Weller / Kurt Gödel Centenary-Horizons / Agata Ciabattoni / Kurt Gödel / Alexander Leitsch / Michael Fink / Stefan Szeider / Vesna Sabljakovic-Fritz / Publicity Chair / Chris Fermüller / Matthias Baaz / /
Position
speaker / conference hand program Invited Speaker / Co-chair / Treasurer / Executive Vice President / Chair / Secretary / /
WELCOME Vienna Summer of Logic (VSL[removed]is the largest conference in history of logic and computer science, to be held in Vienna, Austria, from July 9 until July 24, 2014. It consists of three major blocks of conferen