Tehran Institute for Advanced Studies (TEIAS)

/ Verification of Concurrent Systems

Verification of Concurrent Systems

Summer School Verification of Concurrent Systems August 8-10, 2017 Venue Address: Mollasadra, North Shiraz, Hakim Azam, No 30. See location on Google map events@teias.institute +982189174612 Organizers MohammadReza MousaviMohammad MorovatiMaryam Hejazinia Overview Concurrency is an ever-increasing trend in designing and implementing computer systems. However, their analysis is notoriously challenging due to the combinatorial explosion…

Read More

Energy and Environmental Economics

Summer School Energy and Environmental Economics September 10-12, 2017 Venue Address: Mollasadra, North Shiraz, Hakim Azam, No 30. See location on Google map events@teias.institute +982189174612 Organizers Executive Chair Mohammad Morovati   Scientific ChairSeyed Reza Mirnezami   Organization ChairMaryam Hejazinia View Gallery Overview The Tehran Institute for Advanced Studies’ summer school on “Energy and…

Read More

The New Science of Market Design

Summer School The New Science of Market Design September 04, 2016 Venue Address: Mollasadra, North Shiraz, Hakim Azam, No 30. See location on Google map events@teias.institute +982189174612 Organizers Executive Chair DR. MOHAMMAD MOROVATI Overview In this workshop, we will discuss foundations and applications of of auction and matching market. We will first cover…

Read More

Cyber-Physical Systems

Summer School Cyber-Physical Systems September 13-15, 2016 Venue Address: Mollasadra, North Shiraz, Hakim Azam, No 30. See location on Google map events@teias.institute +982189174612 Organizers Organization CommitteeMaryam Hejazinia, Local Organizer Chair Mehdi Ghasemi, DRTS Research Lab, School of ECE, University of Tehran, Iran. Vahid Panahi, DRTS Research Lab, School of ECE, University of Tehran,…

Read More

Privacy Policies for Social Networks: A Formal Approach

Talk Privacy Policies for Social Networks: A Formal Approach June 11, 2020(22 Khordad, 1399) Venue This Talk is online events@teias.institute +982189174612 Dr. Raúl Pardo Jimenez Postdoctoral Researcher at the IT University of Copenhagen Overview As the use of Online Social Networks (OSNs) such as Facebook, Twitter or Instagram increases, privacy breaches in these systems keep pace…

Read More

Book on Embeddings in Natural Language Processing

Embeddings in Natural Language Processing Theory and Advances in Vector Representations of Meaning Mohammad Taher Pilehvar, Tehran Institute for Advanced Studies Jose Camacho-Collados, Cardiff University Embeddings have undoubtedly been one of the most influential research areas in Natural Language Processing (NLP). Encoding information into a low-dimensional vector representation, which is easily integrable in modern machine…

Read More

The Interactions of Fiscal and Monetary Policies in Macroeconomic Dynamics

Short Course The Interactions of Fiscal and Monetary Policies in Macroeconomic Dynamics December 24, 2018 Venue , Building No2. Address: Mollasadra Blvd., North Shirazi St., East Daneshvar St., No.17. See location on Google map events@teias.institute +982189174612 Professor Hadi Salehi Esfahani Professor of Economics and Business Administration at the University of Illinois at Urbana-Champaign Overview…

Read More

Econometrics of Commodities

Short Course Econometrics of Commodities January 06, 2019 Venue , Building No2. Address: Mollasadra Blvd., North Shirazi St., East Daneshvar St., No.17. See location on Google map events@teias.institute +982189174612 Dr. Jean-Francois Carpantier Assistant Professor of finance at Aix-Marseille University Overview The course aims to introduce students to the key economic questions raised by commodities…

Read More