\begin{table}[h]
  \centering
  \begin{tabular}{|c|l|l|}
    \hline
    Time & Speaker & Title \\
    \hline
14:00-14:30 & Claudio Sacerdoti Coen & Certified complexity: a general introduction \\

14:30-15:15 & Yann Régis-Gianas	& Certifying and reasoning on cost annotations \\
& & \phantom{     }of C programs \\

15:15-16:00 & Paolo Tranquilli	& Dealing with loop optimizations and pipelines \\

\hline
16:00-16:30 &	& break \\
\hline

16:30-17:00 & Kevin Hammond	& Hume: a Functionally-based Domain Specific Language \\
& (Invited talk)  & \phantom{     }Targeting Real-time Embedded Systems \\

17:00-17:30 & Roberto Amadio	& Certifying and reasoning on cost annotations \\
& & \phantom{     }of functional programs \\

17:30-18:00 & Brian Campbell	& A certified proof based on structured traces \\
    \hline
  \end{tabular}
  \caption{HiPEAC workshop on Certified Costs: programme 2013-01-23}
  \label{hipeac:timetable}
\end{table}