Tehran Institute for Advanced Studies (TeIAS)

/ Verification of Concurrent Systems

Summer School

Verification of Concurrent Systems

August 8-10, 2017

Venue

Khatam University
Address: Mollasadra, North Shiraz, Hakim Azam, No 30. See location on Google map

+982189174612

Organizers

MohammadReza Mousavi
Mohammad Morovati
Maryam 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 of their state-spaces. Ad-hoc and manual techniques come short of making any substantial claim regarding quality and correctness of such systems. This school addresses this challenge by presenting a rigorous and expressive modeling framework for specifying such systems and an arsenal of verification techniques to efficiently verify their correctness. We report on several case studies where these techniques have been effectively applied and how they have affected the quality of concurrent and communicating system designs.

TARGET AUDIENCE

The course is intended for graduate students in Computer Science and Engineering and related fields. The course does not assume much prior knowledge apart from some basic affinity with logic and discrete mathematics.

Speakers

PROFESSOR JAN FRISO GROOTE
EINDHOVEN UNIVERSITY OF TECHNOLOGY

Jan Friso Groote head of the Formal System Analysis group at Eindhoven University of Technology. He also works one day a week at ASML, the world leading wafer scanner manufacturer. Professor Groote studied computer science at Twente University (The Netherlands). He received his PhD. degree (with prof.dr. Bergstra as his advisor) from the University of Amsterdam on a thesis entitled `Process Algebra and Structured Operational Semantics’. Subsequently, his research shifted towards practical usability of the theory. To this end, he developed mCRL2, a language and toolset that combines process algebra with data, time, probabilities, modal logics and visualisation. This language and toolset has been used to model, analyse and design a range of systems, including medical protocols, railway control systems, control of storage facilities and software for wafer scanners and the CERN’s particle accelerator in Geneva.

I very much like Iran and the hospitality of its inhabitants, and enjoyed giving this summer school on verification of concurrent systems equally well.

PROFESSOR MOHAMMADREZA MOUSAVI
UNIVERSITY OF LEICESTER, UK

Mohammad Reza Mousavi is a professor of Data-Oriented Software Engineering at University of Leicester, UK and part-time (guest) professor at Gothenburg University and Halmstad University, Sweden. He received his Bachelor and Masters degree from Sharif University of Technology, Iran and
his Ph.D. in Computer Science in 2005 from TU Eindhoven, The Netherlands. Since then, he has been postdoctoral researcher (2006-2007) at Reykjavik University, Iceland, and assistant and associate professor (2005-2013) at TU Eindhoven and professor at Halmstad University.
His research interests are in formal semantics and verification and his main current research area in model-based testing, particularly applied to software product lines and cyber-physical systems.

AMIN SADEGHI
UNIVERSITY OF TEHRAN

 

Title of presentations:
Opening and Introduction to Cryptocurrencies
Mechanics of Bitcoin
Ethereum and Smart Contract

Mohammad Amin Sadeghi completed his PhD at the University of Illinois at Urbana-Champaign. He is currently a faculty member in Computer Engineering at the University of Tehran. He is interested in cryptocurrencies and their applications.

Schedule

7:30-8:30 Reception and Continental Breakfast
8:30-9:00 Opening
09:00-10:30 Cameron J. Hepburn; “Climate And Environmental Drivers of the Energy Transition”
10:30-11:00 Coffee / Tea Break
11:00-12:30 Cameron J. Hepburn; “Technological Drivers of the Energy Transition” 

14:00-15:30 Massimo Filippini; “Energy Demand, Energy Efficiency and Financial Literacy” (part 1)
15:30-16:00 Coffee / Tea Break
16:00-17:30 Massimo Filippini; “Energy Demand, Energy Efficiency and Financial Literacy” (part 2)

7:30-8:30 Continental Breakfast
8:30-9:30 Frank A. Wolak (Skype); “The Industrial Organization of Energy and Environmental Markets “
09:30-11:00 Jorge E. Vinuales; “Technological Transitions and Their Implications for Future Demand of Fossil Fuels”
11:00-11:30 Coffee / Tea Break
11:30-13:00 Jorge E. Vinuales; “The Laws of Energy Transitions” 

14:30-15:30 Hossein Abdoh; “Energy Economics and Finance in Iran” (Farsi)
15:30-16:00 Coffee / Tea Break
16:00-17:30 Paul J. Stevens (Presented by Organizers); “Prospects for the International Oil Companies and Oil Prices: Lower for Longer?” (Farsi)

7:30-8:30 Continental Breakfast
8:30-9:30 Richard Eckaus (Presented by Abbas Ghandi); “Climate Change: Sources, Effects, and Policy” (Farsi)
9:30-11:00 Abbas Ghandi; “Development of oil service contracts in Iran and Iraq” (part 1) (Farsi)
11:00-11:30 Coffee / Tea Break
11:30-13:00 Abbas Ghandi; “Climate change: sources, effects, and policy” (part 2) (Farsi)

14:30-16:00 Mohammad Morovati “The Emergence of Shale Producers and Its Fundamental Effect on Energy Markets“ (Farsi)