Trade ChakraTrade ChakraTrade Chakra
Trade Chkra
Trade Show Directory:  Taipei:  TASE 2010

TASE 2010

Mail This Page Printer Friendly Page
Start Date 24-08-2010 End Date27-08-2010
Venue Barry Lam Hall of EECS, National Taiwan University
City Taipei Country Taiwan
Category Computer & IT

Event Profile
TASE 2010 will provide a forum for presenting and discussing basic ideas in software engineering of large-scale systems. It will focus on the study of principles, guidelines, and empirical rules. Practitioners and researchers in software engineering will be invited in the debate and discussion. The forum will feature seminars on the latest industry issues, wide range of case studies and real-life examples. It will also include an interactive panel discussion to encourage participants to share their views. The event will also offer the attendees excellent networking opportunities with real industry decision-makers.

The conference will cover the topics mentioned below:
  • Property Checking for 1-Place-Unbounded Petri Nets
  • Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic
  • Bisimulations for Open Processes in Higher Order Pi-Calculus
  • Specification, Verification and Implementation of Business Processes using CSP
  • A Formal Model for Service Choreography with Exception Handling and Finalization
  • Efficient Algorithms for Building the Sets P and W
  • Runtime Verification with Multi-Valued Formula Rewriting
  • Axiomatic Interval Temporal Logic Verification
  • On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
  • Modeling Reconfirgurable Systems Using Flexible Petri Nets
  • A Guarded Workflow Language and its Formal Semantics
  • Proving Model Transformations
  • A Certifying Compiler for Clike Subset of C Language
  • Stack Bound Inference for Abstract Java Bytecode

Visitor Profile

The visitors at TASE 2010 would include:
  • Scientists
  • Researchers
  • Scholars
  • Computer engineers
  • Software engineers
  • Academicians
  • Educators
  • Students
  • Press people

Academia Sinica - Institute of Information Science

Report typo or correction

Recent Additions

Trade Shows In Taipei