Time	Authors	Title
8:50-9:00	Opening
9:00-10:00	Luca Cardelli	Invited Talk: Bitonal Membrane Systems
10:00-10:30	COFFEE BREAK
10:30-10:50	Robert Brijder, Matteo Cavaliere, Agustin Riscos-Nunez, Grzegorz Rozenberg, Dragos Sburlan	Membrane Systems with Marked Membranes
10:50-11:10	Matteo Cavaliere, Sean Sedwards	Membrane Systems with Peripheral Proteins: Transport and Evolution
11:10-11:30	Daniel Diaz-Pernil; Miguel A. Gutirrez-Naranjo; Mario J. Perez-Jimenez; Agustin Riscos-Nunez	An Efficient Solution to 3-COL with tissue P Systems
11:30-11:50	Giorgio Delzanno and Roberto Montagna	On Reachability and Spatial Reachability in Fragments of BioAmbients
11:50-12:10	Cosimo Laneve and Fabien Tarissan	A simple calculus for proteins and cells
12:10-12:20	Federica Ciocchetta, Corrado Priami	Biological transactions for quantitative models
12:20-12:30	C. Versari	Encoding Catalytic P Systems in Pi@
12:30-14:30	LUNCH
14:30-15:30	Gheorghe Paun	INVITED TALK: Membrane Computing and Brane Calculi (Some Personal Notes)
15:30-15:50	Giuditta Franco and Maurice Margenstern	Universal Computations by Floating Strings
15:50-16:00	Verena Wolf	Modeling of Biochemical Reactions by Stochastic Automata Networks
16:00-16:30	COFFEE BREAK
16:30-16:50	Julian Gutierrez, Jorge A. Perez and Camilo Rueda, Frank D. Valencia	A Timed Process Calculus for Modeling and Verifying Biological Systems
16:50-17:10	Antonio Vitale and Giancarlo Mauri	Communication via mobile vesicles in Brane Calculi
17:10-17:30	Corrado Priami and Alessandro Romanel	The Decidability of the Structural Congruence for Beta-binders
17:30-17:50	Rudolf Freund and Marion Oswald	Tissue P Systems with Mate and Drip Operations
17:50-18:10	B. Aman, G. Ciobanu	Translating Mobile Ambients into P Systems
18:10-18:20	Xian Xu, Xiaoju Dong and Yuxi Fu	A Model in k for DNA Addition
18:20-18:30	Closing