Last change
on this file since 3296 was
3157,
checked in by mckinna, 8 years ago
|
Added tables with the workshop programmes indetail
|
File size:
942 bytes
|
Rev | Line | |
---|
[3157] | 1 | \begin{table}[h] |
---|
| 2 | \centering |
---|
| 3 | \begin{tabular}{|c|l|l|} |
---|
| 4 | \hline |
---|
| 5 | Time & Speaker & Title \\ |
---|
| 6 | \hline |
---|
| 7 | 14:00-14:30 & Claudio Sacerdoti Coen & Certified complexity: a general introduction \\ |
---|
| 8 | |
---|
| 9 | 14:30-15:15 & Yann Régis-Gianas & Certifying and reasoning on cost annotations \\ |
---|
| 10 | & & \phantom{ }of C programs \\ |
---|
| 11 | |
---|
| 12 | 15:15-16:00 & Paolo Tranquilli & Dealing with loop optimizations and pipelines \\ |
---|
| 13 | |
---|
| 14 | \hline |
---|
| 15 | 16:00-16:30 & & break \\ |
---|
| 16 | \hline |
---|
| 17 | |
---|
| 18 | 16:30-17:00 & Kevin Hammond & Hume: a Functionally-based Domain Specific Language \\ |
---|
| 19 | & (Invited talk) & \phantom{ }Targeting Real-time Embedded Systems \\ |
---|
| 20 | |
---|
| 21 | 17:00-17:30 & Roberto Amadio & Certifying and reasoning on cost annotations \\ |
---|
| 22 | & & \phantom{ }of functional programs \\ |
---|
| 23 | |
---|
| 24 | 17: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.