%\documentclass[a4,10pt]{article} 
%\usepackage[a4paper,top=2cm,bottom=2cm,left=2cm,right=2cm]{geometry}
%\usepackage{ecmlpkdd2012booklet}

%\begin{document}

\workshopHeader{Learning and Discovery in Symbolic Systems Biology}
{Oliver Ray and Katsumi Inoue} % organisers
{09:00--16:00} % please use this time format everywhere
{Room: Wills, 1.5}
{Monday}

% Add an introduction to the workshop here
\workshopIntro{Symbolic Systems Biology is a rapidly emerging field involving the application of formal logic-based methods to Systems Biology and Bioinformatics. 
%
The main aim of the workshop is to explore how machine learning and knowledge discovery techniques can be used within such formalisms
 in order to further the practical utility of Symbolic Systems Biology. 
%
A secondary aim is to identify ways in which purely symbolic methods have been or could be combined with numerical techniques 
and applied to emerging problems in experimental and synthetic biology. 
%
Finally, we wish to provide a forum to discuss recent developments within symbolic system biology 
that enhance the power or usability of its constituent approaches. 
}

% Use the following commands to set up a timetable:
% \timeTitle
% \timeTitlePeople
% \timeTitlePeopleAbstract
% Vertical spacing between the above is inserted automatically.

\timeTitle{09:00--09:05}{Welcome Address}

\timeTitlePeople{09:05--09:40}{Invited Talk: Equation Discovery for Systems Biology}{Saso Dzeroski}

\timeTitlePeople{09:40--10:05}{Biocircuit Design with Equation Discovery}{Jovan Tanevski, Nikola Simidjievski and Saso Dzeroski}

\timeTitlePeople{10:05--10:30}{Symbolic Systems Biology: a Roadmap}{Oliver Ray and Marcus Tindall}

\timeTitle{10:30--11:00}{Coffee Break}

\timeTitlePeople{11:00--11:25}{Abducing Biological Regulatory Networks from Process Hitting models}{Maxime Folschette, Loic Pauleve, Katsumi Inoue, Morgan Magnin and Olivier Roux}

\timeTitlePeople{11:25--11:50}{Logical Modeling of Cancer and Chemoprevention}{Antonis Kakas, Sotiris Lazarou, Christiana Neophytou and Andreas Constantinou}

\timeTitlePeople{11:50--12:15}{Learning a Causal Network from Temporal Cancer Gene Expression Data: A Logical Abduction Approach}{Hiroaki Watanabe, Stephen Muggleton, Richard Currie, Pooja Jain, Dianhuan Lin, Jianzhong Chen, Michael Sternberg, Charles Baxter, Jose Domingo Salazar and Stuart Dunbar}

\timeTitle{12:15--13:30}{Lunch (not provided)}

\timeTitlePeople{13:30--13:55}{Learning Monadic and Dyadic Relations: Three Case Studies in Systems Biology}{Michiel Stock, Tapio Pahikkala, Antti Airola, Tapio Salakoski, Bernard De Baets and Willem Waegeman}

\timeTitlePeople{13:55--14:20}{Ongoing Work on Applying Multi-clause ILP to Identify Metabolic Control Points}{Dianhuan Lin, Jianzhong Chen, Hiroaki Watanabe, Pooja Jain, Charles Baxter, Richard Currie, Jose Domingo Salazar, Stuart Dunbar, Mark Earll, Michael Sternberg and Stephen Muggleton}

\timeTitlePeople{14:20--14:45}{Towards Automatic Construction and Corroboration of Food Webs}{Alireza Tamaddoni-Nezhad, Ghazal Afroozi Milani, David Bohan, Stuart Dunbar, Alan Raybould and Stephen Muggleton}

\timeTitle{14:45--15:10}{Panel Discussion}

\timeTitlePeople{15:10--15:35}{Towards a Logic-based Method to Infer Provenance-aware Molecular Networks}{Zahira Aslaoui-Errafi, Sarah Cohen-Boulakia, Christine Froidevaux, Pauline Gloaguen, Anne Poupon, Adrien Rougny and Meriem Yahiaoui}

\timeTitlePeople{15:35--16:00}{Towards a Graphical Rule Editor for the Pathway Logic Assistant}{Amna Abbas, Carolyn Talcott, Merrill Knapp and Oliver Ray}

% Commented out by Tim so it doesn't occupy a second page
%\timeTitle{\startTimeOnly{16:00}}{Coffee Break}

% This entry has no end time and demonstrates how to get the text properly aligned using \startTimeOnly
%\timeTitleText{\startTimeOnly{18:00}}{Workshop dinner at the Beagle pub}{To join us
%  please register your interest with one of the organisers by the end
%  of the lunch break.}

%\end{document}
