Difference between revisions of "VerifGroup"

From STATOR
Jump to navigation Jump to search
m
Line 9: Line 9:
 
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
 
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
 
   array abstractions
 
   array abstractions
[paper|https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf] [slides|julien_2017_01.pdf]</li>
+
[paper|https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf]   [[Media:julien_2017_01.pdf]]</li>
 
   <li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
 
   <li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
 
   invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
 
   invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
 
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
 
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
 
   sequential  programs [paper|https://hal.archives-ouvertes.fr/hal-01144622]] (PLDI15) [slides|laure_2017_03.pdf] Lyon : Salle du Conseil. Verimag : TBD. </li>
 
   sequential  programs [paper|https://hal.archives-ouvertes.fr/hal-01144622]] (PLDI15) [slides|laure_2017_03.pdf] Lyon : Salle du Conseil. Verimag : TBD. </li>

Revision as of 14:25, 10 February 2017

Verification WG -Grenoble/Lyon