Welcome to VSTTE 2010 The 3 rd International Conference on Verified Software: Theories, Tools & Experiments Andrew Ireland Conference Chair.

Slides:

Advertisements

Similar presentations

Bor-Yuh Evan Chang Daan Leijen Peter Müller David A. Naumann The Spec# programming system Mike Barnett Rob DeLine Manuel Fähndrich Bart Jacobs K. Rustan.

Advertisements

Software Technical Committee Chair Vision Statement Jim Murphy Jan 14, 2012.

Surviving Security Threats Surviving Security Threats 27 February 2002, LT 27, NUS This slide is the property of Department of Mathematics, NUS.

K. Rustan M. Leino Research in Software Engineering (RiSE) Microsoft Research, Redmond, WA, USA 15 January 2009 Séminaire Digiteo Orsay, France.

1996 AM A Annual Fall Symposium. SCAMC (Symposium on Computer Applications in Medical Care)

UMAP 2014 Welcome General Chairs: Peter Dolog and Geert-Jan Houben Program Chairs: Vania Dimitrova and Tsvi Kuflik.

Welcome to XSEDE14 SSID: XSEDE14 We are honored to have YOU here! Over 630 registered attendees – 204 organizations – 45 states, Puerto Rico, Virgin.

Institute Engagement in AIAA Event Model January 2013.

ATANET 1 Welcome to ATANET 2014.

Lori A. Clarke Department of Computer Science University of Massachusetts.

© Heikki Topi PACE Workshop on Computing Education Research ACM Education Council Meeting Portland, Oregon 9/16 – 9/17/2014 Heikki Topi, Bentley University.

Previous Org Structure In the past, had to work all areas, not just technical program subcommittee.

Introduction to ICIAM The 8th International Congress on Industrial and Applied Mathematics  Host City: Beijing, China.

Organizing successful Meetings by Chapters Dr. Jacob Baal-Schem

ICDM 2004 Business Meeting. Agenda ICDM 2004 conference report –Rajeev Rastogi ICDM 2004 paper statistics (results of data mining) –Shushaku Tsumoto ICDM.

Demonstrations and Vision/Challenges Tracks Co-chairs: Kyriakos MouratidisMario Nascimento.

Welcome Meeting for New Staff University Structure Updated January 2011.

Welcome to IWQoS 2006 June , 2006 New Haven, CT

Rensselaer Polytechnic Institute 1 National Science Foundation NSF Sponsored Workshop Applied Mathematics for Deregulated Electric Power Systems: Optimization,

Welcome to WUWNet’07 The Second ACM International Workshop on Underwater Networks Sponsored by ACM SIGMOBIE Technical Co-Sponsored by IEEE OES Student.

Agents and Data Mining Interaction (ADMI’08) Longbing CAO University of Technology Sydney.

Monitoring Academic Conferences: Real-time Visualization and Retrospective Analysis of Backchannel Conversations Awalin Sopan PJ Rey, Brian Butler, Ben.

IEEE SMC Society announces the second International Conference on System of Systems Engineering (SoSE) with its vast ramifications in numerous engineering.

High Confidence Medical Device Software and Systems Workshop: Government Participants and their Expectations June 2 – 3, 2005 Sally E. Howe, Ph.D. Associate.

Submission Deadline: February 14, 2014 The 15th annual IEEE Wireless and Microwave Technology Conference (WAMICON 2014) will be held in Tampa, Florida.

Seventh IEEE International Working Conference on Source Code Analysis And Manipulation.

Welcome to IEEE IWQoS 2007! Yan Chen Chen-Nee Chuah IWQoS 2007.

1 Science Advisory Board Meeting January 20-21, 2011, Arlington, VA TG’11 report John Towns Science Advisory Board January 20, 2011.

Nuclear Medical and Imaging Sciences Technical Committee Report to NPSS AdCom Suleman Surti November 02, 2013.

9th Workshop on Innovative Use of NLP for Building Educational Applications ACL BEA9 June 26, 2014 Joel Tetreault Jill Burstein Claudia Leacock.

