See also the publications.

• Implicit Programming project funded with a Starting ERC Grant
• The second Rich Model Toolkit meeting of 2012 took place in Manchester
• Andrej Spielmann presents Synthesis for Unbounded Bitvector Arithmetic at IJCAR 2012
• Giuliano Losa presents Speculative Linearizability at PLDI 2012
• The first Rich Model Toolkit meeting of 2012 took place in Tallinn
• A journal version of synthesis procedures for integer linear arithmetic appears in the Software Tools for Technology Transfer journal by Springer
• VMCAI 2012 is a success! Thanks to all PC members and reviewers, keynote speakers, authors, and participants! Many thanks to Andrey Rybalchenko for being a great co-chair!
• Thomas Wies presents Deciding Functional Lists with Sublist Sets at VSTTE 2012
• Milena Vujosevic-Janicic presents Development and Evaluation of LAV: an SMT-Based Error Finding Platform at VSTTE 2012
• The Constraints as Control paper published. Philippe Suter presents it at POPL 2012

See some of these publications.

• Viktor gives a keynote at SMT 2012

• The paper Complete Functional Synthesis is invited to Communications of ACM Research Highlights
• The paper Test Generation through Programming in UDITA receives ACM Distinguished Paper Award
• Ruzica Piskac receives Google Anita Borg Memorial Scholarship
• Invited tutorial Building a Calculus of Data Structures
• Invited talk Ordered Sets in the Calculus of Data Structures