source: Deliverables/D6.4-6.5/hipeac.ltx @ 3272

Last change on this file since 3272 was 3157, checked in by mckinna, 7 years ago

Added tables with the workshop programmes indetail

File size: 942 bytes
Line 
1\begin{table}[h]
2  \centering
3  \begin{tabular}{|c|l|l|}
4    \hline
5    Time & Speaker & Title \\
6    \hline
714:00-14:30 & Claudio Sacerdoti Coen & Certified complexity: a general introduction \\
8
914:30-15:15 & Yann Régis-Gianas & Certifying and reasoning on cost annotations \\
10& & \phantom{     }of C programs \\
11
1215:15-16:00 & Paolo Tranquilli  & Dealing with loop optimizations and pipelines \\
13
14\hline
1516:00-16:30 &   & break \\
16\hline
17
1816:30-17:00 & Kevin Hammond     & Hume: a Functionally-based Domain Specific Language \\
19& (Invited talk)  & \phantom{     }Targeting Real-time Embedded Systems \\
20
2117:00-17:30 & Roberto Amadio    & Certifying and reasoning on cost annotations \\
22& & \phantom{     }of functional programs \\
23
2417:30-18:00 & Brian Campbell    & A certified proof based on structured traces \\
25    \hline
26  \end{tabular}
27  \caption{HiPEAC workshop on Certified Costs: programme 2013-01-23}
28  \label{hipeac:timetable}
29\end{table}
30
31
Note: See TracBrowser for help on using the repository browser.