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