Lecturer	Title
June 2
	08.00-09.00	breakfast
	09.15-09.30	opening of SFM-08:Bio
	09.30-12.30	Carolyn Talcott SRI USA	Pathway Logic
	12.30-14.00	lunch
	15.00-18.00	François Fages INRIA Paris Rocquencourt France	Automated Verification of Biological Systems
June 3
	08.00-09.00	breakfast
	09.30-12.30	Stephen Gilmore Univ. of Edinburgh UK	Quantitative Methods in Systems Biology (1 - 2 - 3 - 4)
	12.30-14.00	lunch
	15.00-18.00	Adelinde Uhrmacher Univ. of Rostock Germany	Hierarchical Specification of Biological Systems
June 4
	08.00-09.00	breakfast
	09.30-12.30	Daniel Gillespie Gillespie Consulting USA	Simulation Methods in Systems Biology (1 - 2 - 3)
	12.30-14.00	lunch
	15.00-18.00	Gheorghe Pãun Romanian Academy Romania	Membrane Computing
June 5
	08.00-09.00	breakfast
	09.30-12.30	Monika Heiner Brandenburg Univ. of Tech. Germany	Petri Nets for Systems and Synthetic Biology
	12.30-14.00	lunch
	15.00-18.00	Jane Hillston Univ. of Edinburgh UK	Calculi for Biological Systems
June 6
	08.00-09.00	breakfast
	09.30-12.30	Corrado Priami Univ. of Trento and CoSBi Italy	Using Beta-Binders for Systems Biology
	12.30-14.00	lunch
	15.00-18.00	Natasha Jonoska Univ. of South Florida USA	Self-Assembly of DNA Structures
June 7
	08.00-09.00	breakfast
	09.15-09.30	opening of BISCA day
	09.30-10.30	Pierpaolo Degano Univ. of Pisa Italy	ViCe: A Virtual Prokaryote
	10.30-11.30	Roberto Barbuti Univ. of Pisa Italy	The Calculus of Looping Sequences
	11.30-12.30	Alberto Policriti Univ. of Udine Italy	Hybrid Systems and Biology
	12.30-14.00	lunch
	14.00-15.00	Cristian Versari Univ. of Bologna Italy	A π-Based Process Calculus for the Implementation of Compartimentized Bio-Inspired Calculi
	15.00-16.00	Gianluigi Zavattaro Univ. of Bologna Italy	Expressiveness Issues in Calculi for Artificial Biochemistry
	16.00-16.15	closing of BISCA day and of SFM-08:Bio