Skip to content

University of Engineering & Management

News & Achievements

CONNECTECH 2019
Register at connectech.uem.edu.in Govt. of Bihar, Department of Science & Technology, Bihar Council on Science & Technology (BCST) and the University of Engineering & Management (UEM) in association, are organising the biggest Inter-School Competition - CONNECTECH amongst the top schools of Bihar on 22nd December, 2019 at the IGSC Auditorium, Taramandal, Patna, in celebration of National Mathematics Day (Birth Anniversary of Sri Srinivasa Ramanujan). We wholeheartedly invite science students of different schools to participate in this Technical Bonanza. The school with the best performance will be awarded the CHAMPION SCHOOL AWARD by the Govt. of Bihar, and the school will hold the Champion School Title for 2019-20. Students may compete in four events:- 1. NIRMANA - Science Model Competition - (maximum 4 students in a team) - Classes 9 to 12 2. TECHART - Drawing Competition - Classes 8 to 12 3. PYTHAGORAS STAR - Maths and Physics Test - Classes 9 and 10 4. PYTHAGORAS PRO - Maths and Physics Test - Classes 11 and 12 Students securing First, Second and Third position for each event will be awarded by the Govt. of Bihar with prize money, merit certificate and trophy. Participating students will also be getting participation certificate from Govt. of Bihar. First prize: Rs 5000/- + Trophy + Merit certificate Second prize: Rs 3000/- + Trophy + Merit certificate Third prize: Rs 2000/- + Trophy + Merit certificate Register for the events at connectech.uem.edu.in by 21st December, 2019. All registered students need to reach Taramandal, Patna by 9 am on 22nd December, 2019 for the competition.
Read more
Dec 19, 2019
Other events, University Daily News, Upcoming Events
Eminent Speaker Program by Dr. Madhavan Mukund, Professor and Dean of Studies, Chennai Mathematical Institute, at the UEM Jaipur
UEM JAIPUR ACM STUDENT CHAPTER and Dept. of COMPUTER SCIENCE & ENGINEERING, UEM JAIPUR are organizing an Eminent Speaker Program by Dr. Madhavan Mukund, Professor and Dean of Studies, Chennai Mathematical Institute, at the UEM Jaipur premises on 15th November, 2019 on the topic “Automata and Program Verification". Madhavan Mukund studied at IIT Bombay (B.Tech) and Aarhus University (Ph.D.). He has been a faculty member at Chennai Mathematical Institute since 1992, where he is presently the Dean. His main research area is formal verification. He has active collaborations within and outside India and regularly serves on international conference programme committees. He is the President of Indian Association for Research in Computing Science (IARCS). He also served as President of the ACM India Council (1st July 2016 - 30th June 2018). He has been the National Coordinator of the Indian Computing Olympiad since 2002 and was the Executive Director of the International Olympiad in Informatics from 2011 to 2014. SYNOPSIS: The finite-state automaton model is a very useful abstraction that allows us to capture essential features of a computational system. The language of temporal logic allows us to make assertions about the executions of such finite-state systems. Typically, these assertions are combinations of safety properties ("nothing bad happens") and liveness properties ("something good eventually happens"). These temporal requirements can then be checked algorithmically with respect to the given finite-state automaton model of the underlying system. This process is called model-checking. In this talk, the central ideas involved in model-checking will be introduced. It will be shown how to model a program as a finite-state system, also the language of temporal logic will be introduced and the algorithmic process for verifying assertions in temporal logic will be described.  
Read more
Nov 13, 2019
University Daily News, Upcoming Events
News & Achievements
More
Rankings
2017
NEN (National Entrepreneurship Network) E-Week, 2011-2016
NEN (National Entrepreneurship Network) E-Week, 2016
"Just Careers" Magazine, 2011
NEN (National Entrepreneurship Network) E-Week, 2015
Press Releases