ICEE 2004 Florida Co-Chairs Tim Anderson & Marc Hoit.

1 st International Semantic Web Conference (ISWC2002) Sardinia, Italy, June 2002.

Speakers Human Nature Frans de Waal Joel Garreau Malcolm Gladwell Global Creativity Richard Florida Bruce Mau Jim Rygiel Worldviews Phillip Longman Joseph.

26 June JACoW Steering Committee JACoW 2008 Steering Committee 26 June 2008 Genoa, Italy EPAC’08 Conference Report Christine Petit-Jean-Genaz,

Microsoft Research Faculty Summit Division within Microsoft Research focused on partnerships between academia, industry and government to advance.

Advancing Software for Ecological Forecasting. Introduction: Scientific Workflows Schlesinger et al Terminology for model credibility. Simulation.

Medsin national conference 29 th – 30 th October 2005 A unique and exciting marketing opportunity.

CloudCom 2010 Program  Over 250 submissions from 41 countries  48 main conference papers (less than 25% acceptance rate)  23 work in progress papers.

Report on Communication Architecture for Clusters (CAC) Workshop Dhabaleswar K. (DK) Panda Department of Computer and Info. Science The Ohio State University.

International Conference on Case-based Reasoning (ICCBR) 2010 Isabelle Bichindaritz Stefania Montani.

Programming Languages Mentoring Workshop January 23, 2012 POPL.

Postgraduate Research Welcome Skills Training for PG Research Students Dr Jon Turner.

VLDB 2005 Technical Program Report Christian S. Jensen Technical Program Chair with Klemens Böhm, Klaus R. Dittrich, Laura Haas, Martin Kersten, Masaru.

Games Technical Committee TC Members Number in total = 49 Geographical distribution : North America = 12, South America = 1, Europe = 20, Africa = 0, Asia.

FOSBE rd Conference on Foundations of Systems Biology in Engineering Denver, Colorado Inverness Hotel & Conference Center August 9-12,

Sydney 19 June Thank you to our sponsor Join the conversation Follow us on #ADMASOCIAL Free Wi-Fi is available Password: HHC0nnect!

Industrial Steering Group 28/08/08 Industrial Steering Group Meeting.

End of Year Report Tom Gilchrist, SASQAG Chair The Seattle Area Software Quality Assurance Group.

ACL-IJCNLP-09 General Chair Report Keh-Yih Su August 2nd, Singapore.

Northern Regional Chapter Business Plan.

Update on ACM Education Board and Council activities Jane Prey and Mehran Sahami ACM Education Board Co-Chairs.

Prof. M. M. Shah, TAC1 Report by Technical Activities Coordinator for IEEE Region 10 Presented by: Prof. Mahendra Shah March 2007.

AHM2006: Wrap up, Thank you, Future Events, Prizes Farewells & Haste ye back Fifth UK e-Science All Hands Meeting Malcolm Atkinson Director e-Science Institute.

International Cyber Warfare & Security and B2B Conference Participation of Brazilian Cyber Defense Centre ( )

TENCON 2009 Singapore The conference for IEEE Region 10 members By Region 10, For Region 10 Organizer: “We are proud to be the organizer, and we look forward.

WCC2000 Report to IFIP Council’2000 IPC and OC, WCC2000 March 8, 2000 Washington, DC, USA.

© Andrew IrelandGrand Challenges for Computing Research 2004 The Verifying Compiler Andrew Ireland Dependable Systems Group School of Mathematical & Computer.

Thank you to our sponsors Principal Sponsor Associate Sponsor Networking Sponsor Breakfast Sponsor Creative Partner Endorsed by.

Friday, May 10 –11 Welcome! To the first team captain meeting of our 2013 Relay Season! Thanks for being here! Please take.

KSEA YGTLC rd President: Kookjoon Ahn, PhD 42 nd YGD1: Michael Lee 42 nd YGD2: SJ Claire Hur, PhD.

