The IJCAR 2014 best paper award will be given to
Approximations for Model Construction
Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rummer
The paper presents a new way to integrate approximation techniques into automated reasoning procedures and proves its usefulness for the important case of floating-point arithmetic.
This paper was selected by the IJCAR 2014 Program Committee.
International Joint Conference on Automated Reasoning (IJCAR)
The Association for Symbolic Logic presents two of its major awards at this year’s Logic Colloquium at the Vienna Summer of Logic.
The Karp Prize, named for Carol Karp, is awarded every five years for connected body of research, most of which has been completed in the time since the previous prize was awarded. The 2013 Karp Prize is shared between Moti Gitik (Tel Aviv University), Ya’acov Peterzil, (University of Haifa), Jonathan Pila (University of Oxford), Sergei Starchenko (University of Notre Dame), and Alex Wilkie (University of Manchester).
Moti Gitik is being honored for his definitive work on the Singular Cardinals Hypothesis. His earlier work determined the exact consistency strength of the failure of the Singular Cardinals Hypothesis. His deep understanding led to a counterexample to the PCF conjecture, for which he is being awarded his share of the Karp prize. Matt Foreman will discuss Gitik’s work at 3 pm on Saturday.
Kobi Peterzil, Jonathan Pila, Sergei Starchenko, and Alex Wilkie shared the other half of the 2013 Karp Prize for their efforts in turning the theory of o-minimality into a sharp tool for attacking conjectures in number theory, which culminated in the solution of important special cases of the André-Oort Conjecture by Pila. The award lecture was given by Matthias Aschenbrenner on Tuesday, his slides are online.
The Gödel Lecture is an invited address delivered each year, alternating between the ASL Annual Meeting and the Logic Colloquium. The ASL Committee on Prizes and Awards is charged with selecting the Gödel Lecturer based on outstanding contributions to logic through research and scholarship.
The 2014 Gödel Lecturer is Julia F. Knight (Notre Dame University). She is being honored for her work on model theory and recursion theory. Julia Knight has been among the main contributors, if not the main one, to the area of computable structure theory. Her work continues to be extremely influential in the area. She is also well-known for her theorems on the upward closure of degree spectra of non-trivial structures. Her work with Ash and Slaman on generic copies of structures became a standard tool that has been used to solve a whole variety of problems.
Knight will speak at 5:30 pm on Saturday.
πάντα πλήρη λογικῆς τέχνης – Logic is everywhere, and VSL is on Facebook and Twitter! Follow @SummerOfLogic or like our Facebook page to join the conversation.
Follow the VSL Blog for guest posts and a selection of the best photos. (More photos coming soon.)
Use the official hashtag #SummerOfLogic on your public posts on Google+, Twitter, Facebook, Instagram, Vine or App.net and make it onto our tagboard.
See the full-width tagboard at http://vsl2014.at/tagboard/
Your proceedings flash drive is inside the lanyard’s clip!
Thursday morning, the first of two FLoC panels touched a delicate topic: Publication Models in Computing Research: Is a Change Needed? Are We Ready for a Change? moderated by Moshe Vardi brought together five panelists with distinct and sometimes controversial views on the subject. Discussion covered different facets of computer science publishing, such as conference vs. journal publications, the role and importance of open access, or reviewer load in our community.
Panelists: Nina Amla, National Science Foundation. Georg Gottlob, Oxford University, Vienna University of Technology. Falk Reckling, Austrian Science Fund. Sweitze Roffel, Elsevier. Andrei Voronkov, University of Manchester.
Moderator: Moshe Vardi, Rice University
Photos © VSL 2014 / Photography: Sara Meister
The first week of Vienna Summer of Logic featured three keynote talks be extraordinary scientists: Dana Scott addressed the participants in the VSL Opening Talk, Christos Papadimitriou gave a talk on his most recent work concerning the theory of evolution, and Alex Wilkie rocked the blackboards with theory and applications of o-minimal structures.
Photos © VSL 2014 / Photography: Nadja Meister
Guest post for RTA-TLCA
Sylvain Schmitz received the RTA-TLCA Best Paper Award for solving by his paper “Relevance Logic is 2-ExpTime-Complete” a problem open for 25 years. The proof uses reductions to and from coverability in branching vector addition systems.
Łukasz Czajka received the RTA-TLCA Best Student Paper Award for “A Coinductive Confluence Proof for Infinitary Lambda-Calculus”. Łukasz avoids the use of ordinals and metric convergence, making the proof thus better suitable for formalisation in a proof-assistant.
The awards were handed over during the RTA-TLCA dinner at a Viennese “Heurigen” on July 17.
RTA = Int. Conf. on Rewriting Techniques and Applications
TLCA = Int. Conf. on Typed Lambda Calculi and Applications
Design and production of awards: Barta Pokale, http://www.barta-pokale.at
On Wednesday evening, VSL participants gathered at Schönbrunn Palace for the first banquet.
Photos © VSL 2014 / Photography: Nadja Meister