ANN: Int. Journal of Foundations of Computer Science - TOC alert

Dear Colleagues,

Vol 14, No 4 of International Journal of Foundations of Computer
Science (IJFCS) is out. Articles are available in electronic format
from http://www.worldscinet.com/ijfcs.html

Table-of-contents:

Special Issue
Verification and Analysis of Infinite State Systems

Preface

Invited Papers

On Reasoning About Rings
by E. Allen Emerson and Kedar S. Namjoshi

A Generic Approach to the Static Analysis of Concurrent Programs with
Procedures
by Ahmed Bouajjani, Javier Esparza and Tayssir Touili

Contributed Papers Abstraction and Counterexample-Guided Refinement in
Model Checking of Hybrid Systems
by Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Joel Ouaknine,
Olaf Stursberg and Michael Theobald

Efficient Symbolic Representations for Arithmetic Constraints in
Verification
by Constantinos Bartzis and Tevfik Bultan

A Logical Characterisation of Event Clock Automata
by Deepak D'souza

Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms
of Siphon-Based Properties
by Li Jiao and To-Yat Cheung

A Completely Verified Realistic Bootstrap Compiler
by Axel Dold, Friedrich Von Henke and Wolfgang Goerigk

Regular Papers 

Distributed omega-Automata
by Kamala Krithivasan, K. Sharda and Sandeep V. Varma

The Equivalence Problem of Finite Substitutions on ab*c, with
Applications
by J. Karhumaki and L. P. Lisovik

Sincerely,
The Editorial Board
IJFCS

[ comp.ai is moderated.  To submit, just post and be patient, or if ]
[ that fails mail your article to <[EMAIL PROTECTED]>, and ]
[ ask your news administrator to fix the problems with your system. ]