[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] IEEE TASE 2010: Call-for-Participation (early registrationand hotel information available)



We apologize if you have received multiple copies of the

call-for-participations.

 

==== CALL FOR PARTICIPATION ====

 

4th IEEE Symposium on

Theoretical Aspects of Software Engineering

August 24 - 27, 2010, Taipei, Taiwan, ROC

 

http://www.iis.sinica.edu.tw/tase2010/index.htm

 

---- News ------------------------------------

  * Three keynote speeches by

    Mike Hinchey, Jean-Raymond Abrial, and Libra Huang (IBM, Taiwan)

    have been announced.

  * Hotel information now available.

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

 

IEEE TASE 2010 aims to become a forum for the presentation

and discussion of new fundamental ideas in software engineering

of large-scale systems.

Software engineering of such systems has usually been viewed

as the study of principles, guidelines, and empirical rules.

To manage the complexity of large-scale software projects,

various theories have been proposed. 

The first three TASE conferences were held

in Shanghai, China in June 2007;

in Nanjing, China in June 2008; and

in Tianjin, China in July 2009. 

This year, it will be moved to the beautiful campus

of National Taiwan University. 

The technical program includes 3 keynote speeches, 22 technical papers,

and two tutorials before the general sessions. 

 

Please consider visiting Taipei with this opportunity. 

For further information, please check out the IEEE TASE 2010 website

or send emails to farn@cc.ee.ntu.edu.tw.

 

 

Organizers:

General Chair:

  Farn Wang (National Taiwan Univ.)

 

Finance Chair:

  Hsu-Chun Yen (National Taiwan Univ.)

 

Local Arrangement:

  Churn-Jung Liau (Academia Sinica)

 

Program Cochairs:

  Jing Liu (East China Normal Univ.)

  Doron A. Peled (Bar Ilan Univ.)

  Bow-Yaw Wang (Academia Sinica)

 

Steering Committee:

  Keijiro Araki (Kyushu Univ.)

  Jifeng He (East China Normal Univ.a)

  Michael Hinchey (Lero, IE, chair)

  Zhiming Liu (UNU/IIST)

  Huibiao Zhu (East China Normal Univ.)

 

==[IEEE TASE 2010 Preliminary Program]=============================

 

August 24, 2010 (Tuesday)

 

1000 - 1600

 

Tutorials by Professors Raymond Abrial and Mike Hinchey.

 

1800 - 2000

 

Reception

 

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

August 25, 2010 (Wednesday)

 

0900 - 1000 Session I

Invited talk

Prof. Mike Hinchey

 

1000 - 1030 Coffee break

 

1030 - 1200 Session II

 

Yongxin Zhao, Zheng Wang, Geguang Pu and Huibiao Zhu.

A Formal Model for Service Choreography with Exception Handling and Finalization

 

Chen-Wei Wang, Jim Davies and James Welch.

A Guarded Workflow Language and its Formal Semantics

 

Hung Ledang and Hubert Dubois.

Proving Model Transformations

 

1200 - 1400 lunch

 

1400 - 1530 Session III

 

Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang and Dawei Fan.

A Certifying Compiler for Clike Subset of C Language

 

Shengyi Wang, Zongyan Qiu, Shengchao Qin and Wei-Ngan Chin.

Stack Bound Inference for Abstract Java Bytecode

 

Liu Pan, Miao Huaikou and Mei Jia.

Efficient Algorithms for Building the Sets P and W

 

1530 - 1600 Coffee break

 

1630 - 1800 Session IV

 

Lin Zhao, Tao Tang, Jinzhao Wu and Tianhua Xu.

Runtime Verification with Multi-Valued Formula Rewriting

 

Xiaoxiao Yang.

Axiomatic Interval Temporal Logic Verification

 

Hong Zhu.

On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic

 

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

August 26, 2010 (Thursday)

 

0900 - 1000 Session I

Invited talk

Prof. Raymond Abrial

 

1000 - 1030 Coffee break

 

1030 - 1200 Session II

 

Kahloul Laid, Chaoui Allaoua and Djouani Karim.

Modeling Reconfirgurable Systems Using Flexible Petri Nets

 

Yunhe Wang, Bo Jiang and Li Jiao.

Property Checking for 1-Place-Unbounded Petri Nets

 

Haibin Zhang and Zhenhua Duan.

Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic

 

1200 - 1400 Lunch

 

1400 - 1500 Session III

 

Zining Cao.

Bisimulations for Open Processes in Higher Order Pi-Calculus

 

Moritz Kleine and Thomas Gothel.

Specification, Verification and Implementation of Business Processes using CSP

 

1500 - 1530 Coffee break

 

1530 - 1630 Session IV

 

Saddek Bensalem, Axel Legay, Thanh Hung Nguyen, Joseph Sifakis and Rongjie Yan.

Incremental Invariant Generation for Compositional Design

 

Fei He, He Zhu, William N. N. Hung, Xiaoyu Song and Ming Gu.

Compositional Abstraction Refinement for Timed Systems

 

1630 - 1700 Coffee break

 

1700 - 1800 Session V

 

Hai Wan, Xiaoyu Song and Ming Gu.

Parameterized Specifying and Verifying PLC Systems in Coq

 

Farn Wang.

Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification

 

Raghava Rao Mukkamala and Thomas Hildebrandt.

From Dynamic Condition Response Structures to Buechi Automata

 

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

August 27, 2010 (Friday)

 

0900 - 1000 Session I

 

Invited talk

(Not yet determined)

 

1000 - 1030 Coffee break

 

1030 - 1200 Session II

 

Yongxin Zhao, Yanhong Huang, Jianwen Li and Huibiao Zhu.

Probabilistic Model of System Survivability

 

Jianjun Xu, Qingping Tan and Wanwei Liu.

Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis

 

Shengbo Chen.

Towards Practical Modeling of Web Applications and Generating Tests

 

1200 - 1800 Lunch and excursion

 

1800 - Banquet