 Good morning everybody and welcome to SAT SMT 2019 you know immediately followed by FST TCS 2019 and there are other pre and post conference workshops. So hopefully we will have most of you here for the entire week. So this is the fourth edition of SAT SMT 2019 which has been held in the format of a winter school typically three days with expert invited speakers and also some short presentations from researchers in India. So this time we are extremely privileged to have four expert speakers Venkatesh from Tata Conservancy Services he is going to talk about the use of SAT SMT in industry then we have Sanjith Seshia from University of California Berkeley. We have Matesh Soos who is going to talk tomorrow and tell us about CDCLT and we have Daniel Laber who is going to talk about pseudo-bullying SAT solvers and in addition we will have short talks by people in India who are working on mostly applications of SAT SMT and related areas and also people from Singapore okay. So this time we've had 90 registrations and SAT SMT and out of these 51 students we have code industry participation better than previous years we of course have TCS we have Mentor Graphics those from Mentor Graphics can you please raise your hands okay thank you for coming we have people from ABB I'm told ABB thank you and we have also people from Philips I've told yeah thank you there may be more representatives from industry this is the information that I could gather from the registration data so the more the merrier we really do want a good interaction between industry and academia in the development of this field in India. So I would like to also say that most of the hard work was done by my co-organizers Kuldeep Meel from National University of Singapore I guess everybody knows him and Saurabh Joshi from IIT Hyderabad and Ashutosh Gupta who's busy taking care of several things right now and Subodh Sharma and Venkatesh Chopela who were unable to be present here for some last-minute constraints I would also like to point out Akshay and Newton the organizing chairs of the whole week's events and of course you know several other people in the organizing team Chandu KK and several others so I believe there are a few logistical announcements that Akshay and Newton would like to make after that we'll get going with the talk by Venkatesh.