A three-day workshop on the topic of ‘Applications of Formal Methods and Machine Learning in Software Testing’ was organized at KICS (Al-Khawarizmi Institute of Computer Science), University of Engineering and Technology, Lahore. The event was conducted at Seminar Hall at KICS. It started on 21st March and lasted till 24th March, 2016. Speaker of the workshop was Dr. Muzammil Shahbaz Sr. Software Research and Development Engineer, Ultra Electronics Airport Systems, Manchester, UK). The workshop was fully informative and knowledgeable that it was attended by a number of participants from the industry, academia and students respectively. Everyone acknowledged it very positively and found it superlative in terms of information.
The last day of the workshop witnessed a certificate distribution ceremony conducted on March, 24, 2016 taken place at 6.30 p.m. at KICS Seminar Hall. Vice Chancellor, UET Lahore was the chief guest of the occasion, who distributed the certificates among the participants.