International Symposium on New Technologies for Ur...
The 17th International Symposium on New Technologies for Urban Safety of Mega Cities in Asia was held at IIIT-Hyderabad from 12 - 14 December. Urban safety and environmental management are challenges for any country in the world today. Scientists, researchers,
3rd Indian SAT + SMT School
The Third Indian SAT+SMT School was held at IIIT Hyderabad from 6 - 8 December for Ph.D/masters students and academics from Indian colleges/universities, and engineers from the industry. The theme of this years SAT + SMT School was encodings in
BBC hosts conference on beyond fake news at IIIT-H...
The British Broadcasting Corporation (BBC) hosted a conference Beyond Fake News at IIIT Hyderabad campus on 12 November. The main focus of the conference on tackling the menace of digital misinformation and what could be done about it. And to fight fake
6 – 8 December
The 3rd Indian SAT + SMT School SAT and SMT solvers are the backbone of a wide range of academic and industrial R&D activities today. These include software and hardware verification, logistics, planning, operations research, non-linear discrete optimization, model counting,
12 – 14 December
Symposium USMCA-2018 Urban safety and environmental management are challenges for any country in the world today. Scientists, researchers, academics from Universities & Institutes of higher learning, governments and societies are working together to find new solutions to these global issues.
13 – 17 December
2nd Winter School on User Experience Design Winter School on User Experience Design is a crash course on the vast topic of Human-Computer Interaction with a practical lens on learning how to build useful, usable, and desirable interfaces. You will