| 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 |