 | Program for Tutorials |
| 
| Top |
| |
| Conference Program |
Conference Program
Melia Hanoi Hotel, Hanoi, 19-21 October, 2005
Wednesday, 19 October, 2005
|
8:00 - 8:45 | Registration |
|
8:45 - 9:00 | Opening (Session Chair: Le Hai Khoi) |
|
9:00 - 10:00 | Invited Lecture (Session Chair: Martin Wirsing) |
|
| A Rewriting Logic Sampler |
|
| José Meseguer |
|
10:00 - 10:30 | Coffee Break |
|
10:30 - 12:00 | Parallel Sessions |
|
Session 1A | Automata and
Formal Languages (Session Chair: Do Long Van) |
|
| Outfix-free Regular Languages and Prime Outfix-free Decomposition |
|
| Yo-Sub Han and Derick Wood |
|
| Solving First Order Formulae of Pseudo-Regular Theory |
|
| Sébastien Limet, Pierre Pillot |
|
| Splicing Array Grammar Systems |
|
| K G Subramanian and A Roslin Sagaya Mary and K S Dersanambika |
|
Session 1B | Logic for
Software Construction (Session Chair: Robert Goldblatt) |
|
| Compositionality of Fixpoint Logic with Chop |
|
| Naijun Zhan and Jinzhao Wu |
|
| An SLD-Resolution Calculus for Basic Serial Multimodal
Logics |
|
| Linh Anh Nguyen (paper presented by Tran Cao Son) |
|
| Upside-Down Transformation in SOL/Connection Tableaux and its
Application |
|
|
Koji Iwanuma and Katsumi Inoue and Hidetomo Nabeshima |
|
12:00 - 13:30 | Lunch |
|
13:30 - 14:30 | Invited Lecture (Session Chair: Dang Van
Hung) |
|
| Component-Based Software Engineering -- the Need to Link
Methods and their Theories |
|
| He Jifeng, Xiaoshan Li, and Zhiming Liu |
|
14:30 - 15:00 | Coffee Break |
|
15:00 - 17:00 | Parallel Sessions |
|
Session 2A | Object-orientation, Components and Software Architecture (Session
Chair: Luis Barbosa) |
|
| On Refinement of Software Architectures |
|
| Sun Meng, Luis S. Barbosa and Zhang Naixiao |
|
| POST: A Case Study for an Incremental
Development in rCOS |
|
| Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao and He Jifeng |
|
| Implementing Application-specific Object-Oriented Theories in
HOL |
|
| Kenro Yatake, Toshiaki Aoki and Takuya Katayama |
|
| Constructing Open Systems via Consistent Components |
|
| Nguyen Truong Thang and Takuya Katayama |
|
Session 2B | Real-time
Embedded Systems and Logics (Session Chair: Michael R. Hansen) |
|
| The Timer Cascade: Functional Modelling and Real Time
Calculi |
|
| Raymond Boute and Andreas Schaefer |
|
| A Robust Interpretation of Duration Calculus |
|
| Martin Fraenzle and Michael R. Hansen |
|
| Symbolic Model Checking of Finite Precision Timed Automata |
|
| Rongjie Yan, Guangyuan Li and Zhisong Tang |
|
19:30 - 21:30 | Reception |
|
|
Thursday, 20 October, 2005
|
8:30 - 9:30 | Invited Lecture (Session Chair: Zhiming Liu) |
|
| A Calculus of Interaction for Software Composition |
|
| Farhad Arbab |
|
9:30 - 10:00 | Coffee Break |
|
10:00 - 12:00 | Parallel Sessions |
|
Session 3A | Concurrency and
Refinement (Session Chair: Martin Wirsing) |
|
| Covarieties of Coalgebras: Comonads and Coequations |
|
| Ranald Clouston and Robert Goldblatt |
|
| Linking Theory of Concurrency |
|
| He Jifeng and C. A. R. Hoare |
|
| On Cool Congruence Formats for Weak Bisimulations (extended
abstract) |
|
| Rob van Glabbeek |
|
| Externalized and Internalized Notions of Behavioral
Refinement |
|
| Michel Bidoit and Rolf Hennicker |
|
Session 3B | Software
Security (Session Chair: Antonio Ceron) |
|
| Information Flow is Linear Refinement of Constancy |
|
| Fausto Spoto |
|
| On Typing Information Flow |
|
| Gerard Boudol |
|
| Representation and Reasoning on RBAC: A Description Logic
Approach |
|
| Chen Zhao, Nuermaimaiti.Heilili, Shengping Liu and Zuoquan Lin |
|
| Revisiting Failure Detection and Consensus in Omission Failure
Environments |
|
| Carole Delporte-Gallet,
Hugues Fauconnier, and
Felix C. Freiling |
|
12:00 - 13:30 | Lunch |
|
13:30 - 14:30 | Invited Lecture (Session Chair:
He Jifeng) |
|
| Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks |
|
| Reiko Heckel |
|
14:30 - 15:00 | Coffee Break |
|
15:00 - 17:00 | Parallel Sessions |
|
Session 4A | Quantitative
Reasoning Logic (Session Chair: Martin Fraenzle) |
|
| Congruences and Bisimulations for Continuous-time Stochastic
Logic |
|
| Ernst-Erich Doberkat |
|
| A Logic for Quantum Circuits and Protocols |
|
| Manas Patra |
|
| Quantitative Temporal Logic Mechanized in HOL |
|
| Orieta Celiku |
|
| Weak Stochastic Bisimulation for Non-Markovian Processes |
|
| Natalia López, Manuel Núnez |
|
Session 4B | Program Constructions and Programming
Languages (Session Chair: Gerard Boudol) |
|
| On the Stability Semantics of Combinational Programs |
|
| Tran Van Dung |
|
| Generating C Code from LOGS Specifications |
|
| Jianguo Zhou and Yifeng Chen |
|
| Formalizing the Debugging Process in Haskell |
|
| Alberto de la Encina, Luis Llana and Fernando Rubio |
|
| Finding Resource Bounds in the Presence of Explicit Deallocation |
|
| Hoang Truong and Marc Bezem |
|
19:30 - 22:30 | Conference Banquet |
|
|
Friday, 21 October, 2005
|
8:30 - 9:30 | Invited Lecture (Session Chair: Jean-Eric Pin) |
|
| Codes and Length-Increasing Transitive Binary Relations |
|
| Do Long Van, Kieu Van Hung and Phan Trung Huy |
|
|
|
9:30 - 10:00 | Coffee Break |
|
|
|
10:00 - 11:30 | Parallel Sessions |
|
Session 5A | Model-checking
and Algorithms (Session Chair: Jay Bagga) |
|
| A Sub-quadratic Algorithm for Conjunctive and Disjunctive
Boolean Equation Systems |
|
| Jan Friso Groote and Misa Keinänen |
|
| Using Fairness Constraints in Process-Algebraic
Verification |
|
| Antti Puhakka |
|
| Maximum Marking Problems with Accumulative Weight Functions |
|
| Isao Sasano, Mizuhito Ogawa, and Zhenjiang Hu |
|
Session 5B | Applied
Logics and Computing Theory (Session Chair: K G Subramanian) |
|
| Toward an Abstract Computer Virology |
|
| Guillaume Bonfante, Matthieu Kaczmarek, and Jean-Yves Marion |
|
| On Superposition-Based Satisfiability Procedures and their
Combination |
|
| Hélène Kirchner, Silvio Ranise, Christophe
Ringeissen, and Duc Khanh Tran |
|
11:30 - 12:00 | Closing |
|
12:00 - 13:30 | Lunch |
|
14:00 - 18:00 | Excursion to Co Loa Citadel |
|
|
| Conference Program |
| Program for Tutorials |
| |
| Top |
| |