Seminars
Enlarge Font | Minimize Font | Bookmark and Share
Last modified: May 10, 2012 09:07:48.

Date

 

A Qatari Contribution to the Verified Software Initiative

15-16-17/05/2012

Speakers: Professor Marcelo Frias, from the University of Buenos Aires (Argentina)

A-  Several tools will be presented:
 
1. Alloy (developed at MIT)
2. DynAlloy (dynamic extension of Alloy)
3. TACO (tool for bug-finding)
4. FAJITA (tool for automated test generation)
5. AluSAT (solver for bit vector theory)
6. Stryker (tool for bug fixing)
 
B-   Some  foundations of SAT-solving and SMT-solving.

Dates and Locations,
 
Tuesday 15 May 3 p.m. -5 p.m.  Al-Kindi Room (near to Corridor #5, Men Building),
 
Wednesday 16 May 11 a.m.-12:30 p.m. , Room  I110, Corridor #9
 
Thursday 17 May 11 a.m.-1p.m.  Room  D222, Corridor #4

 

Date

 

Mean Failure Cost: A Measure of Dependability

14/05/2012

Speakers: Dr. Ali Mili, New Jersey Institute of Technology, USA

Room I110 (corridor 9) 

at 11:oo AM

 

Date

 

Role of ICT and Scientific Research toward improving e-accessibility of people with disabilities

02/05/2012

Speakers: Prof. Mohamed JEMNI, University of Tunis

Room I110 (corridor 9) 

at 11:oo AM

 

Date

 

Architecting a Science Cloud at WCMC-Q

25/04/2012

Speakers: Mr Hanif Khalak , Weill Cornell Medical College in Qatar

Room I110 (corridor 9) 

at 11:oo AM

 

Date

 

Haptic for medical training simulation

22/04/2012

Speakers: Dr. Osama Halabi , Qatar University

Room E112 (corridor 5)
 

at 5:oo PM

 

Date

 

Access control policy verification and update

04/03/2012

Speakers: Dr. Jinwei HU , Qatar University

Room E112 (corridor 5)

at 5:oo PM

 

Date

 

A FRAMEWORK FOR EFFICIENT SEQUENCE ALIGNMENT USING MAPREDUCE ON THE CLOUD

29/02/2012

The oral examination (viva) for Ms. Rawan AlSaad will be held as follows:
 
Date of Exam: Wednesday, 29th February 2012

(TOMORROW AFTERNOON)
Time: 16:00 - 17:30 pm
Venue: College of Engineering Meeting Room, Corridor 6
 
 
Thesis Title: A FRAMEWORK FOR EFFICIENT SEQUENCE ALIGNMENT USING MAPREDUCE ON THE CLOUD

Supervisor Name: Professor Qutaibah Malluhi

 

Date

 

System Identification approach to Nondestructive Testing in oil & gas sector application

26/02/2012

Speaker: Dr. Uvais Qidwai,  Qatar University

Room E112 (corridor 5)

at 5:00 p.m

 

Date

 

Emulating a Surgical Intervention at the Human Knee

19/01/2012
 

Speaker: Prof. Yasin Dhaher,  Northwestern University

Room Al-Kindi– Men Building– (Near to  Corridor 5-First floor)

at 12:00 noon

 

Date

 

Ubiquitous Creative Method by New Notebook Technology (Idea-Marathon will change your study and life)

14/11/2011
 

Speaker: Takeo Higuchi (Director of Idea Marathon Institute)
& Takaya Yuizono (Associate Professor, School of Knowledge Science, Japan Advanced Institute of Science and Technology)

Room Al-Kindi– Men Building– (Near to  Corridor 5-First floor)

at 10:00 a.m

 

Date

 

Furthering Data-Only Rootkit Attacks

10/10/2011
 

Speaker: Dr. Ryan Riley, Qatar University
Engineering Building
College of Engineering

Room 175 Female Building

at 11:00 a.m

 

Date

 

Freeing Cloud Databases from Privacy Constraints

03/10/2011
 

Speaker:Chris Clifton

I111– College of Engineering

At 11:00 am

 

Date

 

Academic promotion process

29/09/2011
 

Speaker: Professor Hasan Krad

Department of Computer Science & Engineering

I111– College of Engineering

At 12:00 noon

 

Date

 

Model Based Analysis and Design of Self-Managing Systems

22/06/2011
 

Speaker: Dr. Sherif Abdelwahed, Associate Professor. Department of Electrical and Computer Engineering - Mississippi State University, USA.

E112– College of Engineering

At 11:00 a.m

 

Date

 

Photo Forensics - There is more to a picture than meets the eye

06/06/2011
 

Speaker: Prof. Nasir Memon, Professor, Polytechnic Institute of New York University, USA

I111– College of Engineering

At 11:00 a.m

 

Date

 

e-PBL: A Virtual Problem Based Learning Environment in Moodle

23/05/2011
 

Speaker :Mr. Zeyad Ali

E113– College of Engineering

At 11:00 a.m

 

Date

 

IT Trends, and Cloud Computing, services and components

11/05/2011
 

Speaker :Mr Tony Baz, Consulting System Engineer, in Cisco

I110– College of Engineering

At 11:00 a.m

 

Date

 

Secure Verification Platform based on HOL and MDG

04/05/2011
 

Speaker :Otmane Ait Mohamed, ing., Ph.D., Associate Professor. Electrical and Computer Engineering Department  Concordia    University, Montreal, Quebec, Canada

I110– Corridor #9– College of Engineering

At 11:00 a.m

 

Date

 


Title: Mobile Apps for News: An International Media Perspective

02/05/2011
 

Speaker :Mr Safdar

Computer Science and Engineering Department meeting Room, College of Engineering,

At 11:00 a.m

 

Date

 

Computer Graphics (procedural modeling and material representation) and Media Integration.

28/03/2011
 

Speaker :Dr. Kazunori Miyata, Professor at Center for Knowledge Science, JAICST (Japan)

E113– Engineering

At 11:00 a.m

 

Date

 

Cloud Computing: The Next Revolution in Information Technology

27/03/2011
 

Speaker : Prof. Rajkumar Buyya Director, CLOUDS Lab, The University of Melbourne, Australia; CEO, Manjrasoft Pvt Ltd, Melbourne, Australia

I111– Engineering

At 2:30 p.m

 

Date

 

Overview of research and development at Qatar Robotic Surgery Centre: opportunities for joint project

20/03/2011
 

Speaker : Dr. Julien Abi-Nahed,
Lead researcher at Qatar Robotic  Surgery  Centre  (QRSC)

E112– Corridor 5– Engineering

At 5:00 p.m

 

Date

 

Community Informatics

16/03/2011
 

Speaker : Professor Dr. Ahmad Zaki Bin A Bakar  

Room : I111, Corridor 9 – Engineering

At 11:00 a.m

 

Date

 

Multilingual Knowledge Management

13/03/2011
 

Speaker : Professor Dr. Ahmad Zaki Bin A Bakar  

Room : E112– Corridor 5 – Engineering

At 5:00 p.m

 

Date

 

Embedded Systems and System On Chip (SOC) Research in Qatar
 

07/03/2011
 

Speaker :Dr Allam Mohamed (Senior scientist in QU Wireless innovation center)

Room : Room E113 – Corridor #5
College of Engineering

At 11:00 a.m

 

Date

 

Image Engineering and Security: from Pixel to Perception 

06/03/2011
 

Speaker :Professor Ahmed Bouridane

School of Computing, Engineering and Information Sciences
Northumbria University
Newcastle upon Tyne

Room : Room E112 – Corridor #5
College of Engineering

At 5:00 p.m

  

Date

 

E-learning and E-accessibility

02/03/2011
 

Speaker : Professor  Mohamed Jemni

Room :  I111– Corridor #9 College of Engineering
 

At 11:00 a.m

 

Date

 

Off-line Writer Identification Based on Arabic Handwriting

27/02/2011
 

Dr. Somaya Ali S. Al-Ma'adeed

Room E112– Corridor #5, College of Engineering 
 

At 5:00 p.m

 

Date

 

Cryptography and Facts

20/02/2011
 

Speakers: Malike Bouaoud
Head of Risk Management, ictQatar/Q-CERT
& Mr khalid Al-Hashim (CIIP Director)

Room E112– Corridor #5
College of Engineering
 

At 5:00 p.m

 

Date

 

An introduction to CIIP

16/02/2011
 

Speaker : Omar Sherin 

Section Manager, CIIP Governance ictQatar/Q-CERT & Malike Bouaoud    Head of Risk Management, ictQatar/QCERT

Room E113 - Corridor #5 – College of Engineering.

At 11:00 a.m

 

Date

 

Computing with Data without Learning it

17/01/2011
 

Speaker : Professor Mikhail Atallah
Purdue University-USA
 

Room E112– College of Engineering.

At 11:00 a.m

 

Date

 

The International Center of Excellence in Software Engineering at QU

22/12/2010
 

Speaker : Prof. Hany Ammar,  West Virginia University 

Room E112- Corridor #5

At 11:00 a.m

 

Date

 

Application ”Exotic” Routing Protocol Design and Implementation for Wireless Mesh Networks

10/11/2010
 

Speaker : Dr. Dimitrios Koutsonikolas, Purdue University, USA
 

Room I111 - corridor #9

At 11:00 a.m

 

Date

 

Application of Digital Image Deconvolution in Diagnosing Retinopathy in Occluded Retinal Images due to Ocular Opacities

1/11/2010
 

Speaker : Dr. Uvais Qidwai,  Qatar University

Room I111 (corridor #9).

At 11:00 a.m

 

Date

 

The Crowd and the Cloud:  The Next Phase of Innovation and Collaboration Online

24/10/2010

 

Speaker : Professor Michael Nelson
Georgetown University, USA

Room I111 (corridor #9).

At 12:00 noon

 

Date

 

Recovering Lost Packets in Vehicular Communications

10/10/2010

 

By Professor Mahbub Hassan

E112 (CORRIDOR 5)

At 11:00 AM

 

Date

 

Use of Cross-language Information Retrieval in Machine Translation

22/9/2010

 

By Dr Nasredine Semmar

Room I111

At 11:00 AM

 

Date

 

Intelligent Transportation Systems: Monitoring, Assessment, and Control

5/5/2010

 

By Professor Bruce Hellinga, University of Waterloo

Room E112 (Corridor 5)

At 5:00 PM

 

Date

 
Introduction to Programmable Web using Web services
2/5/2010

 

Presented by Dr Abdelkarim Erradi
Qatar University - College of Engineering

Room: E112, corridor 5

At 5:00 PM

 

Date

 
Tutorial about the use of algebraic surfaces in geometric modeling
24/4/2010

 

Presented by Proessor Sebti Foufou
Qatar University - College of Engineering

Room: E112, corridor 5

At 5:00 PM

  

Date

 
High speed wide area data movement: Challenges in the era of 10+ Gbit/s networks
4/4/2010

 

presented by
Dr. Rajkumar Kettimuthu, Argonne National Laboratory, USA, and research follow at University of Chicago.
Room  E112, Corridor 5
at 5:00 p.m

 

Date

 
Ontology is the base of the Semantic Web  
1/3/2010

 

Presented By: Mr. Firas Al-Laban
Lab AD 121 Women Foundation Building 

11:00 am – 11:45 am

 

Date

 
Resource Management in Broadband Wireless Access Networks
24/2/2010

 
Presented by Prof. Hossam Hassanein , School of Computing, Queen's University
QUWIC - QSTP
at 12:30 noon

 

Date

 
Hacked! Things to Learn From Google vs. China
25/1/2010

 
Presented by Dr Ryan Riley , Qatar University, Department of Computer Science & Engineering.
Room 1064, CMUQ building
at 12:00 noon

  

Date

 
Monitoring and Adaptation of Composite web services 
4/1/2010

 
Presented by Dr Abdelkarim Erradi
From Qatar University
Lecture Room I111 (Corridor 9)
At 11:00 AM

 

Date

 
The Programming of Cells
28/12/2009

 
Presented by Dr. Nawwaf Kharma
From Concordia University
Lecture Room I111 (Corridor 9)
At 11:00 AM

 

Date

 
Laser-Ultrasound and Related Mathematical modeling with Applications to Nondestructive Testing 
23/11/2009

 
Presented by Dr. Uvais Qidwai,
College of Engineering Building,
Room no. I111, Corridor 9
At 11:00 AM

 

Date

 
Modern wireless Systems 
1/11/2009

 
Presented by Dr. Todor Cooklev, Indiana University.
Room (I 111), College of Engineering Building
At 11:30 AM

 

Date

 
Geometric Modeling using Sypershapes and Dubin Cyclides 
12/10/2009

 
Presented by Professor Sebti Foufou, Department of Computer Sc. And Eng., Qatar University
ROOM 208- MEN BUILDING
At 11:00 AM

 

Date

 
Multiresolution Analysis: Algorithms, Applications and Low Power Reconfigurable Architectures
4/10/2009

 
Presented by Dr Abbes Amira (Brunel University, UK)
Room 208, Men Building (in front of corridor 5)
At 11:00 AM

 

Date

 
Mathematical Aspects of Data Compression
20/5/2009

 
Presented by Dr Rudolph Lorentz
Room 180, Corridor 9
At 11:00 AM

 

Date

 
Monitoring and Adaptation of Composite Web Services 
30/4/2009

 
Presented by Dr. Abdelkarim Erradi
In the CSE Department Meeting Room
At 10:00 AM

 

Date

 
Writer Identification of Arabic Handwriting Documents  
29/4/2009

 
Presented by Dr. Somaya Ali S. Al-Ma'adeed
Room 1030 in CMU
At 10:00 AM

 

Date

 
Security hardening for open source software
22/3/2009

 
Presented by Dr. Azzam Mourad
Room 111, Corridor 9 - QU
At 11:00 AM

 

Date

 
Intrusion Detection in Operating Systems
25/2/2009

 
Presented by Mr. Ryan Riley
Room 180, Corridor 9, Qatar University
At 11:00 AM

 

Date

 
Lessons Learned from the Internet Project
19/2/2009

 
Presented by Dr. Douglas Comer, VP Research & Collaboration, CISCO
Lecture Hall 1064
At 12:00 noon

 

Date

 
Formal Verification of Real Time Systems
16/2/2009

 
Presented by Dr Rashid Hadjidj  (QU)
In the College of Engineering
Room 111, Corridor 9, Qatar University
At 11:00 AM

  

Date

 
The Birth of Model Checking
26/11/2008

 

Presented by Professor Edmund M. Clarke
In the Department of Computer Science & Engineering
Room 180, Corridor 9, Qatar University
At 11:00 AM

 

Date

 
Statistical Machine Translation into a Morphologically Complex Language
17/11/2008

 
Presented by Kemal Oflazer (CMU)
In the Department of Computer Science & Engineering
Room 180, Corridor 9, Qatar University
At 11:00 AM

 

Date

 
DRM and Trusted Computing - Analysis of a Controversial Technology
3/11/2008

 
Presented by Dr. Theirry Sans (CMU)
In the Department of Computer Science & Engineering
Room 180, Corridor 9, Qatar University
At 11:00 AM

 

Date

 
InfraredImage Enhancement using H? bounds for Surveillance Applications
11/10/2008

 
Presented by Dr Uvais Qidwai (QU)
CMU Qatar Room 1030
At 1:00 noon