Changeset 3133 for Deliverables/D6.4-6.5
- Timestamp:
- Apr 12, 2013, 6:18:55 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D6.4-6.5/workshops.ltx
r3132 r3133 28 28 \texttt{http://www.etaps.org/2013/workshops13}\\ 29 29 as a ``Technical Day on Innovative Techniques on Timing Analysis''\\ 30 \texttt{http://cerco.cs.unibo.it/innovative _techniques_on_timing_analysis_technical_day}30 \texttt{http://cerco.cs.unibo.it/innovative\_techniques\_on\_timing\_analysis\_technical\_day} 31 31 32 32 It ran in parallel with a two-day workshop on Quantitative Aspects of Programming Languages (QAPL 11), sharing three sessions with that meeting. The CerCo workshop also included presentations from Tullio Vartanegra, representing the PROARTIS Consortium (FP7-ICT-2009.3.4), and an invited talk from Prof. Bj{\"o}rn Lisper (M{\"a}lardalen University, SE) on Parametric WCET analysis.
Note: See TracChangeset
for help on using the changeset viewer.