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
21 December
Workshop on AI and its impact on society in developing nations Recent technological changes in AI has enabled significant power to analysis and reasoning and this aspect is playing a very constructive role in addressing some of the challenges faced
2 – 4 December 2019
5th International Conference on Countermeasures to Urban Heat Islands The 5th International Conference on Countermeasures to Urban Heat Islands (IC2UHI) is devoted to the science, engineering and public policies to help relieve excess heat and air pollution in urban environments
2 – 4 December 2019
5th International Conference on Countermeasures to Urban Heat Islands The 5th International Conference on Countermeasures to Urban Heat Islands (IC2UHI) is devoted to the science, engineering and public policies to help relieve excess heat and air pollution in urban environments