-
Nov03
ASEAN-China Forum 2020 | Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement
When: 3:00p.m., Tuesday, Nov. 3, 2020Where: Tencent Meeting (ID: 384 549 515; Password: 312312)Topic: Cyber-physical systems (CPS) integrate physical and engineered systems and have the potential to transform the way people interact with engineered systems. They are often used to control public infrastructures like water purification/distribution systems or smart grid systems. When CPS are empl...
-
Nov02
Lecture: New Trend of Urban Development in Africa and Asia
When: 18:30 pm, November 4, 2020Where: Livestreamed on Bilibili website, ID 22532911Lecturer: Yaping WangAll students and staff of Tianjin University are welcome.
-
Oct27
ASEAN-China Forum 2020 | The Energy Policies and Carbon Emissions in Singapore
When: 2:00-4:00 pm, Thursday, Oct. 29, 2020Where: Zoom Meeting (ID: 815 7296 5712)Topic: Dr. Bin Su would analyze the embodied energy and embodied carbon emission in Singapore’s trade process. Thus, Dr. Bin Su analyzed the relationship between energy/carbon emissions and value added from the demand perspective, and used the multiplicative structural decomposition analysis to decompose the aggr...
-
Oct24
ASEAN-China Forum 2020: Automated Smart Contracts Vulnerability Detection and Mitigation
When:3:00p.m., Tuesday, Oct. 27, 2020Where:Tencent Meeting (ID: 498 915 383;Password: 312312)Topic:Concolic testing integrates concrete execution (e.g., random testing) and symbolic execution for test case generation. It is shown to be more cost-effective than random testing or symbolic execution sometimes. A concolic testing strategy is a function which decides when to apply random testing or ...
-
Oct16
School of Architecture·Master Forum
Along with China’s urbanization, the transformation of urban and rural planning has been triggered by the reform of planning system, the application of new technologies and the integration of multiple disciplines. Facing the new normal epidemic situation in 2020, urban and rural planning is responding actively and pursuing innovations.Correspondingly, the School of Architecture, Tianjin Unive...
-
Oct15
ASEAN-China Forum 2020: Automated Smart Contracts Vulnerability Detection and Mitigation
When: 3:00p.m., Tuesday, Oct. 20, 2020Where: Tencent Meeting (ID: 787 253 056; Password: 312312)Topic: Smart contracts are Turing-complete programs that execute on the infrastructure of the blockchain, which often manage valuable digital assets. Solidity is one of the most popular programming languages for writing smart contracts on the Ethereum platform. Like traditional programs, smart contra...
Weijin Road Campus: No. 92 Weijin Road, Nankai District, Tianjin
300072
Peiyangyuan Campus: No.135 Yaguan Road, Haihe Education Park, Tianjin
300350