[pakgrid] One Day Workshop on System Validation - LUMS April 10, 2012 [2 Attachments]

<*>[Attachment(s) from Shafay Shamail included below]

Centre for Advanced Studies in Mathematics (CASM)
(In Collaboration with IEEE Lahore Section)
http://casm.lums.edu.pk

Technical Workshop on System Validation
April 10, 2012

Program
09:30-11:00 Introduction, Behavioral Specification
11:00-11:30 Tea Break
11:30-13:00 Behavioral Specification (cont'd), Sequential Processes
13:00-14:00 Lunch Break
14:00-15:00 Parallel Processes
15:00-15:30 Tea Break
15:30-17:00 Temporal Logic and Model Checking

Please send registration form by mail to :
Dr. Faqir M. Bhatti
Scientific Director, Centre for Advanced Studies in Mathematics (CASM)
Lahore University of Management Sciences (LUMS),
54792 – Lahore Cantt, Pakistan
Ph: 042-35608226, Fax: 042 35722591
Email: noreen@lums.edu.pk

<*>Attachment(s) from Shafay Shamail:

<*> 1 of 1 Photo(s) http://groups.yahoo.com/group/pakgrid/attachments/folder/284789730/item/list
<*> Banner Workshop_April 10, 2012.jpg

<*> 1 of 1 File(s) http://groups.yahoo.com/group/pakgrid/attachments/folder/284789730/item/list
<*> Registration Form (April 10, 2012)[1].docx

------------------------------------

Yahoo! Groups Links

<*> To visit your group on the web, go to:
http://groups.yahoo.com/group/pakgrid/

<*> Your email settings:
Individual Email | Traditional

<*> To change settings online go to:
http://groups.yahoo.com/group/pakgrid/join
(Yahoo! ID required)

<*> To change settings via email:
pakgrid-digest@yahoogroups.com
pakgrid-fullfeatured@yahoogroups.com

<*> To unsubscribe from this group, send an email to:
pakgrid-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
http://docs.yahoo.com/info/terms/