March 2016 AzWater Conference Committee Meeting Sponsored by:

Interactive Multimedia Systems: (COMP3013) Course Overview Dave Millard (dem) Paul Lewis (phl)

The 9 th International Symposium on Heating, Ventilation and Air-conditioning and the 3 rd International Conference on Building Energy and Environment.

D E P A R T M E N T O F COMPUTER SCIENCE AND SYSTEMS ANALYSIS SCHOOL OF ENGINEERING & APPLIED SCIENCE O X F O R D O H MIAMI UNIVERSITY D E P A R T M E.

NDIA ICOTE Meeting November 12, Industrial Committee on Test & Evaluation Joe Manas, T&E Division Chair Raytheon Company (520)

Industrial Committee on Test & Evaluation

Welcome to Workshop on Network-I/O Convergence: Experience, Lessons, Implications NICELI SIGCOMM August 27, 2003.

Andrew Ireland Dependable Systems Group

DATE 2014 Venue: Dreseden, Germany Date: March 24 – 28, 2014

Bert Weinstein VP, Corporate Compliance Purdue Pharma, L.P.

Presentation transcript:

Welcome to VSTTE 2010 The 3 rd International Conference on Verified Software: Theories, Tools & Experiments Andrew Ireland Conference Chair

Deputy Principal’s Welcome Julian Jones

VSTTE 2010 An interactive event, with maximum participation: ◦ Wide variety of sessions – no parallel sessions ◦ Dedicated room for informal system demos Student engagement: ◦ NSF and SICAS student grants for VSTTE 2010 ◦ SICSA sponsored Summer School - new for 2010  Lucas Dixon, Gudmund Grov & Ewen Maclean 30 Participants and 10 Distinguished Speakers: Bob Atkey, Alan Bundy, Lucas Dixon, Jane Hillston, Cliff Jones, Gerwin Klein, Ewen Maclean, J Moore, Natarajan Shankar, Graham Steel

Sponsors & Supporters Thanks to the Edinburgh Conference Centre, Heriot-Watt’s Technology & Research Services, Converge Corporate Communications, Graphic & Media Services, School of Mathematical & Computer Sciences and the School of Informatics (University of Edinburgh) for their support.

Local Arrangements Team Gudmund Grov Ewen Maclean Teresa Llano Dominic Mulligan June Maxwell Christine McBride Michelle Brown (Corp Comms)

Steering Committee Welcome Tony Hoare, Jay Misra, Natarajan Shankar, Jim Woodcock

Program Co-Chairs’ & General Workshop Chair’s Welcome Gary T. Leavens, Peter O’Hearn, Sriram Rajamani Peter Mueller

VSTTE Program 3 Keynotes 20 Posters 4 Invited Tool Demo/Presentations Discussion Panel 2 sequential ½ day workshops Verification competition 11 Research papers

Program Committee Ahmed Bouajjani Leo Freitas Philippa Gardner John Hatcliff Ranjit Jhala Joseph Kiniry Rustan Leino Xavier Leroy David Naumann Matthew Parkinson Wolfgang Paul Shaz Qadeer Andrey Rybalchenko Augusto Sampaio Zhong Shao Aaron Stump Serdar Tasiran Willem Visser Chin Wei-Ngan Stephanie Weirich Greta Yorsh

Workshop Committees Theory WS: Amal Ahmed Rajeev Alur Anupam Datta Yannis Kassios Neel Krishnaswami Daniel Kroening Antoine Mine Aleks Nanevski David Naumann (Co-Chair) Tamara Rezk Dave Schmidt Ashish Tiwari Viktor Vafeiadis Hongseok Yang (Co-Chair) Tools & Experiments WS: Leo Freitas Rajeev Joshi (Co-chair) Moonzoo Kim Joe Kiniry Daniel Kroening Tiziana Margaria (Co-chair) Thomas Santen Gerhard Schellhorn Bernhard Steffen

Statistics 32 submissions, 11 accepted. Acceptance rate about 34%.

Our Keynote Speaker… Tom Ball