Vienna Summer of Logic 2014 » News Wed, 13 May 2015 10:03:16 +0000 en-US hourly 1 VSL keynote recordings now online Thu, 21 Aug 2014 11:06:33 +0000 Missed one of the VSL keynote talks by Dana Scott, Christos Papadimitriou, Alex Wilkie, Franz Baader and Edmund Clarke? Never mind, you can now (re)watch all the keynote talks online:

Dana Scott · Christos Papadimitriou · Alex Wilkie · Franz Baader · Edmund M. Clarke

Dana Scott: VSL Opening
Christos Papadimitriou: Computational Ideas and the Theory of Evolution – Abstract

Alex Wilkie: The theory and applications of o-minimal structures – Abstract

Franz Baader: Ontology-Based Monitoring of Dynamic Systems – Abstract

Edmund M. Clarke: Verification of Computer Systems with Model Checking – Abstract

]]> 0
Photos now online Mon, 28 Jul 2014 14:33:41 +0000 All photos now available online!

]]> 0
Funded Doctoral Positions in Austria Tue, 22 Jul 2014 13:36:09 +0000 Funded Doctoral Positions in Computer Science in Austria announced.

]]> 0
2nd VSL Joint Award Ceremony Mon, 21 Jul 2014 07:54:03 +0000 The first VSL Joint Award Ceremony last week was a huge success. Join us today at 4.30pm in Main Building, Kuppelsaal for the second Joint Award Ceremony.

VSL Joint Award Ceremony

Kurt Gödel Medal

© Münze Österreich AG

In the Award Ceremony of the FLoC Olympic Games with a laudation by Edmund M. Clarke, the teams of 9 different competitions receive Gödel medals for their contributions to the development of efficient solvers from the wide field of satisfiability solvers to automatic theorem provers and term rewriters, from declarative logic programming solvers and ontology reasoners to automated software verifiers, from programs that check models of hardware designs to solvers that automatically synthesize computer programs, and to provers that test program termination.

Werner “Jimmy” DePauli-Schimanovich is being honored for his contributions to Gödel research, for his efforts towards re-establishing Vienna as a center of logic in the second half of the past century, and for extending the outreach of formal logic and logical thinking to other disciplines.

Zhang Mingyi is awarded a Lifetime Achievement Award by the Kurt Gödel Society for pioneering research in Artificial Intelligence and Knowledge Representation in China especially for mathematical characterizations of various forms of non-monotonic reasoning.

Maria Magdalena Ortiz de la Fuente is receiving the EMCL Distinguished Alumni Award 2014 for her outstanding contributions to the field of Computational Logic.

The award ceremony concludes with the FLoC closing of week 2.

  • FLoC Olympic Games Award Ceremony 2
    • Fifth Answer Set Programming Competition (ASPCOMP 2014)
    • The 7th IJCAR ATP System Competition (CASC-J7)
    • Hardware Model Checking Competition (HWMCC 2014)
    • OWL Reasoner Evaluation (ORE 2014)
    • Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
    • Competition on Software Verification (SV-COMP 2014)
    • Syntax-Guided Synthesis Competition (SyGuS-COMP 2014)
    • Synthesis Competition (SYNTCOMP 2014)
    • Termination Competition (termCOMP 2014)
  • Werner Depauli-Schimanovich – Lifetime Achievement Award
  • Mingyi Zhang – Lifetime Achievement Award
  • European Masters Program In Computational Logic EMCL Distinguished Alumni Award
  • FLoC Closing Week 2
]]> 0
Additional Student Reception & Going out / Dancing Mon, 21 Jul 2014 07:11:25 +0000 There will be an additional student reception tonight at 7pm in the Viennese pub Wieden Bräu (Waaggasse 5, 1040 Vienna – 5mins from the registration desk). 150 drink vouchers are available for participants with a student registration at the registration desk, first come first served.

For people who want to go out / dancing, we suggest to meet up at Flex (U2/U4 Schottenring by the river) at 11pm – daily starting tonight. There is a cover charge of a few euros, check the website for details.

]]> 0
VSL Keynote Live Streaming Sun, 20 Jul 2014 06:45:55 +0000 VSL keynote talks are streamed live

]]> 0
Social Networks, VSL Blog and the #SummerOfLogic tagboard Sat, 19 Jul 2014 09:01:40 +0000 Social Networks
πάντα πλήρη λογικῆς τέχνης – Logic is everywhere, and VSL is on Facebook and Twitter! Follow @SummerOfLogic or like our Facebook page to join the conversation.

VSL Blog
Follow the VSL Blog for guest posts and a selection of the best photos. (More photos coming soon.)

#SummerOfLogic Tagboard
Use the official hashtag #SummerOfLogic on your public posts on Google+, Twitter, Facebook, Instagram, Vine or and make it onto our tagboard.

See the full-width tagboard at

]]> 0
Proceedings flash drive Sat, 19 Jul 2014 08:50:55 +0000 Your proceedings flash drive is inside the lanyard’s clip!

]]> 0
[Video] VSL Opening: Dana Scott & VSL Keynote: Christos Papadimitriou Tue, 15 Jul 2014 14:36:04 +0000 The recording of the VSL Opening Talk & first VSL Keynote Talk is now online.

]]> 0
Guided Tours Tue, 08 Jul 2014 15:05:10 +0000 Interested in a Vienna Circle-themed city tour? Or a tour of the Art Nouveau Secession Building? We have arranged for a limited number of spots on these special tours, check for details.

]]> 0