Title | MS Thesis Public Oral Defense of Mr. Omar Zuhair Alzuhaibi - 10 Dec., 2015 | Body |
|
|
|
|
|
|
|
|
|
|
All University faculty, researchers and students are cordially invited to the following MS Thesis Defense with details as follows: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Name |
: |
Omar Zuhair Alzuhaibi |
|
|
|
Department |
: |
Information & Computer Science |
|
|
|
MS Thesis Title |
: |
A Formal Executable Semantics of Orc using the K Framework |
|
|
|
MS Thesis Advisor |
: |
Dr. M Al-Turki |
|
|
|
Date |
: |
Thursday, December 10, 2015 |
|
|
|
Time |
: |
03:00 PM |
|
|
|
Location |
: |
Building No. 59, Room No. 1015 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Expires | |
|
