source: Deliverables/D6.4-6.5/etaps.ltx @ 3157

\begin{table}[h]
  \centering
  \begin{tabular}{|c|l|l|}
    \hline
    Time & Speaker & Title \\
    \hline
09:00-09:30 &   Claudio Sacerdoti Coen
& Certified Complexity (CerCo) \\

09:30-10:30 &   Alessandra di Pierro 
& Probabilistic static analysis and security trade-offs \\
&  (Joint talk with QAPL) & \\

10:30-11:00 &   Yann Régis-Gianas
& Certifying and reasoning on cost annotations \\ 
& & \phantom{     }of imperative programs \\

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

11:30-12:00 &   Paolo Tranquilli
& Cost prediction for loop optimizations \\
&  (Joint talk with QAPL) & \\

12:00-12:30 &   Björn Lisper 
& Parametric WCET Analysis \\
&  (Invited talk) & \\

\hline
12:30-14:00 &   & lunch \\
\hline

14:00-14:30 &   François Bobot
& Frama-C: an Extensible Software Analysis Framework \\
& & \phantom{     }Example of an Automatic Cost Annotation Plugin \\

14:30-14:45 &   Björn Lisper
& The COST Action TACLe (Timing Analysis on Code-Level) \\

14:45-15:30 &   Tullio Vardanega
& Probabilistic Time Analysis (PROARTIS) \\

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

16:00-16:15 &   Gabriele Pulcini
& Is source level cost prediction for \\
& & \phantom{     }pipelines and caches possible? \\

16:15-17:00 &   Round table 
& Should certified complexity meet \\
& & \phantom{     }probabilistic time analysis? \\

17:00-17:30 &   Claudio Sacerdoti Coen 
& Innovative techniques in timing analysis: \\
& Tullio Vardanega & \phantom{     }cost prediction on high level languages \\
& (Joint talk with QAPL) & \phantom{     }and probabilistic time analysis \\

17:30-18:00 &   Brian Campbell 
& A certified proof based on structured traces \\  
& Paolo Tranquilli & \\  
\hline
  \end{tabular}
  \caption{ETAPS Technical Day on Timing Analysis: programme 2013-03-23}
  \label{etaps:timetable}
\end{table}