The power of prediction is a key to survival. We have seen rise and fall of industries in the last couple of decades; events that impacted millions of lives. In today’s world nothing impacts the job market more than birth of a disruptive technology. Two of these technologies Deep Learning and CRISPR and their impacts can be dramatically different than any other technologies. A Sci-Fi future is not just plausible, it might even be inevitable and such a future is possible only by combining these two technologies.
Clustered regularly interspaced short palindromic repeats (CRISPR) are segments of prokaryotic DNA containing short, repetitive base sequences.
Deep learning has transformed the way in which we design machine learning systems. In this talk a brief overview of modern advances to the deep learning paradigm was provided. Starting off with deep reinforcement learning: DQN (Nature, 2015) and A3C (CoRR, 2015), motivate the role of generative modelling in the emerging research landscape and discuss several recent models, including Pixel CNNs (ICML, 2016), AIR (NIPS, 2016) and Conditional 2D->3D (NIPS, 2016).
Video : http://www.aparat.com/utacm
Slides: http://acm.ut.ac.ir/acm/uploads/post_attachment/attachment/87/Intelligent_Perception.pd
Aspects of concurrency and distribution pervasively appear in modern computing systems, including personal devices, data centers, aircrafts and medical devices. Due to complicated interactions between processes, concurrent and distributed systems are subtle and prone to bugs. Such bugs have led to death of patients and blackouts with millions of dollars financial loss. Can we build concurrent and distributed systems with static safety and security guarantees?
Runtime Verification (RV) is a lightweight method for monitoring the formal specification
of a system during its execution. In this talk, I will show that employing the existing formal
logics semantics for runtime verification result in inconsistent distributed monitoring for
some formulas. To tackle this problem, we introduced a family of logics, that refines LTL by
incorporating 2k +4 truth values, for each k >= 0. These truth values can be effectively used
by local monitors to reach a consistent global set of verdicts for each given formula, provided
k is sufficiently large. I will also intoriduce an algorithm for monitor construction enabling
fault-tolerant distributed monitoring based on the aggregation of the individual verdicts by
each monitor.
In the era of Cyber-Physical systems and Internet of Things, software system developers have to deal with increasing complexity of huge and heterogenous systems. Building distributed, asynchronous, and event-based systems is a complicated task. Moreover, because of the dynamic and evolving nature of autonomous systems, a key challenge is providing runtime quality assurance techniques - in form of verification and performance analysis – that can react to changes in a timely manner.
This conference was composed of 4 talks and a panel by teachers of University of Tehran, major tech companies, and startups in Iran. It pictured the state of industry and offered advice on career development. This event was sponsored by Dotin.
“Staying an engineer or not” was held with the intent to investigate the experience of changing majors with the presence of a number of engineering graduates who went on to study in majors other than engineering. In this event issues such as the reason for this change, confusions of bachelors, the variety of paths a student can take and the correct way of thinking about this subject were addressed.