DCM 2005 Programme

Sunday 10th July 2005

Time Event
09:00-09:05 Welcome
09:05-09:35 A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets
J.-P. Banatre, P. Fradet, Y. Radenac
09:35-10:05 A Universal Accepting Hybrid Network of Evolutionary Processors
F. Manea, C. Martin-Vide, V. Mitrana
10:05-10:25 Token-Passing Nets: Call-by-Need for Free
F.-R. Sinot
10:25-10:45 Supporting Function Calls within PELCR
A. Cosentino, M. Pedicini, F. Quaglia
10:45-11:15 Coffee Break
11:15-11:45 Type Theory and Language Constructs for Objects with States
H. Xu, S. Yu
11:45-12:15 SCHOOL: a Small Chorded Object-Oriented Language
S. Drossopoulou, A. Petrounias, A. Buckley, S. Eisenbach
12:15-12:45 Coalgebraic Description of Generalized Binary Methods
F. Honsell, M. Lenisa, R. Redamalla
12:45-14:00 Lunch
14:00-14:45 Raja Nagarajan
Invited Tutorial: Quantum Communication and Cryptography:
Introductory Concepts and State-of-the-Art
14:45-15:15 On Reversible Combinatory Logic
A. Di Pierro, C. Hankin, H. Wiklicky
15:15-15:45 Classically-Controlled Quantum Computation
S. Perdrix, P. Jorrand
15:45-16:15 Coffee Break
16:15-16:45 A Calculus for Reconfiguration
S. Fagorzi, E. Zucca
16:45-17:15 Splitting mobility and communication in Boxed Ambients
P. Garralda and A. Compagnoni
17:15-17:45 Abstract Effective Models
U. Boker and N. Dershowitz
17:45-18:05 iRho: the Software [System Description]
L. Liquori