News and Events

• Logic for Programming Artificial Intelligence and Reasining, 2015  www.lpar-20.org/
• Dagstuhl Seminar: Challenges and Trends in Probabilistic Progamming April 2015
• Electronic Voting Meeting, Melbourne, November 2014
• Workshop on Quantitative Logics, October 2014
• Summer School on Engineering Software Trustworthy Software Systems, South West University, Chongqing, China, September 2014
• Visit of the Princess Team 1-10 July, 2014
• Formal Methods Conference and Doctoral Symposium, Singapore 2014
• Princess Group Meeting, December 2013
• Shonan Meeting, November 2012