Guest post by Marta Kwiatkowska, Chair of the CAV Award Committee
The 2014 CAV Award was presented yesterday to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper “for the development of partial-order-reduction algorithms for efficient state-space exploration of concurrent systems.”
They developed efficient algorithms to explore the state space on-the-fly that have become the key component of explicit model checkers. Partial-order reduction is one of the major contributions to the field of automated verification in the last two decades. Its development contributed in a crucial way to make model checking successful and practically applicable to concurrent systems.
See press release at: http://www.prlog.org/12350330-2014-cav-computer-aided-verification-conference-award-announcement.html
International Conference on Automated Deduction (CADE)
Herbrand Award for Distinguished Contributions to Automated Reasoning
Robert L. Constable
in recognition of his pioneering research in automated reasoning, such as his seminal contributions to the foundations of computational type theory; the creation of Nuprl, the first constructive type theory based theorem prover; the development of the correct-by-construction programming paradigm; and their applications to verification and synthesis of computer systems, including distributed computing.
The 7th International Joint Conference on Automated Reasoning
July 19, 2014
Maria Paola Bonacina
President of CADE Inc.
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.
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