Logical Methods in Computer Science

1.	Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
	Parosh A. Abdulla, Pritha Mahata and Richard M. Mayr


2.	Cores of Countably Categorical Structures
	Manuel Bodirsky


3.	Expressiveness of Metric modalities for continuous time
	Yoram Hirshfeld and Alexander Rabinovich


4.	Logic Meets Algebra: the Case of Regular Languages
	Pascal Tesson and Denis Thérien


5.	Predicate Abstraction with Under-Approximation Refinement
	Corina S. Păsăreanu, Radek Pelánek and Willem Visser


6.	Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
	Joerg Hoffmann, Carla P. Gomes and Bart Selman


7.	Real-Time Model-Checking: Parameters everywhere
	Véronique Bruyère and Jean-François Raskin


8.	On the decidability and complexity of Metric Temporal Logic over finite words
	Joel O. Ouaknine and James B. Worrell


9.	Adventures in time and space
	Norman Danner and James S. Royer