Changeset 1839


Ignore:
Timestamp:
Mar 15, 2012, 10:45:29 AM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/Presentations/WP6-claudio.tex

    r1837 r1839  
    3636\end{frame}
    3737
    38 \begin{frame}
    39   \frametitle{Outline}
    40   \tableofcontents
    41 \end{frame}
     38%\begin{frame}
     39  %\frametitle{Outline}
     40  %\tableofcontents
     41%\end{frame}
    4242
    4343\section{Dissemination activities}
     
    7171\end{description}}
    7272Only T6.2 was due in the second period.
     73\end{frame}
     74
     75\begin{frame}
     76 \frametitle{Dissemination activity}
     77 \alert{Papers} published:
     78\small
     79\begin{itemize}
     80        \item \alert{A Canonical Locally Named Representation of Binding}, R. Pollack,
     81        M. Sato and W.  Ricciotti, Journal of Automated Reasoning
     82        \item \alert{Certifying and reasoning on cost annotations of functional
     83        programs}, R.M. Amadio, Y.Regis-Gianas, Proceedings of FOPARA 2011
     84        \item \alert{An Elementary Affine $\lambda$-Calculus with Multithreading and
     85        Side Effects}, A. Madet, R.M. Amadio, Proceedings of TLCA 2011
     86        \item \alert{Certified Complexity}, R. Armadio, A. Asperti, N. Ayache, B.
     87        Campbell, D. Mulligan, R.  Pollack, Y. Regis-Gianas, C. Sacerdoti Coen, I.
     88        Stark, in Proceedings of FET 11
     89        \item \alert{The Matita Interactive Theorem Prover}, A.Asperti, W.Ricciotti,
     90        C. Sacerdoti Coen, E.Tassi, In Automated Deduction – CADE-23, Lecture Notes
     91        in Computer Science
     92\end{itemize}
    7393\end{frame}
    7494
     
    143163\begin{frame}
    144164 \frametitle{Dissemination activity}
    145  Papers \alert{published}:
     165 Papers \alert{submitted/to be submitted:}
    146166\small
    147167\begin{itemize}
    148         \item \alert{A Canonical Locally Named Representation of Binding}, R. Pollack,
    149         M. Sato and W.  Ricciotti, Journal of Automated Reasoning
    150         \item \alert{Certifying and reasoning on cost annotations of functional
    151         programs}, R.M. Amadio, Y.Regis-Gianas, Proceedings of FOPARA 2011
    152         \item \alert{An Elementary Affine $\lambda$-Calculus with Multithreading and
    153         Side Effects}, A. Madet, R.M. Amadio, Proceedings of TLCA 2011
    154         \item \alert{Certified Complexity}, R. Armadio, A. Asperti, N. Ayache, B.
    155         Campbell, D. Mulligan, R.  Pollack, Y. Regis-Gianas, C. Sacerdoti Coen, I.
    156         Stark, in Proceedings of FET 11
    157         \item \alert{The Matita Interactive Theorem Prover}, A.Asperti, W.Ricciotti,
    158         C. Sacerdoti Coen, E.Tassi, In Automated Deduction – CADE-23, Lecture Notes
    159         in Computer Science
    160 \end{itemize}
    161 \end{frame}
    162 
    163 \begin{frame}
    164  \frametitle{Dissemination activity}
    165  Papers \alert{currently submitted:}
    166 \small
    167 \begin{itemize}
     168        \item \alert{An executable semantics for CompCert C}, Brian Campbell.
     169        \item \alert{A compact proof of decidability for regular expression equivalence}, A. Asperti. Submitted to ITP.
    168170        \item \alert{An executable formalisation of the MCS-51 microprocessor in
    169171        Matita}, Dominic Mulligan and Claudio Sacerdoti Coen.
     172        To be integrated in journal paper.
    170173        \item \alert{On the correctness of an assembler for the Intel MCS-51
    171174        microprocessor}, Dominic Mulligan and Claudio Sacerdoti Coen.
     175        To be submitted when the proof is completed.
    172176        \item \alert{Certifying cost annotations in compilers}, Roberto Amadio,
    173         Nicolas Ayache, Yann Regis-Gianas, Ronan Saillard.
    174         \item \alert{An executable semantics for CompCert C}, Brian Campbell. To be
    175         submitted for the first time this year.
     177        Nicolas Ayache, Yann Regis-Gianas, Ronan Saillard. Submitted to
     178        FMICS.
    176179\end{itemize}
    177180\end{frame}
Note: See TracChangeset for help on using the changeset viewer.